Matthew Harren
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
6
Active years
2003–2007
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2007 | ESOP | Dependent Types for Low-Level Programming. | Jeremy Condit, Matthew Harren, Zachary R. Anderson, David Gay, George C. Necula |
| 2007 | HotOS | Beyond Bug-Finding: Sound Program Analysis for Linux. | Zachary R. Anderson, Eric A. Brewer, Jeremy Condit, Robert Ennals, David Gay, Matthew Harren, George C. Necula, Feng Zhou |
| 2006 | OSDI | SafeDrive: Safe and Recoverable Extensions Using Language-Based Techniques. | Feng Zhou, Jeremy Condit, Zachary R. Anderson, Ilya Bagrak, Robert Ennals, Matthew Harren, George C. Necula, Eric A. Brewer |
| 2006 | SAS | Analysis of Low-Level Code Using Cooperating Decompilers. | Bor-Yuh Evan Chang, Matthew Harren, George C. Necula |
| 2005 | WWW | XJ: facilitating XML processing in Java. | Matthew Harren, Mukund Raghavachari, Oded Shmueli, Michael G. Burke, Rajesh Bordawekar, Igor Pechtchanski, Vivek Sarkar |
| 2005 | SAS | Using Dependent Types to Certify the Safety of Assembly Code. | Matthew Harren, George C. Necula |
| 2004 | WWW | XJ: integration of XML processing into java. | Matthew Harren, Mukund Raghavachari, Oded Shmueli, Michael G. Burke, Vivek Sarkar, Rajesh Bordawekar |
| 2003 | PLDI | CCured in the real world. | Jeremy Condit, Matthew Harren, Scott McPeak, George C. Necula, Westley Weimer |