Folgen
Mooly Sagiv
Mooly Sagiv
Tel Aviv University
Bestätigte E-Mail-Adresse bei acm.org - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
13892002
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
13661995
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
5411998
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
3462003
Precise interprocedural dataflow analysis with applications to constant propagation
M Sagiv, T Reps, S Horwitz
Theoretical Computer Science 167 (1-2), 131-170, 1996
3201996
TVLA: A system for implementing static analyses
T Lev-Ami, M Sagiv
International Static Analysis Symposium, 280-301, 2000
3022000
Speeding up slicing
T Reps, S Horwitz, M Sagiv, G Rosay
ACM SIGSOFT Software Engineering Notes 19 (5), 11-20, 1994
2541994
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
2332014
Demand interprocedural dataflow analysis
S Horwitz, T Reps, M Sagiv
ACM SIGSOFT Software Engineering Notes 20 (4), 104-115, 1995
2191995
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
2042005
Symbolic implementation of the best transformer
T Reps, M Sagiv, G Yorsh
International Workshop on Verification, Model Checking, and Abstract …, 2004
1662004
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
1622016
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
1602007
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
1602000
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
1552018
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
1552017
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
1411998
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
1352007
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
1302005
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20