MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Matthew Harren" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

10 documents found, showing 1 through 10.

ATOM

Lightweight Wrappers for Interfacing with Binary Code in CCured
by Matthew Harren May — 2003 — In Proceedings of the International Symposium on Software Security
…Lightweight Wrappers for Interfacing with Binary Code in CCured ∗ Matthew Harren May 25, 2004…
Add To MetaCart

Lightweight wrappers for interfacing with binary code in CCured
by Matthew Harren, George C. Necula — 2003 — In Proceedings of the International Symposium on Software Security
… for Interfacing with Binary Code in CCured ⋆ Matthew Harren and George C. Necula University of California…
Cited by 3 (0 self) – Add To MetaCart

Using dependent types to certify the safety of assembly code
by Matthew Harren, George C. Necula — 2005 — In SAS’05
…://www.springeronline.com/lncs Using Dependent Types to Certify the Safety of Assembly Code ⋆ Matthew Harren and George C. Necula…
Cited by 3 (1 self) – Add To MetaCart

XJ: Integration of XML Processing into Java
by Matthew Harren, Michael Burke, et al. — 2005
…ABSTRACT XJ: Integration of XML Processing into Java TM Matthew Harren Dept. Comp. Sci. University…
Cited by 9 (2 self) – Add To MetaCart

Analysis of low-level code using cooperating decompilers
by Bor-yuh Evan Chang, Matthew Harren, George C. Necula — 2006 — In SAS
… Analysis of Low-Level Code Using Cooperating Decompilers? Bor-Yuh Evan Chang, Matthew Harren…
Cited by 4 (1 self) – Add To MetaCart

CCured in the Real World
by Jeremy Condit, Matthew Harren, Scott Mcpeak, George C. Necula, Westley Weimer — 2003 — In Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation
…CCured in the Real World Jeremy Condit Matthew Harren Scott McPeak George C. Necula Westley Weimer…
Cited by 59 (3 self) – Add To MetaCart

CCured: Type-Safe Retrofitting of Legacy Software
by George C. Necula, Jeremy Condit, Matthew Harren, Scott Mcpeak, Westley Weimer — 2005 — ACM Transactions on Programming Languages and Systems
…, MATTHEW HARREN, SCOTT McPEAK, and WESTLEY WEIMER University of California, Berkeley This paper describes…
Cited by 59 (5 self) – Add To MetaCart

Dependent types for low-level programming
by Jeremy Condit, Matthew Harren, Zachary Anderson, David Gay, George C. Necula — 2007 — In European Symposium on Programming
…Dependent Types for Low-Level Programming Jeremy Condit 1 , Matthew Harren 1 , Zachary Anderson 1…
Cited by 22 (5 self) – Add To MetaCart

Beyond bug-finding: Sound program analysis for Linux
by Zachary Anderson, Eric Brewer, Jeremy Condit, Robert Ennals, David Gay, Matthew Harren, George C. Necula, Feng Zhou — 2007 — In HOTOS XI
… Condit, 1 Robert Ennals, 2 David Gay, 2 Matthew Harren, 1 George C. Necula, 1 Feng Zhou 1 1 University…
Cited by 2 (1 self) – Add To MetaCart

Complex Queries in DHT-based Peer-to-Peer Networks
by Matthew Harren, Boon Thau Loo, Ryan Huebsch, Joseph M. Hellerstein, Scott Shenker, Ion Stoica — 2002
…Complex Queries in DHT-based Peer-to-Peer Networks Matthew Harren UC Berkeley matth…
Cited by 128 (3 self) – Add To MetaCart

Showing 1 through 10.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB