Benjamin Delaware - PLDI 2023

Registered user since Wed 25 Nov 2015

Name:Benjamin Delaware

Country:United States

Affiliation:Purdue University

Research interests:Programming Languages and Verification

Contributions

PLDI 2023	Session Chair of PLDI: Types (part of PLDI Research Papers) Committee Member in PLDI Review Committee within the PLDI Research Papers-track Covering All the Bases: Type-based Verification of Test Input Generators Taype: a Policy-Agnostic Language for Oblivious Computation
EGRAPHS 2023	KestRel: Relational Verification using E-Graphs for Program Alignment
Show activities from other conferences

Using general profile