| 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 | 1356 | 2002 |
| 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 | 1259 | 1995 |
| 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, 1998 | 526 | 1998 |
| CSSV: Towards a realistic tool for statically detecting all buffer overflows in C N Dor, M Rodeh, M Sagiv Proceedings of the ACM SIGPLAN 2003 conference on Programming language …, 2003 | 334 | 2003 |
| TVLA: A system for implementing static analyses T Lev-Ami, M Sagiv International Static Analysis Symposium, 280-301, 2000 | 304 | 2000 |
| Precise interprocedural dataflow analysis with applications to constant propagation M Sagiv, T Reps, S Horwitz Theoretical Computer Science 167 (1-2), 131-170, 1996 | 288 | 1996 |
| Data flow analysis: theory and practice U Khedker, A Sanyal, B Sathe CRC Press, 2017 | 248 | 2017 |
| Speeding up slicing T Reps, S Horwitz, M Sagiv, G Rosay ACM SIGSOFT Software Engineering Notes 19 (5), 11-20, 1994 | 239 | 1994 |
| Demand interprocedural dataflow analysis S Horwitz, T Reps, M Sagiv ACM SIGSOFT Software Engineering Notes 20 (4), 104-115, 1995 | 210 | 1995 |
| Vericon: towards verifying controller programs in software-defined networks T Ball, N Bjørner, A Gember, S Itzhaky, A Karbyshev, M Sagiv, M Schapira, ... Proceedings of the 35th ACM SIGPLAN conference on programming language …, 2014 | 207 | 2014 |
| A framework for numeric analysis of array operations D Gopan, T Reps, M Sagiv Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of …, 2005 | 193 | 2005 |
| Putting static analysis to work for verification: A case study T Lev-Ami, T Reps, M Sagiv, R Wilhelm Proceedings of the 2000 ACM SIGSOFT international symposium on Software …, 2000 | 162 | 2000 |
| Symbolic implementation of the best transformer T Reps, M Sagiv, G Yorsh International Workshop on Verification, Model Checking, and Abstract …, 2004 | 161 | 2004 |
| Local reasoning for storable locks and threads A Gotsman, J Berdine, B Cook, N Rinetzky, M Sagiv Asian Symposium on Programming Languages And Systems, 19-37, 2007 | 148 | 2007 |
| A semantics for procedure local heaps and its abstractions N Rinetzky, J Bauer, T Reps, M Sagiv, R Wilhelm ACM SIGPLAN Notices 40 (1), 296-309, 2005 | 148 | 2005 |
| Shape analysis R Wilhelm, M Sagiv, T Reps International Conference on Compiler Construction, 1-17, 2000 | 147 | 2000 |
| Edge profiling versus path profiling: The showdown T Ball, P Mataga, M Sagiv Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of …, 1998 | 138 | 1998 |
| Comparison under abstraction for verifying linearizability D Amit, N Rinetzky, T Reps, M Sagiv, E Yahav International Conference on Computer Aided Verification, 477-490, 2007 | 129 | 2007 |
| Predicate abstraction and canonical abstraction for singly-linked lists R Manevich, E Yahav, G Ramalingam, M Sagiv International Workshop on Verification, Model Checking, and Abstract …, 2005 | 128 | 2005 |
| Competitor analysis and its defenses in the e-marketplace YP Sheng, PP Mykytyn Jr, CR Litecky Communications of the ACM 48 (8), 107-112, 2005 | 123* | 2005 |
