Testing atomicity of composed concurrent operations
- Ohad Shacham
- Nathan Bronson
- et al.
- 2011
- OOPSLA 2011
Publications
Date
Featured collections
Popular topics
18 results for Mooly Sagiv
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