Robert Dickerson

Registered user since Thu 28 May 2020

Name:Robert Dickerson
Country:United States
Affiliation:Purdue University
Personal website:
Research interests:Programming Languages, Formal Methods, Program Synthesis


POPL 2023 Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
APLAS 2022 Author of RHLE: Modular Deductive Verification of Relational ∀∃ Properties within the APLAS-track
SPLASH 2021 Author of Data-Driven Abductive Inference of Library Specifications within the OOPSLA-track