POPL SRC 2018
Program committee
Name
Affiliation
Benjamin Delaware
chair
Purdue University
Matthew Hammer
University of Colorado, Boulder
Nadia Polikarpova
UCSD
Roopsha Samanta
Purdue University
Stephen Magill
Galois, Inc.