RHLE: Automatic Verification of ∀∃-Hyperproperties. - Robert Dickerson; Qianchuan Ye; Benjamin Delaware (CoRR, 2020)

Data-driven abductive inference of library specifications. - Zhe Zhou; Robert Dickerson; Benjamin Delaware; Suresh Jagannathan (Proc. ACM Program. Lang., 2021)

RHLE: Modular Deductive Verification of Relational ∀ ∃ Properties. - Robert Dickerson; Qianchuan Ye; Michael K. Zhang; Benjamin Delaware (APLAS, 2022)

KestRel: Relational Verification using E-Graphs for Program Alignment. - Robert Dickerson; Prasita Mukherjee; Benjamin Delaware (Proc. ACM Program. Lang., 2025)