Automatic inference of memory fences
- Michael Kuperstein
- Martin Vechev
- et al.
- 2010
- FMCAD 2010
Publications
Date
Featured collections
Popular topics
28 results for Martin Vechev
Computer-aided construction of concurrent systems
- Martin Vechev
- 2010
- CompSysTech 2010
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
Idempotent work stealing
- Maged M. Michael
- Martin T. Vechev
- et al.
- 2009
- PPoPP 2009
QVM: An efficient runtime for detecting defects in deployed systems
- Matthew Arnold
- Martin Vechev
- et al.
- 2008
- OOPSLA 2008
High-level real-time programming in Java
- David F. Bacon
- Perry Cheng
- et al.
- 2005
- EMSOFT 2005
Syncopation: Generational real-time garbage collection in the metronome
- David F. Bacon
- Perry Cheng
- et al.
- 2005
- LCTES 2005
Derivation and evaluation of concurrent collectors
- Martin T. Vechev
- David F. Bacon
- et al.
- 2005
- ECOOP 2005