The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Matthew Harren: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Matthew Harren, Joseph M. Hellerstein, Ryan Huebsch, Boon Thau Loo, Scott Shenker, Ion Stoica
    Complex Queries in DHT-based Peer-to-Peer Networks. [Citation Graph (0, 0)][DBLP]
    IPTPS, 2002, pp:242-259 [Conf]
  2. Matthew Harren, George C. Necula
    Lightweight Wrappers for Interfacing with Binary Code in CCured. [Citation Graph (0, 0)][DBLP]
    ISSS, 2003, pp:209-225 [Conf]
  3. 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. [Citation Graph (0, 0)][DBLP]
    OSDI, 2006, pp:45-60 [Conf]
  4. Jeremy Condit, Matthew Harren, Scott McPeak, George C. Necula, Westley Weimer
    CCured in the real world. [Citation Graph (0, 0)][DBLP]
    PLDI, 2003, pp:232-244 [Conf]
  5. Bor-Yuh Evan Chang, Matthew Harren, George C. Necula
    Analysis of Low-Level Code Using Cooperating Decompilers. [Citation Graph (0, 0)][DBLP]
    SAS, 2006, pp:318-335 [Conf]
  6. Matthew Harren, George C. Necula
    Using Dependent Types to Certify the Safety of Assembly Code. [Citation Graph (0, 0)][DBLP]
    SAS, 2005, pp:155-170 [Conf]
  7. Matthew Harren, Mukund Raghavachari, Oded Shmueli, Michael G. Burke, Rajesh Bordawekar, Igor Pechtchanski, Vivek Sarkar
    XJ: facilitating XML processing in Java. [Citation Graph (0, 0)][DBLP]
    WWW, 2005, pp:278-287 [Conf]
  8. Matthew Harren, Mukund Raghavachari, Oded Shmueli, Michael G. Burke, Vivek Sarkar, Rajesh Bordawekar
    XJ: integration of XML processing into java. [Citation Graph (0, 0)][DBLP]
    WWW (Alternate Track Papers & Posters), 2004, pp:340-341 [Conf]
  9. George C. Necula, Jeremy Condit, Matthew Harren, Scott McPeak, Westley Weimer
    CCured: type-safe retrofitting of legacy software. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2005, v:27, n:3, pp:477-526 [Journal]
  10. Jeremy Condit, Matthew Harren, Zachary R. Anderson, David Gay, George C. Necula
    Dependent Types for Low-Level Programming. [Citation Graph (0, 0)][DBLP]
    ESOP, 2007, pp:520-535 [Conf]

  11. Beyond Bug-Finding: Sound Program Analysis for Linux. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002