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

Beyond Bug-Finding: Sound Program Analysis for Linux., , , , , , , and . HotOS, USENIX Association, (2007)Efficient Representation and Validation of Proofs., and . LICS, page 93-104. IEEE Computer Society, (1998)A logic-based approach to software system safety and security., and . ACM SIGSOFT Software Engineering Notes, 25 (1): 67-68 (2000)Enforcing resource bounds via static verification of dynamic checks., , , , and . ACM Trans. Program. Lang. Syst., 29 (5): 28 (2007)CCured: type-safe retrofitting of legacy software., , , , and . ACM Trans. Program. Lang. Syst., 27 (3): 477-526 (2005)Lightweight Wrappers for Interfacing with Binary Code in CCured., and . ISSS, volume 3233 of Lecture Notes in Computer Science, page 209-225. Springer, (2003)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)SJS: A Type System for JavaScript with Fixed Object Layout., , , and . SAS, volume 9291 of Lecture Notes in Computer Science, page 181-198. Springer, (2015)MultiSE: multi-path symbolic execution using value summaries., , , and . ESEC/SIGSOFT FSE, page 842-853. ACM, (2015)Mining Temporal Specifications for Error Detection., and . TACAS, volume 3440 of Lecture Notes in Computer Science, page 461-476. Springer, (2005)