Concepedia

Thomas Reps

TR

Statistics

Publications

148

Citations

15.4K

H-Index

58

Active since

1981

Affiliations

University of Wisconsin–Madison(Current)

GrammaTech (United States)

Tel Aviv University

Cornell University

Saarland University

Thomas Reps is an author at University of Wisconsin–Madison specializing in computer science, computing, and data-flow analysis.

Publications per year

1981–2024

148

Publications

148

Interprocedural slicing using dependence graphs

Susan Horwitz, Thomas Reps, David Binkley · ACM Transactions on Programming Languages and Systems · 1990 · 1.5K citations · Full text

Computing, Computer Science, Algorithms +11

Precise interprocedural dataflow analysis via graph reachability

Thomas Reps, Susan Horwitz, Mooly Sagiv · 1995 · 1.2K citations

Computing, Computer Science, Algorithms +15

Parametric shape analysis via 3-valued logic

Mooly Sagiv, Thomas Reps, Reinhard Wilhelm · ACM Transactions on Programming Languages and Systems · 2002 · 784 citations · Full text

Computing, Computer Science, Formal Methods +10

The Cornell program synthesizer

Tim Teitelbaum, Thomas Reps · Communications of the ACM · 1981 · 709 citations · Full text

Computing, Computer Science, Programming Languages +15

Integrating noninterfering versions of programs

Susan Horwitz, Jan F. Prins, Thomas Reps · ACM Transactions on Programming Languages and Systems · 1989 · 420 citations

Computing, Computer Engineering, Computer Science +7

1–5 of 148