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 × Korea
1 × Portugal
1 × United Kingdom
2 × USA
Collaborated with:
G.C.Necula J.Condit B.E.Chang Z.R.Anderson D.Gay S.McPeak W.Weimer F.Zhou I.Bagrak R.Ennals E.A.Brewer
Talks about:
use (3) depend (2) level (2) type (2) safe (2) code (2) low (2) techniqu (1) decompil (1) recover (1)

Person: Matthew Harren

DBLP DBLP: Harren:Matthew

Contributed to:

ESOP 20072007
OSDI 20062006
SAS 20062006
SAS 20052005
PLDI 20032003

Wrote 5 papers:

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.
SAS-2006-ChangHN #analysis #low level #using
Analysis of Low-Level Code Using Cooperating Decompilers (BYEC, MH, GCN), pp. 318–335.
SAS-2005-HarrenN #assembly #dependent type #safety #using
Using Dependent Types to Certify the Safety of Assembly Code (MH, GCN), pp. 155–170.
CCured in the real world (JC, MH, SM, GCN, WW), pp. 232–244.

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.