Robert Dickerson

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 5

Top Topics

Subgraph Isomorphism

Relational Data

Distributed Network

Abductive Inference

Top Venues

Proc. ACM Program. Lang.

Publications

Robert Dickerson, Prasita Mukherjee, Benjamin Delaware
KestRel: Relational Verification Using E-Graphs for Program Alignment. CoRR (2024)
Robert Dickerson, Qianchuan Ye, Michael K. Zhang, Benjamin Delaware
RHLE: Modular Deductive Verification of Relational ∀ ∃ Properties. APLAS (2022)
Zhe Zhou, Robert Dickerson, Benjamin Delaware, Suresh Jagannathan
Data-Driven Abductive Inference of Library Specifications. CoRR (2021)
Zhe Zhou, Robert Dickerson, Benjamin Delaware, Suresh Jagannathan
Data-driven abductive inference of library specifications. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Robert Dickerson, Qianchuan Ye, Benjamin Delaware
RHLE: Automatic Verification of ∀∃-Hyperproperties. CoRR (2020)