STEVEN JONES 450 Ipswich Rd, Boxford, MA 01921 [removed]

First Page		Document Content
Date: 2014-11-13 14:51:24 University of Massachusetts Amherst Education in the United States University of Massachusetts Boxford Massachusetts Higher education Masconomet Regional High School Massachusetts New England Association of Schools and Colleges Association of Public and Land-Grant Universities American Association of State Colleges and Universities		STEVEN JONES 450 Ipswich Rd, Boxford, MA 01921 [removed] Add to Reading List Source URL: stevenjon.es Download Document from Source Website File Size: 165,65 KB Share Document on Facebook

	A Coq Library For Internal Verification of Running-Times Jay McCarthy University of Massachusetts at Lowell Burke Fetscher, Max S. New, Daniel Feltey, Robert Bruce Findler Northwestern University DocID: 1xUmF - View Document
	Integrating Planning and Recognition to Close the Interaction Loop Richard G. Freedman College of Information and Computer Sciences University of Massachusetts Amherst DocID: 1xUlu - View Document
	A Coq Library For Internal Verification of Running-Times Jay McCarthy University of Massachusetts at Lowell Burke Fetscher, Max S. New, Daniel Feltey, Robert Bruce Findler Northwestern University DocID: 1xUff - View Document
	Understanding Regression Failures through Test-Passing and Test-Failing Code Changes Roykrong Sukkerd , Ivan Beschastnikh , Jochen Wuttke , Sai Zhang , Yuriy Brun University of Washington University of Massachusetts Seat DocID: 1xU7X - View Document
	CacheBrowser: Bypassing Chinese Censorship without Proxies Using Cached Content John Holowczak and Amir Houmansadr College of Information and Computer Sciences University of Massachusetts Amherst DocID: 1xTmX - View Document