Scott McPeak

According to our database¹, Scott McPeak authored at least 9 papers between 2000 and 2013.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2013

Scalable and incremental software bug detection.

[BibT_eX]

[DOI]

Scott McPeak

Charles-Henri Gros

Murali Krishna Ramanathan

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

2012

CCured: type-safe retrofitting of legacy code.

[BibT_eX]

[DOI]

George C. Necula

Scott McPeak

Westley Weimer

ACM SIGPLAN Notices, 2012

2010

A few billion lines of code later: using static analysis to find bugs in the real world.

[BibT_eX]

[DOI]

Commun. ACM, 2010

2005

CCured: type-safe retrofitting of legacy software.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2005

Data Structure Specifications via Local Equality Axioms.

[BibT_eX]

[DOI]

Scott McPeak

George C. Necula

Proceedings of the Computer Aided Verification, 17th International Conference, 2005

2004

Elkhound: A Fast, Practical GLR Parser Generator.

[BibT_eX]

[DOI]

Scott McPeak

George C. Necula

Proceedings of the Compiler Construction, 13th International Conference, 2004

2003

CCured in the real world.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation 2003, 2003

2002

CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs.

[BibT_eX]

[DOI]

Proceedings of the Compiler Construction, 11th International Conference, 2002

2000

An Improved Adaptive Multi-Start Approach to Finding Near-Optimal Solutions to the Euclidean TSP.

[BibT_eX]

Proceedings of the Genetic and Evolutionary Computation Conference (GECCO '00), 2000

Scott McPeak

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...