Recursive subtyping revealed: functional pearl. - Vladimir Gapeyev; Michael Y. Levin; Benjamin C. Pierce (ICFP, 2000)

Recursive subtyping revealed. - Vladimir Gapeyev; Michael Y. Levin; Benjamin C. Pierce (J. Funct. Program., 2002)

Compiling regular patterns. - Michael Y. Levin (ICFP, 2003)

TinkerType: a language for playing with formal systems. - Michael Y. Levin; Benjamin C. Pierce (J. Funct. Program., 2003)

XML Goes Native: Run-Time Representations for Xtatic. - Vladimir Gapeyev; Michael Y. Levin; Benjamin C. Pierce; Alan Schmitt (CC, 2005)

Type-Based Optimization for Regular Patterns. - Michael Y. Levin; Benjamin C. Pierce (DBPL, 2005)

XTATIC. - Vladimir Gapeyev; Michael Y. Levin; Benjamin C. Pierce; Alan Schmitt (PLAN-X, 2006)

Active property checking. - Patrice Godefroid; Michael Y. Levin; David A. Molnar (EMSOFT, 2008)

Automated Whitebox Fuzz Testing. - Patrice Godefroid; Michael Y. Levin; David A. Molnar (NDSS, 2008)

Grammar-based whitebox fuzzing. - Patrice Godefroid; Adam Kiezun; Michael Y. Levin (PLDI, 2008)

Automating Software Testing Using Program Analysis. - Patrice Godefroid; Jonathan de Halleux; Aditya V. Nori; Sriram K. Rajamani; Wolfram Schulte; Nikolai Tillmann; Michael Y. Levin (IEEE Softw., 2008)

Precise pointer reasoning for dynamic test generation. - Bassem Elkarablieh; Patrice Godefroid; Michael Y. Levin (ISSTA, 2009)

SAGE: Whitebox Fuzzing for Security Testing. - Patrice Godefroid; Michael Y. Levin; David A. Molnar (ACM Queue, 2012)

Turbine: Facebook's Service Management Platform for Stream Processing. - Yuan Mei; Luwei Cheng; Vanish Talwar; Michael Y. Levin; Gabriela Jacques-Silva; Nikhil Simha; Anirban Banerjee; Brian Smith; Tim Williamson; Serhat Yilmaz; Weitao Chen; Guoqiang Jerry Chen (ICDE, 2020)