Michael Y. Levin

15 papers A* 3A 3B 1Misc 1Journal 5Unranked 2
YearRankTypeTitle / Venue / Authors
2020 A* conf
Turbine: Facebook's Service Management Platform for Stream Processing.
ICDE
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
2012 J jnl
SAGE: Whitebox Fuzzing for Security Testing.
ACM Queue
Patrice Godefroid, Michael Y. Levin, David A. Molnar
2012 J jnl
SAGE: whitebox fuzzing for security testing.
Commun. ACM
Patrice Godefroid, Michael Y. Levin, David A. Molnar
2009 A conf
Precise pointer reasoning for dynamic test generation.
ISSTA
Bassem Elkarablieh, Patrice Godefroid, Michael Y. Levin
2008 Misc conf
Active property checking.
EMSOFT
Patrice Godefroid, Michael Y. Levin, David A. Molnar
2008 A* conf
Automated Whitebox Fuzz Testing.
NDSS
Patrice Godefroid, Michael Y. Levin, David A. Molnar
2008 J jnl
Automating Software Testing Using Program Analysis.
IEEE Softw.
Patrice Godefroid, Jonathan de Halleux, Aditya V. Nori, Sriram K. Rajamani, Wolfram Schulte, Nikolai Tillmann, Michael Y. Levin
2008 A* conf
Grammar-based whitebox fuzzing.
PLDI
Patrice Godefroid, Adam Kiezun, Michael Y. Levin
2006 — conf
XTATIC.
PLAN-X
Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce, Alan Schmitt
2005 — conf
Type-Based Optimization for Regular Patterns.
DBPL
Michael Y. Levin, Benjamin C. Pierce
2005 B conf
XML Goes Native: Run-Time Representations for Xtatic.
CC
Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce, Alan Schmitt
2003 A conf
Compiling regular patterns.
ICFP
Michael Y. Levin
2003 J jnl
TinkerType: a language for playing with formal systems.
J. Funct. Program.
Michael Y. Levin, Benjamin C. Pierce
2002 J jnl
Recursive subtyping revealed.
J. Funct. Program.
Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce
2000 A conf
Recursive subtyping revealed: functional pearl.
ICFP
Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce