file: C| Documents and Settin - Bridget Ogilvie - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2014-03-12 21:37:11 Science and technology in the United Kingdom Research UK Research Councils Medical research Wellcome Trust University Bridget Ogilvie Science and Technology Facilities Council Science policy United Kingdom Education Academia		file:///C\|/Documents and Settin Add to Reading List Source URL: www.asmr.org.au Download Document from Source Website File Size: 33,39 KB Share Document on Facebook

	The Complexity of Zero Knowledge Salil Vadhan∗ School of Engineering and Applied Sciences Harvard University Cambridge, MA 02138 DocID: 1xW3t - View Document
	SoftFlow: A Middlebox Architecture for Open vSwitch Ethan J. Jackson, University of California, Berkeley; Melvin Walls, Penn State Harrisburg and University of California, Berkeley; Aurojit Panda, University of Californi DocID: 1xW3i - View Document
	A Story of Parametric Trace Slicing, Garbage and Static Analysis Giles Reger School of Computer Science, University of Manchester, UK PrePost 2017 DocID: 1xW3e - View Document
	DryadSynth: A Concolic SyGuS Solver Xiaokang Qiu (joint work with Kangjing Huang and Yanjun Wang) Purdue University SYNT Workshop DocID: 1xW38 - View Document
	Outline SMT: Where Do We Go From Here? Clark Barrett, New York University SMT Workshop, July 17, 2014 DocID: 1xW2J - View Document