Concepedia

Matthew Harren

MH

6

Publications

851

Citations

6

H-Index

2003

Active since

Affiliations

University of California, Berkeley(Current)

Technion – Israel Institute of Technology

IBM (United States)

Matthew Harren is an author at University of California, Berkeley specializing in program analysis, computer science, and software analysis.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware AnalysisSystem SoftwareSoftware TestingFormal VerificationComputer EngineeringSoftware EngineeringVerification

Publications per year

2003–2006

6

Publications

6

CCured: type-safe retrofitting of legacy software

George C. Necula, Jeremy Condit, Matthew Harren et al. · ACM Transactions on Programming Languages and Systems · 2005 · 363 citations

Software Maintenance, Engineering, Compiler Technology +22

SafeDrive: safe and recoverable extensions using language-based techniques

Feng Zhou, Jeremy Condit, Zachary Anderson et al. · Operating Systems Design and Implementation · 2006 · 170 citations

Engineering, Information Security, Computer Architecture +22

CCured in the real world

Jeremy Condit, Matthew Harren, Scott McPeak et al. · ACM SIGPLAN Notices · 2003 · 138 citations

Artificial Intelligence, New Instrumentation Scheme, Inspection +27

CCured in the real world

Jeremy Condit, Matthew Harren, Scott McPeak et al. · 2003 · 90 citations

Artificial Intelligence, New Instrumentation Scheme, Inspection +27

XJ

Matthew Harren, Mukund Raghavachari, Oded Shmueli et al. · 2005 · 55 citations

Xml Library, Xml Transformation, Xml Database +15

Rows per page

1–5 of 6