Verifying linearizability with Hindsight
- Peter W. O'Hearn
- Noam Rinetzky
- et al.
- 2010
- PODC 2010
Publications
Date
Featured collections
Popular topics
28 results for Martin Vechev
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
Chameleon: Adaptive selection of collections
- Ohad Shacham
- Martin Vechev
- et al.
- 2009
- PLDI 2009
Idempotent work stealing
- Maged M. Michael
- Martin T. Vechev
- et al.
- 2009
- PPoPP 2009
Idempotent work stealing
- Maged M. Michael
- Martin T. Vechev
- et al.
- 2009
- ACM SIGPLAN Notices
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
Qvm: An efficient runtime for detecting defects in deployed systems
- Matthew Arnold
- Martin Vechev
- et al.
- 2008
- ACM SIGPLAN Notices
Deriving linearizable fine-grained concurrent objects
- Martin Vechev
- Eran Yahav
- 2008
- ACM SIGPLAN Notices