Concepedia

Scott McPeak

SM

8

Publications

2.2K

Citations

8

H-Index

2002

Active since

Affiliations

University of California, Berkeley(Current)

Scott McPeak is an author at University of California, Berkeley specializing in computer engineering, software analysis, and program analysis.

Top concepts

EngineeringSystem SoftwareComputer ScienceProgram AnalysisSoftware AnalysisComputer EngineeringVerificationFormal MethodsFormal VerificationSoftware Testing

Publications per year

2002–2013

8

Publications

8

A few billion lines of code later

Al Bessey, Ken Block, Ben Chelf et al. · Communications of the ACM · 2010 · 612 citations

Software Maintenance, Engineering, Software Systems +20

George C. Necula, Scott McPeak, Westley Weimer · ACM SIGPLAN Notices · 2012 · 510 citations

Hardware Security, Program Checking, Engineering +15

George C. Necula, Scott McPeak, Westley Weimer · 2002 · 368 citations

Hardware Security, Program Checking, Engineering +14

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

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

Rows per page

1–5 of 8