Thomas Reps
Thomas Reps
J. Barkley Rosser Professor & Rajiv and Ritu Batra Chair, Comp. Sci. Dept., Univ. of Wisconsin
Verified email at cs.wisc.edu - Homepage
TitleCited byYear
Interprocedural slicing using dependence graphs
S Horwitz, T Reps, D Binkley
ACM Sigplan Notices 23 (7), 35-46, 1988
23461988
Parametric shape analysis via 3-valued logic
M Sagiv, T Reps, R Wilhelm
ACM Transactions on Programming Languages and Systems (TOPLAS) 24 (3), 217-298, 2002
12732002
Parametric Shape Analysis via 3-Valued Logic
M Sagiv, T Reps, R Wilhelm
Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of …, 1999
12731999
Precise interprocedural dataflow analysis via graph reachability
T Reps, S Horwitz, M Sagiv
Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of …, 1995
11161995
The Cornell program synthesizer: a syntax-directed programming environment
T Teitelbaum, T Reps
Communications of the ACM 24 (9), 563-573, 1981
9011981
Integrating non-interfering versions of programs
S Horwitz, J Prins, T Reps
ACM Transactions on Programming Languages and Systems (TOPLAS) 11 (3), 345-387, 1989
5541989
Integrating non-interfering versions of programs
S Horwitz, J Prins, T Reps
Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of …, 1988
5541988
Solving shape-analysis problems in languages with destructive updating
M Sagiv, T Reps, R Wilhelm
ACM Transactions on Programming Languages and Systems (TOPLAS) 20 (1), 1-50, 1996
5051996
The synthesizer generator: a system for constructing language-based editors
TW Reps, T Teitelbaum
Springer Science & Business Media, 2012
4832012
The synthesizer generator: a system for constructing language-based editors
TW Reps, T Teitelbaum
Springer Science & Business Media, 2012
4832012
The synthesizer generator: a system for constructing language-based editors
TW Reps, T Teitelbaum
Springer-Verlag, New York, NY, 1988
483*1988
Analyzing memory accesses in x86 executables
G Balakrishnan, T Reps
Compiler Construction, 5-23, 2004
4382004
An incremental algorithm for a generalization of the shortest-path problem
G Ramalingam, T Reps
Journal of Algorithms 21 (2), 267-305, 1996
4371996
The synthesizer generator
T Reps, T Teitelbaum
SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software …, 1984
4281984
Generating language-based environments
T Reps
The MIT Press, Cambridge, MA, 1984
3721984
Identifying modules via concept analysis
M Siff, T Reps
IEEE Transactions on Software Engineering 25 (6), 749-768, 1999
3621999
Identifying modules via concept analysis
M Siff, T Reps
IEEE Transactions on Software Engineering 25 (6), 749-768, 1999
3621999
Identifying modules via concept analysis
M Siff, T Reps
IEEE Transactions on Software Engineering 25 (6), 749-768, 1999
3621999
Identifying modules via concept analysis
M Siff, T Reps
Int. Conf. on Sofware Maintenance, 1997
3621997
The use of program dependence graphs in software engineering
S Horwitz, T Reps
14th International Conference on Software Engineering: Proceedings, 392, 1992
3601992
The system can't perform the operation now. Try again later.
Articles 1–20