Author of the publication

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

An Incremental Algorithm for Maintaining the Dominator Tree of a Reducible Flowgraph., and . POPL, page 287-296. ACM Press, (1994)Scan Grammars: Parallel Attribute Evaluation via Data-Parallelism.. SPAA, page 367-376. ACM, (1993)Shape Analysis as a Generalized Path Problem.. PEPM, page 1-11. ACM Press, (1995)Optimal-Time Incremental Semantic Analysis for Syntax-Directed Editors.. POPL, page 169-176. ACM Press, (1982)Secure Programming via Visibly Pushdown Safety Games., , and . CAV, volume 7358 of Lecture Notes in Computer Science, page 581-598. Springer, (2012)A Method for Symbolic Computation of Abstract Operations., and . CAV, volume 7358 of Lecture Notes in Computer Science, page 174-192. Springer, (2012)Improving Pushdown System Model Checking., and . CAV, volume 4144 of Lecture Notes in Computer Science, page 343-357. Springer, (2006)Debugging via Run-Time Type Checking., , , and . FASE, volume 2029 of Lecture Notes in Computer Science, page 217-232. Springer, (2001)A System for Generating Static Analyzers for Machine Instructions., and . CC, volume 4959 of Lecture Notes in Computer Science, page 36-52. Springer, (2008)Recovery of Class Hierarchies and Composition Relationships from Machine Code., and . CC, volume 8409 of Lecture Notes in Computer Science, page 61-84. Springer, (2014)