Write barrier elision for concurrent garbage collectors
- Martin T. Vechev
- David F. Bacon
- 2004
- ISMM 2004
Publications
Date
Featured collections
Popular topics
28 results for Martin Vechev
QVM: An efficient runtime for detecting defects in deployed systems
- Matthew Arnold
- Martin Vechev
- et al.
- 2011
- ACM TOSEM
Idempotent work stealing
- Maged M. Michael
- Martin T. Vechev
- et al.
- 2009
- ACM SIGPLAN Notices
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
CGCExplorer: A semi-automated search procedure for provably correct concurrent collectors
- Martin T. Vechev
- Eran Yahav
- et al.
- 2007
- ACM SIGPLAN Notices
Correctness-preserving derivation of concurrent garbage collection algorithms
- Martin T. Vechev
- Eran Yahav
- et al.
- 2006
- ACM SIGPLAN Notices
Syncopation: Generational real-time garbage collection in the metronome
- David F. Bacon
- Perry Cheng
- et al.
- 2005
- ACM SIGPLAN Notices