Martin T. Vechev

	2009
13		Ohad Shacham, Martin T. Vechev, Eran Yahav: Chameleon: adaptive selection of collections. PLDI 2009: 408-418
12		Maged M. Michael, Martin T. Vechev, Vijay A. Saraswat: Idempotent work stealing. PPOPP 2009: 45-54
11		Martin T. Vechev, Eran Yahav, Greta Yorsh: Experience with Model Checking Linearizability. SPIN 2009: 261-278
10		Martin T. Vechev, Eran Yahav, Greta Yorsh: Inferring Synchronization under Limited Observability. TACAS 2009: 139-154
	2008
9		Matthew Arnold, Martin T. Vechev, Eran Yahav: QVM: an efficient runtime for detecting defects in deployed systems. OOPSLA 2008: 143-162
8		Martin T. Vechev, Eran Yahav: Deriving linearizable fine-grained concurrent objects. PLDI 2008: 125-135
	2007
7		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		Martin T. Vechev, Eran Yahav, David F. Bacon: Correctness-preserving derivation of concurrent garbage collection algorithms. PLDI 2006: 341-353
	2005
5		Martin T. Vechev, David F. Bacon, Perry Cheng, David Grove: Derivation and Evaluation of Concurrent Collectors. ECOOP 2005: 577-601
4		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		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		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

Coauthor Index

1	Matthew Arnold	[9]
2	David F. Bacon	[2] [3] [4] [5] [6] [7]
3	Perry Cheng	[3] [4] [5]
4	David Grove	[3] [4] [5]
5	Matthias Hauswirth	[4]
6	Michael Hind	[4]
7	Christoph M. Kirsch (Christoph Meyer)	[4]
8	Maged M. Michael	[12]
9	Peter D. Petrov	[1]
10	V. T. Rajan	[4]
11	Noam Rinetzky	[7]
12	Vijay A. Saraswat	[12]
13	Ohad Shacham	[13]
14	Daniel Spoonhower	[4]
15	Eran Yahav	[4] [6] [7] [8] [9] [10] [11] [13]
16	Greta Yorsh	[10] [11]

Colors in the list of coauthors