2013 Auto-Owners Insurance Spartan Invitational Hosted by Michigan State University • Sept[removed]Draw A Singles Abbreviations Akron (AK) - Midwestern Intercollegiate Volleyball Association - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2013-09-29 16:19:45 Indiana University Indiana University – Purdue University Fort Wayne Midwestern Intercollegiate Volleyball Association Purdue University Chernova University of Illinois at Chicago Ipfirewall Education in the United States United States North Central Association of Colleges and Schools National Collegiate Athletic Association American Association of State Colleges and Universities		2013 Auto-Owners Insurance Spartan Invitational Hosted by Michigan State University • Sept[removed]Draw A Singles Abbreviations Akron (AK) Add to Reading List Source URL: grfx.cstv.com Download Document from Source Website File Size: 64,52 KB Share Document on Facebook

	DryadSynth: A Concolic SyGuS Solver Xiaokang Qiu (joint work with Kangjing Huang and Yanjun Wang) Purdue University SYNT Workshop DocID: 1xW38 - View Document
	Designing Proof of Human-work Puzzles for Cryptocurrency and Beyond∗ Jeremiah Blocki Purdue University, Hong-Sheng Zhou Virginia Commonwealth University, DocID: 1xVWJ - View Document
	LMS-Verify Abstraction Without Regret for Verified Systems Programming Nada Amin & Tiark Rompf EPFL & Purdue University DocID: 1xVQq - View Document
	Cost-Aware Automatic Program Repair Roopsha Samanta1? , Oswaldo Olivo2 , and E. Allen Emerson2 1 The University of Texas at Austin and IST Austria DocID: 1xVPw - View Document
	Qlose: Program Repair with Quantitative Objectives? Loris D’Antoni1 , Roopsha Samanta2 , and Rishabh Singh3 1 University of Wisconsin-Madison DocID: 1xVFR - View Document