( en | de | ru )

 

Disambiguation of "Reps, Thomas W."

Author of the publication

copydeleteadd this publication to your clipboard
Compositional recurrence analysis revisited.

, , , and . PLDI, page 248-262. ACM, (2017)

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

Design and Implementation of a Fine-Grained Software Inspection Tool., , and . IEEE Trans. Software Eng., 29 (8): 721-733 (2003)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)Static Program Analysis via 3-Valued Logic.. APPIA-GULP-PRODE, page 5. Facultad de Informática, Universidad Politécnica de Madrid, (2002)Program synthesis for interactive-security systems., , , and . Formal Methods Syst. Des., 51 (2): 362-394 (2017)Model-assisted machine-code synthesis., , and . Proc. ACM Program. Lang., 1 (OOPSLA): 61:1-61:26 (2017)Non-linear reasoning for invariant synthesis., , , and . Proc. ACM Program. Lang., 2 (POPL): 54:1-54:33 (2018)Tuning Models of Code with Compiler-Generated Reinforcement Learning Feedback., , , , and . CoRR, (2023)