Michael Y. Levin

	2009
12		Bassem Elkarablieh, Patrice Godefroid, Michael Y. Levin: Precise pointer reasoning for dynamic test generation. ISSTA 2009: 129-140
	2008
11		Patrice Godefroid, Michael Y. Levin, David A. Molnar: Active property checking. EMSOFT 2008: 207-216
10		Patrice Godefroid, Michael Y. Levin, David A. Molnar: Automated Whitebox Fuzz Testing. NDSS 2008
9		Patrice Godefroid, Adam Kiezun, Michael Y. Levin: Grammar-based whitebox fuzzing. PLDI 2008: 206-215
8		Patrice Godefroid, Jonathan de Halleux, Aditya V. Nori, Sriram K. Rajamani, Wolfram Schulte, Nikolai Tillmann, Michael Y. Levin: Automating Software Testing Using Program Analysis. IEEE Software 25(5): 30-37 (2008)
	2006
7		Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce, Alan Schmitt: XTATIC. PLAN-X 2006: 88
	2005
6		Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce, Alan Schmitt: XML Goes Native: Run-Time Representations for Xtatic. CC 2005: 43-58
5		Michael Y. Levin, Benjamin C. Pierce: Type-Based Optimization for Regular Patterns. DBPL 2005: 184-198
	2003
4		Michael Y. Levin: Compiling regular patterns. ICFP 2003: 65-77
3		Michael Y. Levin, Benjamin C. Pierce: TinkerType: a language for playing with formal systems. J. Funct. Program. 13(2): 295-316 (2003)
	2002
2		Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce: Recursive subtyping revealed. J. Funct. Program. 12(6): 511-548 (2002)
	2000
1		Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce: Recursive subtyping revealed: functional pearl. ICFP 2000: 221-231

Coauthor Index

1	Bassem Elkarablieh	[12]
2	Vladimir Gapeyev	[1] [2] [6] [7]
3	Patrice Godefroid	[8] [9] [10] [11] [12]
4	Jonathan de Halleux	[8]
5	Adam Kiezun	[9]
6	David A. Molnar	[10] [11]
7	Aditya V. Nori	[8]
8	Benjamin C. Pierce	[1] [2] [3] [5] [6] [7]
9	Sriram K. Rajamani	[8]
10	Alan Schmitt	[6] [7]
11	Wolfram Schulte	[8]
12	Nikolai Tillmann	[8]

Colors in the list of coauthors