Generating precise and concise procedure summaries
- Greta Yorsh
- Eran Yahav
- et al.
- 2008
- ACM SIGPLAN Notices
Publications
Date
Featured collections
Popular topics
36 results for Eran Yahav
A survey of static analysis methods for identifying security vulnerabilities in software systems
- Marco Pistoia
- Satish Chandra
- et al.
- 2007
- IBM Systems Journal
CGCExplorer: A semi-automated search procedure for provably correct concurrent collectors
- Martin T. Vechev
- Eran Yahav
- et al.
- 2007
- ACM SIGPLAN Notices
Correctness-preserving derivation of concurrent garbage collection algorithms
- Martin T. Vechev
- Eran Yahav
- et al.
- 2006
- ACM SIGPLAN Notices
Establishing local temporal heap safety properties with applications to compile-time memory management
- Ran Shaham
- Eran Yahav
- et al.
- 2005
- Science of Computer Programming
Typestate verification: Abstraction techniques and complexity results
- J. Field
- D. Goyal
- et al.
- 2005
- Science of Computer Programming