Travelled to:1 × Portugal
1 × United Kingdom
7 × USA
Collaborated with:G.C.Necula M.Harren E.Ipek E.B.Nightingale D.Burger Z.R.Anderson F.Zhou E.A.Brewer D.Coetzee B.Hackett S.K.Lahiri S.Qadeer T.Moscibroda D.Gay S.McPeak W.Weimer J.R.v.Behren C.Frost B.C.Lee J.Chen C.Hawblitzel F.Perry M.Emmi P.Pratikaki I.Bagrak R.Ennals
Talks about:memori (3) type (3) compil (2) level (2) check (2) safe (2) low (2) capriccio (1) techniqu (1) properti (1)
Person: Jeremy Condit
DBLP: Condit:Jeremy
Contributed to:
2010
2009
2009
2008
2007
2006
200520032003Wrote 9 papers:
- ASPLOS-2010-IpekCNBM #memory management #reliability
- Dynamically replicated memory: building reliable systems from nanoscale resistive memories (EI, JC, EBN, DB, TM), pp. 3–14.
- POPL-2009-ConditHLQ #low level #type checking
- Unifying type checking and property checking for low-level code (JC, BH, SKL, SQ), pp. 302–314.
- SOSP-2009-ConditNFILBC #memory management #persistent
- Better I/O through byte-addressable, persistent memory (JC, EBN, CF, EI, BCL, DB, DC), pp. 133–146.
- PLDI-2008-ChenHPECCP #compilation #object-oriented #optimisation #scalability
- Type-preserving compilation for large-scale optimizing object-oriented compilers (JC, CH, FP, ME, JC, DC, PP), pp. 183–192.
- ESOP-2007-ConditHAGN #dependent type #low level #programming
- Dependent Types for Low-Level Programming (JC, MH, ZRA, DG, GCN), pp. 520–535.
- OSDI-2006-ZhouCABEHNB #named #using
- SafeDrive: Safe and Recoverable Extensions Using Language-Based Techniques (FZ, JC, ZRA, IB, RE, MH, GCN, EAB), pp. 45–60.
- CC-2005-ConditN #independence #slicing
- Data Slicing: Separating the Heap into Independent Regions (JC, GCN), pp. 172–187.
- PLDI-2003-ConditHMNW
- CCured in the real world (JC, MH, SM, GCN, WW), pp. 232–244.
- SOSP-2003-BehrenCZNB #internet #named #scalability #thread
- Capriccio: scalable threads for internet services (JRvB, JC, FZ, GCN, EAB), pp. 268–281.