CSSV: Towards a realistic tool for statically detecting all buffer overflows in C
- Nurit Dor
- Michael Rodeh
- et al.
- 2003
- PLDI 2003
Publications
Date
Featured collections
Popular topics
18 results for Mooly Sagiv
Deriving specialized program analyses for certifying component-client conformance
- G. Ramalingam
- Alex Warshavsky
- et al.
- 2002
- PLDI 2002
Heap profiling for space-efficient Java
- R. Shaham
- E.K. Kolodner
- et al.
- 2001
- PLDI 2001
Finding circular attributes in attribute grammars
- Michael Rodeh
- Mooly Sagiv
- 1999
- Journal of the ACM
Optimizing C multithreaded memory management using thread-local storage
- Yair Sade
- Mooly Sagiv
- et al.
- 2005
- CC - ETAPS 2005
On the effectiveness of GC in java
- Ran Shaham
- Elliot K. Kolodner
- et al.
- 2000
- ISMM 2000
Testing atomicity of composed concurrent operations
- Ohad Shacham
- Nathan Bronson
- et al.
- 2011
- OOPSLA 2011
Scaling model checking of dataraces using dynamic information
- Ohad Shacham
- Mooly Sagiv
- et al.
- 2005
- PROPP 2005
Predicate abstraction and canonical abstraction for singly-linked lists
- Roman Manevich
- E. Yahav
- et al.
- 2005
- VMCAI 2005
Estimating the impact of heap liveness information on space consumption in Java
- Ran Shaham
- Elliot K. Kolodner
- et al.
- 2002
- ISMM 2002