Publications
Search

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 10 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
    Show item 1 to 10 of 13  

    Your query returned 13 matches in the database.