Benjamin Delaware - POPL 2018

Registered user since Wed 25 Nov 2015

Name:Benjamin Delaware

Affiliation:Purdue University

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