Decidable fragments of many-sorted logic
- Aharon Abadi
- Alexander Rabinovich
- et al.
- 2010
- Journal of Symbolic Computation
Publications
Date
Featured collections
Popular topics
18 results for Mooly Sagiv
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
Establishing local temporal heap safety properties with applications to compile-time memory management
- Ran Shaham
- Eran Yahav
- et al.
- 2005
- Science of Computer Programming
Estimating the impact of heap liveness information on space consumption in Java
- Ran Shaham
- Elliot K. Kolodner
- et al.
- 2002
- ACM SIGPLAN Notices
Heap profiling for space-efficient Java
- Ran Shaham
- Elliot K. Kolodner
- et al.
- 2001
- SIGPLAN Notices (ACM Special Interest Group on Programming Languages)
On the effectiveness of GC in Java
- Ran Shaham
- Elliot K. Kolodner
- et al.
- 2000
- SIGPLAN Notices (ACM Special Interest Group on Programming Languages)