Mooly Sagiv
Mooly Sagiv
Tel Aviv University
Dirección de correo verificada de acm.org - Página principal
Título
Citado por
Citado por
Año
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
13312002
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
12541995
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
5201998
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
3362003
TVLA: A system for implementing static analyses
T Lev-Ami, M Sagiv
International Static Analysis Symposium, 280-301, 2000
3192000
Precise interprocedural dataflow analysis with applications to constant propagation
M Sagiv, T Reps, S Horwitz
Theoretical Computer Science 167 (1-2), 131-170, 1996
2941996
Data flow analysis: theory and practice
U Khedker, A Sanyal, B Sathe
CRC Press, 2017
2492017
Speeding up slicing
T Reps, S Horwitz, M Sagiv, G Rosay
ACM SIGSOFT Software Engineering Notes 19 (5), 11-20, 1994
2391994
Demand interprocedural dataflow analysis
S Horwitz, T Reps, M Sagiv
ACM SIGSOFT Software Engineering Notes 20 (4), 104-115, 1995
2031995
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
2022014
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
1922005
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
Symbolic implementation of the best transformer
T Reps, M Sagiv, G Yorsh
International Workshop on Verification, Model Checking, and Abstract …, 2004
1612004
Shape analysis
R Wilhelm, M Sagiv, T Reps
International Conference on Compiler Construction, 1-17, 2000
1482000
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
1462005
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
1442007
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
1311998
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
1282007
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
1272005
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
1212004
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20