Complex Queries in DHT-based Peer-to-Peer Networks. - Matthew Harren; Joseph M. Hellerstein; Ryan Huebsch; Boon Thau Loo; Scott Shenker; Ion Stoica (IPTPS, 2002)

Lightweight Wrappers for Interfacing with Binary Code in CCured. - Matthew Harren; George C. Necula (ISSS, 2003)

CCured in the real world. - Jeremy Condit; Matthew Harren; Scott McPeak; George C. Necula; Westley Weimer (PLDI, 2003)

Scrash: A System for Generating Secure Crash Information. - Peter Broadwell; Matthew Harren; Naveen Sastry (USENIX Security Symposium, 2003)

XJ: integration of XML processing into java. - Matthew Harren; Mukund Raghavachari; Oded Shmueli; Michael G. Burke; Vivek Sarkar; Rajesh Bordawekar (WWW (Alternate Track Papers & Posters), 2004)

Using Dependent Types to Certify the Safety of Assembly Code. - Matthew Harren; George C. Necula (SAS, 2005)

XJ: facilitating XML processing in Java. - Matthew Harren; Mukund Raghavachari; Oded Shmueli; Michael G. Burke; Rajesh Bordawekar; Igor Pechtchanski; Vivek Sarkar (WWW, 2005)

CCured: type-safe retrofitting of legacy software. - George C. Necula; Jeremy Condit; Matthew Harren; Scott McPeak; Westley Weimer (ACM Trans. Program. Lang. Syst., 2005)

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 (OSDI, 2006)

Analysis of Low-Level Code Using Cooperating Decompilers. - Bor-Yuh Evan Chang; Matthew Harren; George C. Necula (SAS, 2006)

Dependent Types for Low-Level Programming. - Jeremy Condit; Matthew Harren; Zachary R. Anderson; David Gay; George C. Necula (ESOP, 2007)

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 (HotOS, 2007)