Author of the publication

CCured: type-safe retrofitting of legacy code.

, , and . POPL, page 128-139. ACM, (2002)ACM SIGPLAN Notices 37(1), January 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.

 

Other publications of authors with the same name

Exceptional situations and program reliability., and . ACM Trans. Program. Lang. Syst., 30 (2): 8:1-8:51 (2008)Modeling consumer-perceived web application fault severities for testing., and . ISSTA, page 97-106. ACM, (2010)KShot: Live Kernel Patching with SMM and SGX., , , , , , , and . DSN, page 1-13. IEEE, (2020)Biases and differences in code review using medical imaging and eye-tracking: genders, humans, and machines., , , , , and . ESEC/SIGSOFT FSE, page 456-468. ACM, (2020)Finding and preventing run-time error handling mistakes., and . OOPSLA, page 419-431. ACM, (2004)A Human Study of Comprehension and Code Summarization., , , , , , and . ICPC, page 2-13. ACM, (2020)Evolving Software: Combining Online Learning with Mutation-Based Stochastic Search., , and . ACM Trans. Evol. Learn. Optim., 3 (4): 13:1-13:32 (December 2023)Dynamic witnesses for static type errors (or, ill-typed programs usually go wrong)., , and . ICFP, page 228-242. ACM, (2016)CCured in the real world., , , , and . PLDI, page 232-244. ACM, (2003)From Organizations to Individuals: Psychoactive Substance Use By Professional Programmers., , , and . ICSE, page 665-677. IEEE, (2023)