Ahmed El-Hassany, Jeremie Miserez, Pavol Bielik, Martin Vechev, and Laurent Vanbever
PLDI’16, Santa Barbara, CA, USA June 2016. (pdf / paper, doi, bibtex, slides, source code, PLDI '16 Artifact)
Jeremie Miserez, Pavol Bielik, Ahmed El-Hassany, Martin Vechev, and Laurent Vanbever
SOSR’15, Santa Clara, CA, USA June 2015. (pdf / paper, doi, bibtex, source code)