Skip to content
cs-conference-ranking.org

Automating Repetitive Tasks for the Masses.

Sumit Gulwani

VenueA*POPL
Year2015
ProceedingsPOPL
DBLP recordconf/popl/Gulwani15 ↗

Browse the full POPL paper archive.