( en | de | ru )

 

Disambiguation of "McPeak, Scott"

Author of the publication

copydeleteadd this publication to your clipboard
CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs.

, , , and . CC, volume 2304 of Lecture Notes in Computer Science, page 213-228. Springer, (2002)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Martina Christine Scotti

Pierre-François Scotto

Peter Scott

Felix Markus Hubertus Scotti

James Wesley Scott

 

Other publications of authors with the same name

Elkhound: A Fast, Practical GLR Parser Generator., and . CC, volume 2985 of Lecture Notes in Computer Science, page 73-88. Springer, (2004)Data Structure Specifications via Local Equality Axioms., and . CAV, volume 3576 of Lecture Notes in Computer Science, page 476-490. Springer, (2005)CCured: type-safe retrofitting of legacy code., , and . POPL, page 128-139. ACM, (2002)ACM SIGPLAN Notices 37(1), January 2002.An Improved Adaptive Multi-Start Approach to Finding Near-Optimal Solutions to the Euclidean TSP., , , and . GECCO, page 143-150. Morgan Kaufmann, (2000)A few billion lines of code later: using static analysis to find bugs in the real world, , , , , , , , , and . Communications of the ACM, 53 (2): 66-75 (2010)CCured in the real world., , , , and . PLDI, page 232-244. ACM, (2003)CCured: type-safe retrofitting of legacy code., , and . ACM SIGPLAN Notices, 47 (4a): 74-85 (2012)CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs., , , and . CC, volume 2304 of Lecture Notes in Computer Science, page 213-228. Springer, (2002)Scalable and incremental software bug detection., , and . ESEC/SIGSOFT FSE, page 554-564. ACM, (2013)