- CSB - MetaPress - Google - Bing - Yahoo
 | 2007 | |
|---|---|---|
| c10 |      | Jeremy Condit, Matthew Harren, Zachary R. Anderson, David Gay, George C. Necula: Dependent Types for Low-Level Programming. ESOP 2007: 520-535 |
| c9 | | 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 |
| 2006 | ||
| c8 | | 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 |
| c7 | | Bor-Yuh Evan Chang, Matthew Harren, George C. Necula: Analysis of Low-Level Code Using Cooperating Decompilers. SAS 2006: 318-335 |
| 2005 | ||
| j1 | | 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) |
| c6 | | Matthew Harren, George C. Necula: Using Dependent Types to Certify the Safety of Assembly Code. SAS 2005: 155-170 |
| c5 | | 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 |
| 2004 | ||
| c4 | | 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 | ||
| c3 | | Matthew Harren, George C. Necula: Lightweight Wrappers for Interfacing with Binary Code in CCured. ISSS 2003: 209-225 |
| c2 | | Jeremy Condit, Matthew Harren, Scott McPeak, George C. Necula, Westley Weimer: CCured in the real world. PLDI 2003: 232-244 |
| 2002 | ||
| c1 | | 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 |
Colors in the list of coauthors
Last update Wed May 22 07:36:50 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page