Publications

18 results for Mooly Sagiv

Testing atomicity of composed concurrent operations
- - Ohad Shacham
  - Nathan Bronson
  - et al.
- 2011
- OOPSLA 2011
Decidable fragments of many-sorted logic
- - Aharon Abadi
  - Alexander Rabinovich
  - et al.
- 2010
- Journal of Symbolic Computation
Verifying safety properties of concurrent heap-manipulating programs
- - Eran Yahav
  - Mooly Sagiv
- 2008
- ACM TOPLAS
On the complexity of partially-flow-sensitive alias analysis
- - N. Rinetzky
  - G. Ramalingam
  - et al.
- 2008
- ACM TOPLAS
Scaling model checking of dataraces using dynamic information
- - Ohad Shacham
  - Mooly Sagiv
  - et al.
- 2007
- Journal of Parallel and Distributed Computing
Scaling model checking of dataraces using dynamic information
- - Ohad Shacham
  - Mooly Sagiv
  - et al.
- 2005
- PROPP 2005
Establishing local temporal heap safety properties with applications to compile-time memory management
- - Ran Shaham
  - Eran Yahav
  - et al.
- 2005
- Science of Computer Programming
Optimizing C multithreaded memory management using thread-local storage
- - Yair Sade
  - Mooly Sagiv
  - et al.
- 2005
- CC - ETAPS 2005
Predicate abstraction and canonical abstraction for singly-linked lists
- - Roman Manevich
  - E. Yahav
  - et al.
- 2005
- VMCAI 2005
CSSV: Towards a realistic tool for statically detecting all buffer overflows in C
- - Nurit Dor
  - Michael Rodeh
  - et al.
- 2003
- PLDI 2003