Edward Aftandilian, Samuel Z. Guyer, Martin T. Vechev, Eran Yahav
Browse the full OOPSLA paper archive.