SPLASH 2017
Sun 22 - Fri 27 October 2017 Vancouver, Canada
Benjamin Delaware

Registered user since Wed 25 Nov 2015

Name: Benjamin Delaware

Affiliation: Purdue University

Personal website: https://www.cs.purdue.edu/homes/bendy/

Research interests: Programming Languages and Verification

SPLASH 2017 Activities