Travelled to:1 × Canada
1 × Sweden
1 × United Kingdom
2 × USA
Collaborated with:P.Godefroid V.Gapeyev B.C.Pierce ∅ B.Elkarablieh A.Kiezun A.Schmitt
Talks about:represent (1) whitebox (1) function (1) regular (1) pointer (1) pattern (1) grammar (1) generat (1) xtatic (1) subtyp (1)
Person: Michael Y. Levin
DBLP: Levin:Michael_Y=
Contributed to:
2009
2008
2005
20032000Wrote 5 papers:
- ISSTA-2009-ElkarabliehGL #generative #pointer #precise #reasoning #testing
- Precise pointer reasoning for dynamic test generation (BE, PG, MYL), pp. 129–140.
- PLDI-2008-GodefroidKL #fuzzing #grammarware
- Grammar-based whitebox fuzzing (PG, AK, MYL), pp. 206–215.
- CC-2005-GapeyevLPS #runtime #xml
- XML Goes Native: Run-Time Representations for Xtatic (VG, MYL, BCP, AS), pp. 43–58.
- ICFP-2003-Levin #compilation
- Compiling regular patterns (MYL), pp. 65–77.
- ICFP-2000-GapeyevLP #functional #recursion #type system
- Recursive subtyping revealed: functional pearl (VG, MYL, BCP), pp. 221–231.