| 2008 |
|---|
| 10 | EE | Patrice Godefroid,
Michael Y. Levin,
David A. Molnar:
Active property checking.
EMSOFT 2008: 207-216 |
| 9 | EE | Patrice Godefroid,
Adam Kiezun,
Michael Y. Levin:
Grammar-based whitebox fuzzing.
PLDI 2008: 206-215 |
| 8 | EE | 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 | EE | Vladimir Gapeyev,
Michael Y. Levin,
Benjamin C. Pierce,
Alan Schmitt:
XML Goes Native: Run-Time Representations for Xtatic.
CC 2005: 43-58 |
| 5 | EE | Michael Y. Levin,
Benjamin C. Pierce:
Type-Based Optimization for Regular Patterns.
DBPL 2005: 184-198 |
| 2003 |
|---|
| 4 | EE | Michael Y. Levin:
Compiling regular patterns.
ICFP 2003: 65-77 |
| 3 | EE | Michael Y. Levin,
Benjamin C. Pierce:
TinkerType: a language for playing with formal systems.
J. Funct. Program. 13(2): 295-316 (2003) |
| 2002 |
|---|
| 2 | EE | Vladimir Gapeyev,
Michael Y. Levin,
Benjamin C. Pierce:
Recursive subtyping revealed.
J. Funct. Program. 12(6): 511-548 (2002) |
| 2000 |
|---|
| 1 | EE | Vladimir Gapeyev,
Michael Y. Levin,
Benjamin C. Pierce:
Recursive subtyping revealed: functional pearl.
ICFP 2000: 221-231 |
