Ravichandhran Madhavan, Mikal Mayer, Sumit Gulwani, Viktor Kuncak
Browse the full OOPSLA paper archive.