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
14181995
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
14122002
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
5421998
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
3482003
Precise interprocedural dataflow analysis with applications to constant propagation
M Sagiv, T Reps, S Horwitz
Theoretical Computer Science 167 (1-2), 131-170, 1996
3211996
TVLA: A system for implementing static analyses
T Lev-Ami, M Sagiv
Static Analysis: 7th International Symposium, SAS 2000, Santa Barbara, CA …, 2000
3042000
Speeding up slicing
T Reps, S Horwitz, M Sagiv, G Rosay
ACM SIGSOFT Software Engineering Notes 19 (5), 11-20, 1994
2591994
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
2402014
Demand interprocedural dataflow analysis
S Horwitz, T Reps, M Sagiv
ACM SIGSOFT Software Engineering Notes 20 (4), 104-115, 1995
2221995
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
2152005
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
1862018
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
1862016
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
1702017
Symbolic implementation of the best transformer
T Reps, M Sagiv, G Yorsh
Verification, Model Checking, and Abstract Interpretation: 5th International …, 2004
1672004
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
1632007
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
1622000
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
1502005
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
1352007
Shape analysis
R Wilhelm, M Sagiv, T Reps
Compiler Construction: 9th International Conference, CC 2000 Held as Part of …, 2000
1322000
The system can't perform the operation now. Try again later.
Articles 1–20