Follow
Mooly Sagiv
Title
Cited by
Cited by
Year
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
15601995
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
14522002
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
5591998
Precise interprocedural dataflow analysis with applications to constant propagation
M Sagiv, T Reps, S Horwitz
Theoretical Computer Science 167 (1-2), 131-170, 1996
3701996
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
3622003
TVLA: A system for implementing static analyses
T Lev-Ami, M Sagiv
International Static Analysis Symposium, 280-301, 2000
3102000
Speeding up slicing
T Reps, S Horwitz, M Sagiv, G Rosay
ACM SIGSOFT Software Engineering Notes 19 (5), 11-20, 1994
2781994
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
2752018
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
2652014
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
2622016
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
2532017
Demand interprocedural dataflow analysis
S Horwitz, T Reps, M Sagiv
ACM SIGSOFT Software Engineering Notes 20 (4), 104-115, 1995
2371995
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
2332005
Symbolic implementation of the best transformer
T Reps, M Sagiv, G Yorsh
Verification, Model Checking, and Abstract Interpretation: 5th International …, 2004
1882004
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
1692007
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
1672000
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
1512005
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
1461998
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
1452007
Shape analysis
R Wilhelm, M Sagiv, T Reps
Compiler Construction: 9th International Conference, CC 2000 Held as Part of …, 2000
1402000
The system can't perform the operation now. Try again later.
Articles 1–20