Scott McPeak - Concepedia

Author

Scott McPeak

Also Known As

Scott McPeak

Publications

3.4K

Citations

H-Index

Concepts

All Affiliations

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

#	Concept	H-Index	Publications	Citations
1	Engineering	8	8	2.2K
2	Computer Engineering	8	8	2.2K
3	Computer Science	8	8	2.2K
4	Management	2	2	228
5	Data Science	1	1	56

Scott McPeak

Publications

2.2K

Citations

H-Index

Page 1

	Year	Citations
A few billion lines of code later Al Bessey, Ken Block, Ben Chelf, Communications of the ACM Software MaintenanceEngineeringSoftware SystemsSoftware EngineeringSource Code Analysis	2010	612
CCured George C. Necula, Scott McPeak, Westley Weimer ACM SIGPLAN Notices Hardware SecurityProgram CheckingEngineeringRuntime VerificationCcured Sysiem	2012	510
CCured George C. Necula, Scott McPeak, Westley Weimer Hardware SecurityProgram CheckingEngineeringProgram AnalysisDependently Typed Programming	2002	368
CCured: type-safe retrofitting of legacy software George C. Necula, Jeremy Condit, Matthew Harren, ACM Transactions on Programming Languages and Systems Software MaintenanceEngineeringCompiler TechnologyVerificationSoftware Engineering	2005	363
CCured in the real world Jeremy Condit, Matthew Harren, Scott McPeak, ACM SIGPLAN Notices Artificial IntelligenceNew Instrumentation SchemeInspectionType CastsEngineering	2003	138
CCured in the real world Jeremy Condit, Matthew Harren, Scott McPeak, Artificial IntelligenceNew Instrumentation SchemeInspectionType CastsEngineering	2003	90
CCured George C. Necula, Scott McPeak, Westley Weimer ACM SIGPLAN Notices Hardware SecurityProgram CheckingEngineeringProgram AnalysisDependently Typed Programming	2002	69
Scalable and incremental software bug detection Scott McPeak, Charles-Henri Gros, Murali Krishna Ramanathan Software MaintenanceEngineeringVerificationSoftware EngineeringSource Code Analysis	2013	56

Page 1