Matthew Harren

Publications by Year

Research Areas

Security and Verification in Computing, Parallel Computing and Optimization Techniques, Logic, programming, and type systems, Formal Methods in Verification, Advanced Database Systems and Queries

Most-Cited Works

• → CCured: type-safe retrofitting of legacy software(2005)363 cited
• → Complex Queries in DHT-based Peer-to-Peer Networks(2002)329 cited
• → SafeDrive: safe and recoverable extensions using language-based techniques(2006)170 cited
• → Dependent Types for Low-Level Programming(2007)150 cited
• → CCured in the real world(2003)138 cited
• → XJ(2005)55 cited
• → Analysis of Low-Level Code Using Cooperating Decompilers(2006)20 cited
• → Using Dependent Types to Certify the Safety of Assembly Code(2005)11 cited