Lydia Zoghbi, David Thien, Ranjit Jhala, Deian Stefan, Caleb Stanford
Browse the full ESOP paper archive.