( en | de | ru )

 

Disambiguation of "Reps, Thomas W."

Author of the publication

copydeleteadd this publication to your clipboard
Speeding up machine-code synthesis.

, , and . OOPSLA, page 165-180. ACM, (2016)

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.

Markus Reps

Christian Repschläger

Ingeborg Reps

Albert Reps

Bruno Reps

 

Other publications of authors with the same name

Identifying Modules via Concept Analysis., and . IEEE Trans. Software Eng., 25 (6): 749-768 (1999)Scan Grammars: Parallel Attribute Evaluation via Data-Parallelism.. SPAA, page 367-376. ACM, (1993)A Program Integration Algorithm that Accommodates Semantics-Preserving Transformations., , and . ACM Trans. Softw. Eng. Methodol., 1 (3): 310-354 (1992)Finite differencing of logical formulas for static analysis., , and . ACM Trans. Program. Lang. Syst., 32 (6): 24:1-24:55 (2010)An Incremental Algorithm for Maintaining the Dominator Tree of a Reducible Flowgraph., and . POPL, page 287-296. ACM Press, (1994)Optimal-Time Incremental Semantic Analysis for Syntax-Directed Editors.. POPL, page 169-176. ACM Press, (1982)Shape Analysis as a Generalized Path Problem.. PEPM, page 1-11. ACM Press, (1995)Debugging via Run-Time Type Checking., , , and . FASE, volume 2029 of Lecture Notes in Computer Science, page 217-232. Springer, (2001)Improving Pushdown System Model Checking., and . CAV, volume 4144 of Lecture Notes in Computer Science, page 343-357. Springer, (2006)Secure Programming via Visibly Pushdown Safety Games., , and . CAV, volume 7358 of Lecture Notes in Computer Science, page 581-598. Springer, (2012)