BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Levin:Michael_Y=

Contributed to:

ISSTA 20092009
PLDI 20082008
CC 20052005
ICFP 20032003
ICFP 20002000

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.