Thomas Reps

Cited by

	All	Since 2019
Citations	28388	5193
h-index	85	37
i10-index	214	109

1300

650

325

975

1985198619871988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024126 165 167 249 289 294 314 364 335 338 321 409 332 415 398 432 539 584 643 809 1069 1056 1192 1178 1136 1209 1005 1024 1197 1060 1026 995 960 876 898 846 941 785 876 839

Public access

View all

40 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Mooly SagivTel Aviv UniversityVerified email at acm.org
Susan HorwitzProfessor Emerita of Computer Science, University of Wisconsin (deceased)Verified email at cs.wisc.edu
Somesh JhaLubar Chair of Computer Science, University of WisconsinVerified email at cs.wisc.edu
Akash LalMicrosoft Research, IndiaVerified email at microsoft.com
Gogul BalakrishnanGoogle IncVerified email at google.com
Reinhard WilhelmComputer Science, Saarland University, Saarland Informatics Campus (SIC)Verified email at cs.uni-saarland.de
Junghee LimSoftware Engineer, GrammaTechVerified email at grammatech.com
Aditya V. ThakurDepartment of Computer Science, University of California, DavisVerified email at ucdavis.edu
Ganesan RamalingamMicrosoft Research IndiaVerified email at microsoft.com
Dave BinkleyLoyola University MarylandVerified email at cs.loyola.edu
Greta YorshLecturer at the School of Electronic Engineering and Computer Science, Queen Mary University of LondonVerified email at qmul.ac.uk
Ben LiblitAmazon Web ServicesVerified email at amazon.com
John CyphertUniversity of Wisconsin-MadisonVerified email at wisc.edu
Loris D'AntoniUniversity of California-San DiegoVerified email at ucsd.edu
Eran YahavTechnion, IsraelVerified email at cs.technion.ac.il
Zachary KincaidPrinceton UniversityVerified email at cs.princeton.edu
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityVerified email at cs.cmu.edu
Thomas BallMicrosoft ResearchVerified email at microsoft.com
Jordan HenkelAI/ML Researcher, Sema4Verified email at cs.wisc.edu
Tayssir TouiliSenior researcher, CNRSVerified email at lipn.fr

Thomas Reps

J. Barkley Rosser Professor & Rajiv and Ritu Batra Chair Emeritus, CS Dept., Univ. of Wisconsin

Verified email at cs.wisc.edu - Homepage

Programming Languages Program Analysis Computer Security Program Verification Program Synthesis


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Interprocedural slicing using dependence graphs S Horwitz, T Reps, D Binkley Proceedings of the ACM SIGPLAN 1988 conference on Programming Language …, 1988	2123	1988
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	1559	1995
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	1452	2002
The Cornell program synthesizer: a syntax-directed programming environment T Teitelbaum, T Reps Communications of the ACM 24 (9), 563-573, 1981	984	1981
Interprocedural slicing using dependence graphs S Horwitz, T Reps, D Binkley Proceedings of the ACM SIGPLAN 1988 conference on Programming Language …, 1988	745	1988
Integrating noninterfering versions of programs S Horwitz, J Prins, T Reps ACM Transactions on Programming Languages and Systems (TOPLAS) 11 (3), 345-387, 1989	651	1989
Analyzing memory accesses in x86 executables G Balakrishnan, T Reps Compiler Construction, 5-23, 2004	587	2004
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	559	1996
An incremental algorithm for a generalization of the shortest-path problem G Ramalingam, T Reps Journal of Algorithms 21 (2), 267-305, 1996	536	1996
Program analysis via graph reachability T Reps Information and Software Technology 40 (11-12), 701-726, 1998	525	1998
The synthesizer generator: a system for constructing language-based editors TW Reps, T Teitelbaum Springer-Verlag, New York, NY, 1988	515*	1988
The synthesizer generator T Reps, T Teitelbaum SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software …, 1984	486	1984
The use of program dependence graphs in software engineering S Horwitz, T Reps Proceedings of the 14th international conference on Software engineering …, 1992	442	1992
Generating language-based environments T Reps The MIT Press, Cambridge, MA, 1984	430	1984
The use of program profiling for software maintenance with applications to the year 2000 problem T Reps, T Ball, M Das, J Larus Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly …, 1997	429	1997
Incremental context-dependent analysis for language-based editors T Reps, T Teitelbaum, A Demers ACM Transactions on Programming Languages and Systems (TOPLAS) 5 (3), 449-477, 1983	404	1983
Identifying modules via concept analysis M Siff, T Reps Int. Conf. on Sofware Maintenance, 1997	397	1997
WYSINWYX: What You See Is Not What You eXecute G Balakrishnan, T Reps ACM Transactions on Programming Languages and Systems (TOPLAS) 32 (6), 23, 2010	390	2010
Precise interprocedural dataflow analysis with applications to constant propagation M Sagiv, T Reps, S Horwitz Theoretical Computer Science 167 (1-2), 131-170, 1996	368	1996
Dependence analysis for pointer variables S Horwitz, P Pfeiffer, T Reps Programming Language Design and Implementation 24 (7), 28-40, 1989	353	1989

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors