April 17, 2012 IUPUI Bulletins IUPUI - "Where Impact is Made..." IUPUI is a part of two great public university systemsIndiana University and Purdue University-and offers the greatest number and widest range of degrees - East Central Indiana - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2012-04-27 20:07:17 Education American Association of State Colleges and Universities Purdue University Association of Public and Land-Grant Universities Indiana University – Purdue University Indianapolis Indiana University – Purdue University Columbus IUPUI University Library Indiana University – Purdue University Fort Wayne Indiana University East Indiana North Central Association of Colleges and Schools Indiana University		April 17, 2012 IUPUI Bulletins IUPUI - "Where Impact is Made..." IUPUI is a part of two great public university systemsIndiana University and Purdue University-and offers the greatest number and widest range of degrees Add to Reading List Source URL: www.iupui.edu Download Document from Source Website File Size: 163,05 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