Michael Y. Levin
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
7
Active years
2000–2020
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | ICDE | 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 |
| 2009 | ISSTA | Precise pointer reasoning for dynamic test generation. | Bassem Elkarablieh, Patrice Godefroid, Michael Y. Levin |
| 2008 | EMSOFT | Active property checking. | Patrice Godefroid, Michael Y. Levin, David A. Molnar |
| 2008 | NDSS | Automated Whitebox Fuzz Testing. | Patrice Godefroid, Michael Y. Levin, David A. Molnar |
| 2008 | PLDI | Grammar-based whitebox fuzzing. | Patrice Godefroid, Adam Kiezun, Michael Y. Levin |
| 2005 | CC | XML Goes Native: Run-Time Representations for Xtatic. | Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce, Alan Schmitt |
| 2003 | ICFP | Compiling regular patterns. | Michael Y. Levin |
| 2000 | ICFP | Recursive subtyping revealed: functional pearl. | Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce |