Automatic inference of memory fences
- Michael Kuperstein
- Martin Vechev
- et al.
- 2010
- FMCAD 2010
Publications
Date
Featured collections
Popular topics
36 results for Eran Yahav
Verifying linearizability with Hindsight
- Peter W. O'Hearn
- Noam Rinetzky
- et al.
- 2010
- PODC 2010
PHALANX: Parallel checking of expressive heap assertions
- Martin Vechev
- Eran Yahav
- et al.
- 2010
- ISMM 2010
Abstraction-guided synthesis of synchronization
- Martin Vechev
- Eran Yahav
- et al.
- 2010
- POPL 2010
The CLOSER: Automating resource management in Java
- Isil Dillig
- Thomas Dillig
- et al.
- 2008
- ISMM 2008
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
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