CGCExplorer: A semi-automated search procedure for provably correct concurrent collectors
- Martin T. Vechev
- Eran Yahav
- et al.
- 2007
- PLDI 2007
Conference paper
Publications
28 results for Martin Vechev
CGCExplorer: A semi-automated search procedure for provably correct concurrent collectors
- Martin T. Vechev
- Eran Yahav
- et al.
- 2007
- ACM SIGPLAN Notices
PaperCorrectness-preserving derivation of concurrent garbage collection algorithms
- Martin T. Vechev
- Eran Yahav
- et al.
- 2006
- ACM SIGPLAN Notices
PaperHigh-level real-time programming in Java
- David F. Bacon
- Perry Cheng
- et al.
- 2005
- EMSOFT 2005
Conference paperSyncopation: Generational real-time garbage collection in the metronome
- David F. Bacon
- Perry Cheng
- et al.
- 2005
- LCTES 2005
Conference paperDerivation and evaluation of concurrent collectors
- Martin T. Vechev
- David F. Bacon
- et al.
- 2005
- ECOOP 2005
Conference paperSyncopation: Generational real-time garbage collection in the metronome
- David F. Bacon
- Perry Cheng
- et al.
- 2005
- ACM SIGPLAN Notices
PaperWrite barrier elision for concurrent garbage collectors
- Martin T. Vechev
- David F. Bacon
- 2004
- ISMM 2004
Conference paper