Thomas Reps

Cited by

	All	Since 2018
Citations	26912	4741
h-index	82	36
i10-index	207	105

1300

650

325

975

198419851986198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202388 125 171 163 252 287 279 298 351 336 326 314 382 320 395 388 425 530 555 654 792 1090 1052 1193 1198 1125 1202 1010 1027 1204 1060 1032 1006 959 902 911 833 934 768 386

Public access

View all

36 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
Gogul BalakrishnanGoogle IncVerified email at google.com
Akash LalMicrosoft Research, IndiaVerified email at microsoft.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
Ganesan RamalingamMicrosoft Research IndiaVerified email at microsoft.com
Aditya ThakurDepartment of Computer Science, University of California, DavisVerified email at ucdavis.edu
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
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityVerified email at cs.cmu.edu
Ben LiblitAmazon Web ServicesVerified email at amazon.com
Eran YahavTechnion, IsraelVerified email at cs.technion.ac.il
John CyphertUniversity of Wisconsin-MadisonVerified email at wisc.edu
Tayssir TouiliSenior researcher, CNRSVerified email at lipn.fr
Jan F. PrinsProfessor of Computer Science, UNC Chapel HillVerified email at cs.unc.edu
Neil ImmermanCollege of Computer and Information Sciences, UMass, AmherstVerified email at cs.umass.edu
Jordan HenkelSenior Scientist, MicrosoftVerified email at cs.wisc.edu
William HarrisResearch Scientist, Galois Inc.Verified email at galois.com

Thomas Reps

J. Barkley Rosser Professor & Rajiv and Ritu Batra Chair, Comp. Sci. 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	2061	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	1447	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	1416	2002
The Cornell program synthesizer: a syntax-directed programming environment T Teitelbaum, T Reps Communications of the ACM 24 (9), 563-573, 1981	956	1981
Interprocedural slicing using dependence graphs S Horwitz, T Reps, D Binkley Proceedings of the ACM SIGPLAN 1988 conference on Programming Language …, 1988	714	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	629	1989
Analyzing memory accesses in x86 executables G Balakrishnan, T Reps Compiler Construction, 5-23, 2004	551	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	545	1996
An incremental algorithm for a generalization of the shortest-path problem G Ramalingam, T Reps Journal of Algorithms 21 (2), 267-305, 1996	523	1996
The synthesizer generator: a system for constructing language-based editors TW Reps, T Teitelbaum Springer-Verlag, New York, NY, 1988	502*	1988
Program analysis via graph reachability T Reps Information and Software Technology 40 (11-12), 701-726, 1998	487	1998
The synthesizer generator T Reps, T Teitelbaum SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software …, 1984	479	1984
The use of program dependence graphs in software engineering S Horwitz, T Reps Proceedings of the 14th international conference on Software engineering …, 1992	421	1992
Generating language-based environments T Reps The MIT Press, Cambridge, MA, 1984	409	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	402	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	390	1983
Identifying modules via concept analysis M Siff, T Reps Int. Conf. on Sofware Maintenance, 1997	387	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	360	2010
Dependence analysis for pointer variables S Horwitz, P Pfeiffer, T Reps Programming Language Design and Implementation 24 (7), 28-40, 1989	347	1989
Precise interprocedural dataflow analysis with applications to constant propagation M Sagiv, T Reps, S Horwitz Theoretical Computer Science 167 (1-2), 131-170, 1996	325	1996

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