Matthew Harren

12 papers A* 4A 2B 2Journal 1Unranked 3
YearRankTypeTitle / Venue / Authors
2007 A conf
Beyond Bug-Finding: Sound Program Analysis for Linux.
HotOS
Zachary R. Anderson, Eric A. Brewer, Jeremy Condit, Robert Ennals, David Gay, Matthew Harren, George C. Necula, Feng Zhou
2007 A conf
Dependent Types for Low-Level Programming.
ESOP
Jeremy Condit, Matthew Harren, Zachary R. Anderson, David Gay, George C. Necula
2006 B conf
Analysis of Low-Level Code Using Cooperating Decompilers.
SAS
Bor-Yuh Evan Chang, Matthew Harren, George C. Necula
2006 A* conf
SafeDrive: Safe and Recoverable Extensions Using Language-Based Techniques.
OSDI
Feng Zhou, Jeremy Condit, Zachary R. Anderson, Ilya Bagrak, Robert Ennals, Matthew Harren, George C. Necula, Eric A. Brewer
2005 J jnl
CCured: type-safe retrofitting of legacy software.
ACM Trans. Program. Lang. Syst.
George C. Necula, Jeremy Condit, Matthew Harren, Scott McPeak, Westley Weimer
2005 B conf
Using Dependent Types to Certify the Safety of Assembly Code.
SAS
Matthew Harren, George C. Necula
2005 A* conf
XJ: facilitating XML processing in Java.
WWW
Matthew Harren, Mukund Raghavachari, Oded Shmueli, Michael G. Burke, Rajesh Bordawekar, Igor Pechtchanski, Vivek Sarkar
2004 — conf
XJ: integration of XML processing into java.
WWW (Alternate Track Papers & Posters)
Matthew Harren, Mukund Raghavachari, Oded Shmueli, Michael G. Burke, Vivek Sarkar, Rajesh Bordawekar
2003 A* conf
CCured in the real world.
PLDI
Jeremy Condit, Matthew Harren, Scott McPeak, George C. Necula, Westley Weimer
2003 — conf
Lightweight Wrappers for Interfacing with Binary Code in CCured.
ISSS
Matthew Harren, George C. Necula
2003 A* conf
Scrash: A System for Generating Secure Crash Information.
USENIX Security Symposium
Peter Broadwell, Matthew Harren, Naveen Sastry
2002 — conf
Complex Queries in DHT-based Peer-to-Peer Networks.
IPTPS
Matthew Harren, Joseph M. Hellerstein, Ryan Huebsch, Boon Thau Loo, Scott Shenker, Ion Stoica