T
Thomas Reps
Researcher at University of Wisconsin-Madison
Publications - 358
Citations - 23523
Thomas Reps is an academic researcher from University of Wisconsin-Madison. The author has contributed to research in topics: Program analysis & Program slicing. The author has an hindex of 75, co-authored 349 publications receiving 22625 citations. Previous affiliations of Thomas Reps include University of Stuttgart & Cornell University.
Papers
More filters
Journal ArticleDOI
Interprocedural slicing using dependence graphs
TL;DR: A new kind of graph to represent programs is introduced, called a system dependence graph, which extends previous dependence representations to incorporate collections of procedures (with procedure calls) rather than just monolithic programs.
Proceedings ArticleDOI
Precise interprocedural dataflow analysis via graph reachability
TL;DR: The paper shows how a large class of interprocedural dataflow-analysis problems can be solved precisely in polynomial time by transforming them into a special kind of graph-reachability problem.
Proceedings ArticleDOI
Parametric shape analysis via 3-valued logic
TL;DR: A family of abstract-interpretation algorithms that are capable of determining "shape invariants" of programs that perform destructive updating on dynamically allocated storage by varying the vocabulary used in the three-valued logic.
Journal ArticleDOI
Parametric shape analysis via 3-valued logic
TL;DR: A parametric framework for shape analysis that can be instantiated in different ways to create different shape-analysis algorithms that provide varying degrees of efficiency and precision is presented.
Journal ArticleDOI
The Cornell program synthesizer: a syntax-directed programming environment
Tim Teitelbaum,Thomas Reps +1 more
TL;DR: The Cornell Program Synthesizer demands a structural perspective at all stages of program development and its separate features are unified by a common foundation: a grammar for the programming language.