Matthew Harren

Publication Activity (10 Years)

Years Active: 2002-2007
Publications (10 Years): 0

Publications

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. HotOS (2007)
Jeremy Condit, Matthew Harren, Zachary R. Anderson, David Gay, George C. Necula
Dependent Types for Low-Level Programming. ESOP (2007)
Bor-Yuh Evan Chang, Matthew Harren, George C. Necula
Analysis of Low-Level Code Using Cooperating Decompilers. SAS (2006)
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)
Matthew Harren, George C. Necula
Using Dependent Types to Certify the Safety of Assembly Code. SAS (2005)
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) (2005)
Matthew Harren, Mukund Raghavachari, Oded Shmueli, Michael G. Burke, Rajesh Bordawekar, Igor Pechtchanski, Vivek Sarkar
XJ: facilitating XML processing in Java. WWW (2005)
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)
Matthew Harren, George C. Necula
Lightweight Wrappers for Interfacing with Binary Code in CCured. ISSS (2003)
Peter Broadwell, Matthew Harren, Naveen Sastry
Scrash: A System for Generating Secure Crash Information. USENIX Security Symposium (2003)
Jeremy Condit, Matthew Harren, Scott McPeak, George C. Necula, Westley Weimer
CCured in the real world. PLDI (2003)
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)