PHALANX: Parallel checking of expressive heap assertions
- Martin Vechev
- Eran Yahav
- et al.
- 2010
- ISMM 2010
Publications
Date
Featured collections
Popular topics
28 results for Martin Vechev
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
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
CGCExplorer: A semi-automated search procedure for provably correct concurrent collectors
- Martin T. Vechev
- Eran Yahav
- et al.
- 2007
- PLDI 2007
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