| Interprocedural slicing using dependence graphs S Horwitz, T Reps, D Binkley Proceedings of the ACM SIGPLAN 1988 conference on Programming Language …, 1988 | 2156 | 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 | 1621 | 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 | 1461 | 2002 |
| The Cornell program synthesizer: a syntax-directed programming environment T Teitelbaum, T Reps Communications of the ACM 24 (9), 563-573, 1981 | 1035 | 1981 |
| Interprocedural slicing using dependence graphs S Horwitz, T Reps, D Binkley Proceedings of the ACM SIGPLAN 1988 conference on Programming Language …, 1988 | 758 | 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 | 655 | 1989 |
| Analyzing memory accesses in x86 executables G Balakrishnan, T Reps Compiler Construction, 5-23, 2004 | 609 | 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 | 561 | 1996 |
| An incremental algorithm for a generalization of the shortest-path problem G Ramalingam, T Reps Journal of Algorithms 21 (2), 267-305, 1996 | 560 | 1996 |
| Program analysis via graph reachability T Reps Information and Software Technology 40 (11-12), 701-726, 1998 | 542 | 1998 |
| The synthesizer generator: a system for constructing language-based editors TW Reps, T Teitelbaum Springer-Verlag, New York, NY, 1988 | 529* | 1988 |
| The synthesizer generator T Reps, T Teitelbaum SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software …, 1984 | 502 | 1984 |
| The use of program dependence graphs in software engineering S Horwitz, T Reps Proceedings of the 14th international conference on Software engineering …, 1992 | 455 | 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 | 435 | 1997 |
| Generating language-based environments T Reps The MIT Press, Cambridge, MA, 1984 | 434 | 1984 |
| 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 | 409 | 2010 |
| 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 | 408 | 1983 |
| Identifying modules via concept analysis M Siff, T Reps Int. Conf. on Sofware Maintenance, 1997 | 401* | 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 | 387 | 1996 |
| Dependence analysis for pointer variables S Horwitz, P Pfeiffer, T Reps Programming Language Design and Implementation 24 (7), 28-40, 1989 | 354 | 1989 |
Mooly SagivTel Aviv UniversityVerified email at acm.org
