Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	Jeremy
Last name:	Condit
DBLP:	32/474
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 13 of 13  

Select a publication
Show	Title	Venue	Rating	Date
	Conference paper Engin Ipek, Jeremy Condit, Edmund B. Nightingale, Doug Burger, Thomas Moscibroda. Dynamically replicated memory: building reliable systems from nanoscale resistive memories.	Proceedings of the 15th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2010, Pittsburgh, Pennsylvania, USA, March 13-17, 2010 2010	(0)	2010
	Conference paper Jeremy Condit, Brian Hackett, Shuvendu K. Lahiri, Shaz Qadeer. Unifying type checking and property checking for low-level code.	Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2009, Savannah, GA, USA, January 21-23, 2009 2009	(0)	2009
	Conference paper Jeremy Condit, Edmund B. Nightingale, Christopher Frost, Engin Ipek, Benjamin C. Lee, Doug Burger, Derrick Coetzee. Better I/O through byte-addressable, persistent memory.	Proceedings of the 22nd ACM Symposium on Operating Systems Principles 2009, SOSP 2009, Big Sky, Montana, USA, October 11-14, 2009 2009	(0)	2009
	Conference paper Juan Chen, Chris Hawblitzel, Frances Perry, Michael Emmi, Jeremy Condit, Derrick Coetzee, Polyvios Pratikaki. Type-preserving compilation for large-scale optimizing object-oriented compilers.	Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, Tucson, AZ, USA, June 7-13, 2008 2008	(0)	2008
	Conference paper Zachary R. Anderson, Eric A. Brewer, Jeremy Condit, Robert Ennals, David Gay, Matthew Harren, George C. Necula, Feng Zhou. Beyond Bug-Finding: Sound Program Analysis for Linux.	Proceedings of HotOS'07: 11th Workshop on Hot Topics in Operating Systems, May 7-9, 2005, San Diego, California, USA 2007	(0)	2007
	Conference paper Jeremy Condit, Matthew Harren, Zachary R. Anderson, David Gay, George C. Necula. Dependent Types for Low-Level Programming.	Programming Languages and Systems, 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings 2007	(0)	2007
	Conference paper Feng Zhou, Jeremy Condit, Zachary R. Anderson, Ilya Bagrak, Robert Ennals, Matthew Harren, George C. Necula, Eric A. Brewer. SafeDrive: Safe and Recoverable Extensions Using Language-Based Techniques.	7th Symposium on Operating Systems Design and Implementation (OSDI '06), November 6-8, Seattle, WA, USA 2006	(0)	2006
	Conference paper Eric A. Brewer, Jeremy Condit, Bill McCloskey, Feng Zhou. Thirty Years Is Long Enough: Getting Beyond C.	Proceedings of HotOS'05: 10th Workshop on Hot Topics in Operating Systems, June 12-15, 2005, Santa Fe, New Mexico, USA 2005	(0)	2005
	Conference paper Jeremy Condit, George C. Necula. Data Slicing: Separating the Heap into Independent Regions.	Compiler Construction, 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings 2005	(0)	2005
	Conference paper George C. Necula, Jeremy Condit, Matthew Harren, Scott McPeak, Westley Weimer. CCured: type-safe retrofitting of legacy software.	ACM Trans. Program. Lang. Syst. 2005, Volume 27	(0)	2005
	Conference paper J. Robert von Behren, Jeremy Condit, Eric A. Brewer. Why Events Are a Bad Idea (for High-Concurrency Servers).	Proceedings of HotOS'03: 9th Workshop on Hot Topics in Operating Systems, May 18-21, 2003, Lihue (Kauai), Hawaii, USA 2003	(0)	2003
	Conference paper Jeremy Condit, Matthew Harren, Scott McPeak, George C. Necula, Westley Weimer. CCured in the real world.	Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation 2003, San Diego, California, USA, June 9-11, 2003 2003	(0)	2003
	Conference paper J. Robert von Behren, Jeremy Condit, Feng Zhou, George C. Necula, Eric A. Brewer. Capriccio: scalable threads for internet services.	Proceedings of the 19th ACM Symposium on Operating Systems Principles 2003, SOSP 2003, Bolton Landing, NY, USA, October 19-22, 2003 2003	(0)	2003

Show item 1 to 13 of 13  

Your query returned 13 matches in the database.