Benjamin Delaware - POPL 2018

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

Contributions

CoqPL 2018	Towards Context-Aware Data Refinement Session Chair of Tactics and Proof Engineering (part of ) Committee Member in Program Committee within the -track
POPL 2018	SRC Awards Student Research Competition Chair in Selection Committee within the Student Research Competition-track Student Research Competition Chair in Organizing Committee
Show activities from other conferences