Mooly Sagiv
TitleCited byYear
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
12832002
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
11291995
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
5071998
CSSV: Towards a realistic tool for statically detecting all buffer overflows in C
N Dor, M Rodeh, M Sagiv
ACM Sigplan Notices 38 (5), 155-167, 2003
3172003
TVLA: A system for implementing static analyses
T Lev-Ami, M Sagiv
International Static Analysis Symposium, 280-301, 2000
3052000
Precise interprocedural dataflow analysis with applications to constant propagation
M Sagiv, T Reps, S Horwitz
Theoretical Computer Science 167 (1-2), 131-170, 1996
2751996
Speeding up slicing
T Reps, S Horwitz, M Sagiv, G Rosay
ACM SIGSOFT Software Engineering Notes 19 (5), 11-20, 1994
2281994
Data flow analysis: theory and practice
U Khedker, A Sanyal, B Sathe
CRC Press, 2017
2032017
Demand interprocedural dataflow analysis
S Horwitz, T Reps, M Sagiv
University of Wisconsin-Madison Department of Computer Sciences, 1995
1901995
A framework for numeric analysis of array operations
D Gopan, T Reps, M Sagiv
ACM SIGPLAN Notices 40 (1), 338-350, 2005
1812005
VeriCon: towards verifying controller programs in software-defined networks
T Ball, N Bjørner, A Gember, S Itzhaky, A Karbyshev, M Sagiv, M Schapira, ...
ACM Sigplan Notices 49 (6), 282-293, 2014
1752014
Putting static analysis to work for verification: A case study
T Lev-Ami, T Reps, M Sagiv, R Wilhelm
ACM SIGSOFT Software Engineering Notes 25 (5), 26-38, 2000
1562000
Symbolic implementation of the best transformer
T Reps, M Sagiv, G Yorsh
International Workshop on Verification, Model Checking, and Abstract …, 2004
1542004
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
1412005
Shape analysis
R Wilhelm, M Sagiv, T Reps
International Conference on Compiler Construction, 1-17, 2000
1412000
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
1372007
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
1262005
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
1261998
Symbolically computing most-precise abstract operations for shape analysis
G Yorsh, T Reps, M Sagiv
International Conference on Tools and Algorithms for the Construction and …, 2004
1222004
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
1192007
The system can't perform the operation now. Try again later.
Articles 1–20