| 2009 |
|---|
| 11 | EE | Maged M. Michael,
Martin T. Vechev,
Vijay A. Saraswat:
Idempotent work stealing.
PPOPP 2009: 45-54 |
| 10 | EE | Martin T. Vechev,
Eran Yahav,
Greta Yorsh:
Inferring Synchronization under Limited Observability.
TACAS 2009: 139-154 |
| 2008 |
|---|
| 9 | EE | Matthew Arnold,
Martin T. Vechev,
Eran Yahav:
QVM: an efficient runtime for detecting defects in deployed systems.
OOPSLA 2008: 143-162 |
| 8 | EE | Martin T. Vechev,
Eran Yahav:
Deriving linearizable fine-grained concurrent objects.
PLDI 2008: 125-135 |
| 2007 |
|---|
| 7 | EE | Martin T. Vechev,
Eran Yahav,
David F. Bacon,
Noam Rinetzky:
CGCExplorer: a semi-automated search procedure for provably correct concurrent collectors.
PLDI 2007: 456-467 |
| 2006 |
|---|
| 6 | EE | Martin T. Vechev,
Eran Yahav,
David F. Bacon:
Correctness-preserving derivation of concurrent garbage collection algorithms.
PLDI 2006: 341-353 |
| 2005 |
|---|
| 5 | EE | Martin T. Vechev,
David F. Bacon,
Perry Cheng,
David Grove:
Derivation and Evaluation of Concurrent Collectors.
ECOOP 2005: 577-601 |
| 4 | EE | David F. Bacon,
Perry Cheng,
David Grove,
Michael Hind,
V. T. Rajan,
Eran Yahav,
Matthias Hauswirth,
Christoph M. Kirsch,
Daniel Spoonhower,
Martin T. Vechev:
High-level real-time programming in Java.
EMSOFT 2005: 68-78 |
| 3 | EE | David F. Bacon,
Perry Cheng,
David Grove,
Martin T. Vechev:
Syncopation: generational real-time garbage collection in the metronome.
LCTES 2005: 183-192 |
| 2004 |
|---|
| 2 | EE | Martin T. Vechev,
David F. Bacon:
Write barrier elision for concurrent garbage collectors.
ISMM 2004: 13-24 |
| 2003 |
|---|
| 1 | | Martin T. Vechev,
Peter D. Petrov:
Class Unloading with a Concurrent Garbage Collector in an Embedded Java VM.
Embedded Systems and Applications 2003: 99-108 |
