Author of the publication

A System for Generating Static Analyzers for Machine Instructions.

, and . CC, volume 4959 of Lecture Notes in Computer Science, page 36-52. Springer, (2008)

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

A System for Generating Static Analyzers for Machine Instructions., and . CC, volume 4959 of Lecture Notes in Computer Science, page 36-52. Springer, (2008)TSL: A System for Generating Abstract Interpreters and its Application to Machine-Code Analysis., and . ACM Trans. Program. Lang. Syst., 35 (1): 4:1-4:59 (2013)Compiler-assisted demand paging for embedded systems with flash memory., , , , and . EMSOFT, page 114-124. ACM, (2004)ConSeq: detecting concurrency bugs through sequential errors., , , , , , and . ASPLOS, page 251-264. ACM, (2011)Abstract Domains of Affine Relations., , , , and . ACM Trans. Program. Lang. Syst., 36 (4): 11:1-11:73 (2014)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)Directed Proof Generation for Machine Code., , , , , , , and . CAV, volume 6174 of Lecture Notes in Computer Science, page 288-305. Springer, (2010)Path Optimization in Programs and Its Application to Debugging., , , and . ESOP, volume 3924 of Lecture Notes in Computer Science, page 246-263. Springer, (2006)Symbolic Analysis via Semantic Reinterpretation., , and . SPIN, volume 5578 of Lecture Notes in Computer Science, page 148-168. Springer, (2009)Extracting Output Formats from Executables., , and . WCRE, page 167-178. IEEE Computer Society, (2006)