Author of the publication

Object Model Construction for Inheritance in C++ and Its Applications to Program Analysis.

, , , , , , , and . CC, volume 7210 of Lecture Notes in Computer Science, page 144-164. Springer, (2012)

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

Analyzing Memory Accesses in x86 Executables., and . CC, volume 2985 of Lecture Notes in Computer Science, page 5-23. Springer, (2004)Scalable and precise program analysis at NEC., , , , , , , , , and 1 other author(s). FMCAD, page 273-274. IEEE, (2010)Object Model Construction for Inheritance in C++ and Its Applications to Program Analysis., , , , , , , and . CC, volume 7210 of Lecture Notes in Computer Science, page 144-164. Springer, (2012)Scalable and scope-bounded software verification in Varvel., , , , , , , and . Autom. Softw. Eng., 22 (4): 517-559 (2015)PED: Proof-Guided Error Diagnosis by Triangulation of Program Error Causes., and . SEFM, page 268-278. IEEE Computer Society, (2008)SETSUDŌ: perturbation-based testing framework for scalable distributed systems., , , , and . TRIOS@SOSP, page 7:1-7:14. ACM, (2013)There's Plenty of Room at the Bottom: Analyzing and Verifying Machine Code., , , , and . CAV, volume 6174 of Lecture Notes in Computer Science, page 41-56. Springer, (2010)DIVINE: DIscovering Variables IN Executables., and . VMCAI, volume 4349 of Lecture Notes in Computer Science, page 1-28. Springer, (2007)CodeSurfer/x86-A Platform for Analyzing x86 Executables., , , and . CC, volume 3443 of Lecture Notes in Computer Science, page 250-254. Springer, (2005)Learning and Evaluating Contextual Embedding of Source Code., , , and . ICML, volume 119 of Proceedings of Machine Learning Research, page 5110-5121. PMLR, (2020)