Michael Y. Levin

Publication Activity (10 Years)

Years Active: 2000-2020
Publications (10 Years): 1

Top Topics

Security Problems

Security Measures

Penetration Testing

Top Venues

Publications

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
Turbine: Facebook's Service Management Platform for Stream Processing. ICDE (2020)
Patrice Godefroid, Michael Y. Levin, David A. Molnar
SAGE: whitebox fuzzing for security testing. Commun. ACM 55 (3) (2012)
Patrice Godefroid, Michael Y. Levin, David A. Molnar
SAGE: Whitebox Fuzzing for Security Testing. ACM Queue 10 (1) (2012)
Bassem Elkarablieh, Patrice Godefroid, Michael Y. Levin
Precise pointer reasoning for dynamic test generation. ISSTA (2009)
Patrice Godefroid, Michael Y. Levin, David A. Molnar
Active property checking. EMSOFT (2008)
Patrice Godefroid, Michael Y. Levin, David A. Molnar
Automated Whitebox Fuzz Testing. NDSS (2008)
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 Softw. 25 (5) (2008)
Patrice Godefroid, Adam Kiezun, Michael Y. Levin
Grammar-based whitebox fuzzing. PLDI (2008)
Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce, Alan Schmitt
XTATIC. PLAN-X (2006)
Michael Y. Levin, Benjamin C. Pierce
Type-Based Optimization for Regular Patterns. DBPL (2005)
Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce, Alan Schmitt
XML Goes Native: Run-Time Representations for Xtatic. CC (2005)
Michael Y. Levin
Compiling regular patterns. SIGPLAN Notices (2003)
Michael Y. Levin
Compiling regular patterns. ICFP (2003)
Michael Y. Levin, Benjamin C. Pierce
TinkerType: a language for playing with formal systems. J. Funct. Program. 13 (2) (2003)
Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce
Recursive subtyping revealed. J. Funct. Program. 12 (6) (2002)
Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce
Recursive subtyping revealed: functional pearl. ICFP (2000)