| 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 | 1453 | 2002 |
| 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 | 559 | 1998 |
| 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 |
| 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 | 362 | 2003 |
| TVLA: A system for implementing static analyses T Lev-Ami, M Sagiv International Static Analysis Symposium, 280-301, 2000 | 311 | 2000 |
| Speeding up slicing T Reps, S Horwitz, M Sagiv, G Rosay ACM SIGSOFT Software Engineering Notes 19 (5), 11-20, 1994 | 277 | 1994 |
| Verifying properties of binarized deep neural networks N Narodytska, S Kasiviswanathan, L Ryzhyk, M Sagiv, T Walsh Proceedings of the AAAI Conference on Artificial Intelligence 32 (1), 2018 | 275 | 2018 |
| 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 | 265 | 2014 |
| Ivy: safety verification by interactive generalization O Padon, KL McMillan, A Panda, M Sagiv, S Shoham Proceedings of the 37th ACM SIGPLAN Conference on Programming Language …, 2016 | 261 | 2016 |
| Online detection of effectively callback free objects with applications to smart contracts S Grossman, I Abraham, G Golan-Gueta, Y Michalevsky, N Rinetzky, ... Proceedings of the ACM on Programming Languages 2 (POPL), 1-28, 2017 | 253 | 2017 |
| Demand interprocedural dataflow analysis S Horwitz, T Reps, M Sagiv ACM SIGSOFT Software Engineering Notes 20 (4), 104-115, 1995 | 236 | 1995 |
| 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 | 232 | 2005 |
| Symbolic implementation of the best transformer T Reps, M Sagiv, G Yorsh Verification, Model Checking, and Abstract Interpretation: 5th International …, 2004 | 188 | 2004 |
| Local reasoning for storable locks and threads A Gotsman, J Berdine, B Cook, N Rinetzky, M Sagiv Programming Languages and Systems: 5th Asian Symposium, APLAS 2007 …, 2007 | 169 | 2007 |
| 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 | 168 | 2000 |
| 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 | 151 | 2005 |
| 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 | 147 | 1998 |
| Comparison under abstraction for verifying linearizability D Amit, N Rinetzky, T Reps, M Sagiv, E Yahav Computer Aided Verification: 19th International Conference, CAV 2007, Berlin …, 2007 | 145 | 2007 |
| Shape analysis R Wilhelm, M Sagiv, T Reps Compiler Construction: 9th International Conference, CC 2000 Held as Part of …, 2000 | 140 | 2000 |