BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Condit:Jeremy

Contributed to:

ASPLOS 20102010
POPL 20092009
SOSP 20092009
PLDI 20082008
ESOP 20072007
OSDI 20062006
CC 20052005
PLDI 20032003
SOSP 20032003

Wrote 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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.