Matthew Harren

According to our database, Matthew Harren authored at least 12 papers between 2002 and 2007.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

Proceedings of HotOS'07: 11th Workshop on Hot Topics in Operating Systems, 2007

Dependent Types for Low-Level Programming.

Jeremy Condit, Matthew Harren, Zachary R. Anderson, David Gay, George C. Necula

Proceedings of the Programming Languages and Systems, 2007

2006

Analysis of Low-Level Code Using Cooperating Decompilers.

Bor-Yuh Evan Chang, Matthew Harren, George C. Necula

Proceedings of the Static Analysis, 13th International Symposium, 2006

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

Proceedings of the 7th Symposium on Operating Systems Design and Implementation (OSDI '06), 2006

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

XJ: facilitating XML processing in Java.

Matthew Harren, Mukund Raghavachari, Oded Shmueli, Michael G. Burke, Rajesh Bordawekar, Igor Pechtchanski, Vivek Sarkar

Proceedings of the 14th international conference on World Wide Web, 2005

Using Dependent Types to Certify the Safety of Assembly Code.

Matthew Harren, George C. Necula

Proceedings of the Static Analysis, 12th International Symposium, 2005

2004

XJ: integration of XML processing into java.

Matthew Harren, Mukund Raghavachari, Oded Shmueli, Michael G. Burke, Vivek Sarkar, Rajesh Bordawekar

Proceedings of the 13th international conference on World Wide Web, 2004

2003

Scrash: A System for Generating Secure Crash Information.

Peter Broadwell, Matthew Harren, Naveen Sastry

Proceedings of the 12th USENIX Security Symposium, Washington, D.C., USA, August 4-8, 2003, 2003

CCured in the real world.

Jeremy Condit, Matthew Harren, Scott McPeak, George C. Necula, Westley Weimer

Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation 2003, 2003

Lightweight Wrappers for Interfacing with Binary Code in CCured.

Matthew Harren, George C. Necula

Proceedings of the Software Security, 2003

2002

Complex Queries in DHT-based Peer-to-Peer Networks.

Matthew Harren, Joseph M. Hellerstein, Ryan Huebsch, Boon Thau Loo, Scott Shenker, Ion Stoica

Proceedings of the Peer-to-Peer Systems, First International Workshop, 2002