Dimitar Dimitrov, Veselin Raychev, Martin T. Vechev, Eric Koskinen
Browse the full PLDI paper archive.