Partial-coherence abstractions for relaxed memory models
- Michael Kuperstein
- Martin Vechev
- et al.
- 2011
- PLDI 2011
Publications
Date
Featured collections
Popular topics
36 results for Eran Yahav
Chameleon: Adaptive selection of collections
- Ohad Shacham
- Martin Vechev
- et al.
- 2009
- PLDI 2009
Deriving linearizable fine-grained concurrent objects
- Martin Vechev
- Eran Yahav
- 2007
- PLDI 2007
CGCExplorer: A semi-automated search procedure for provably correct concurrent collectors
- Martin T. Vechev
- Eran Yahav
- et al.
- 2007
- PLDI 2007
When role models have flaws: Static validation of enterprise security policies
- Marco Pistoia
- Stephen J. Fink
- et al.
- 2007
- ICSE 2007
Verifying safety properties using separation and heterogeneous abstractions
- Eran Yahav
- G. Ramalingam
- 2004
- PLDI 2004
Finding rare numerical stability errors in concurrent computations
- Hana Chockler
- Karine Even
- et al.
- 2013
- ISSTA 2013
Asynchronous assertions
- Edward E. Aftandilian
- Samuel Z. Guyer
- et al.
- 2011
- OOPSLA 2011
Sprint: Speculative prefetching of remote data
- Arun Raman
- Greta Yorsh
- et al.
- 2011
- OOPSLA 2011
Testing atomicity of composed concurrent operations
- Ohad Shacham
- Nathan Bronson
- et al.
- 2011
- OOPSLA 2011