2007 |
10 | EE | Jeremy Condit,
Matthew Harren,
Zachary R. Anderson,
David Gay,
George C. Necula:
Dependent Types for Low-Level Programming.
ESOP 2007: 520-535 |
2006 |
9 | EE | 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.
OSDI 2006: 45-60 |
8 | EE | Bor-Yuh Evan Chang,
Matthew Harren,
George C. Necula:
Analysis of Low-Level Code Using Cooperating Decompilers.
SAS 2006: 318-335 |
2005 |
7 | EE | Matthew Harren,
George C. Necula:
Using Dependent Types to Certify the Safety of Assembly Code.
SAS 2005: 155-170 |
6 | EE | Matthew Harren,
Mukund Raghavachari,
Oded Shmueli,
Michael G. Burke,
Rajesh Bordawekar,
Igor Pechtchanski,
Vivek Sarkar:
XJ: facilitating XML processing in Java.
WWW 2005: 278-287 |
5 | EE | George C. Necula,
Jeremy Condit,
Matthew Harren,
Scott McPeak,
Westley Weimer:
CCured: type-safe retrofitting of legacy software.
ACM Trans. Program. Lang. Syst. 27(3): 477-526 (2005) |
2004 |
4 | EE | Matthew Harren,
Mukund Raghavachari,
Oded Shmueli,
Michael G. Burke,
Vivek Sarkar,
Rajesh Bordawekar:
XJ: integration of XML processing into java.
WWW (Alternate Track Papers & Posters) 2004: 340-341 |
2003 |
3 | EE | Matthew Harren,
George C. Necula:
Lightweight Wrappers for Interfacing with Binary Code in CCured.
ISSS 2003: 209-225 |
2 | EE | Jeremy Condit,
Matthew Harren,
Scott McPeak,
George C. Necula,
Westley Weimer:
CCured in the real world.
PLDI 2003: 232-244 |
2002 |
1 | EE | Matthew Harren,
Joseph M. Hellerstein,
Ryan Huebsch,
Boon Thau Loo,
Scott Shenker,
Ion Stoica:
Complex Queries in DHT-based Peer-to-Peer Networks.
IPTPS 2002: 242-259 |