Chameleon: Adaptive selection of collections
- Ohad Shacham
- Martin Vechev
- et al.
- 2009
- PLDI 2009
Publications
Date
Featured collections
Popular topics
36 results for Eran Yahav
The CLOSER: Automating resource management in Java
- Isil Dillig
- Thomas Dillig
- et al.
- 2008
- ISMM 2008
Deriving linearizable fine-grained concurrent objects
- Martin Vechev
- Eran Yahav
- 2007
- PLDI 2007
QVM: An efficient runtime for detecting defects in deployed systems
- Matthew Arnold
- Martin Vechev
- et al.
- 2008
- OOPSLA 2008
Generating precise and concise procedure summaries
- Greta Yorsh
- Eran Yahav
- et al.
- 2008
- POPL 2008
Verifying dereference safety via expanding-scope analysis
- A. Loginov
- E. Yahav
- et al.
- 2008
- ISSTA 2008
CGCExplorer: A semi-automated search procedure for provably correct concurrent collectors
- Martin T. Vechev
- Eran Yahav
- et al.
- 2007
- PLDI 2007
Effective typestate verification in the presence of aliasing
- Stephen Fink
- Eran Yahav
- et al.
- 2006
- ISSTA 2006
Continuous code-quality assurance with SAFE
- Emmanuel Geay
- Eran Yahav
- et al.
- 2006
- PEPM 2006
High-level real-time programming in Java
- David F. Bacon
- Perry Cheng
- et al.
- 2005
- EMSOFT 2005