Thomas Reps

Cited by

	All	Since 2020
Citations	28601	4511
h-index	85	36
i10-index	214	101

1300

650

325

975

1986198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320242025168 167 249 289 298 314 366 333 340 314 409 333 411 398 433 539 595 641 810 1071 1053 1195 1173 1134 1216 1002 1025 1196 1061 1029 996 958 876 896 846 943 788 874 928 128

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	2136	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	1576	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	1455	2002
The Cornell program synthesizer: a syntax-directed programming environment T Teitelbaum, T Reps Communications of the ACM 24 (9), 563-573, 1981	987	1981
Interprocedural slicing using dependence graphs S Horwitz, T Reps, D Binkley Proceedings of the ACM SIGPLAN 1988 conference on Programming Language …, 1988	748	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	592	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	560	1996
An incremental algorithm for a generalization of the shortest-path problem G Ramalingam, T Reps Journal of Algorithms 21 (2), 267-305, 1996	540	1996
Program analysis via graph reachability T Reps Information and Software Technology 40 (11-12), 701-726, 1998	528	1998
The synthesizer generator: a system for constructing language-based editors TW Reps, T Teitelbaum Springer-Verlag, New York, NY, 1988	516*	1988
The synthesizer generator T Reps, T Teitelbaum SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software …, 1984	488	1984
The use of program dependence graphs in software engineering S Horwitz, T Reps Proceedings of the 14th international conference on Software engineering …, 1992	447	1992
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	431	1997
Generating language-based environments T Reps The MIT Press, Cambridge, MA, 1984	430	1984
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
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	398	2010
Identifying modules via concept analysis M Siff, T Reps Int. Conf. on Sofware Maintenance, 1997	397	1997
Precise interprocedural dataflow analysis with applications to constant propagation M Sagiv, T Reps, S Horwitz Theoretical Computer Science 167 (1-2), 131-170, 1996	374	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