Robert Dickerson | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Suresh Jagannathan
18 publications
Zhe Zhou
10 publications
Benjamin Delaware
9 publications
Qianchuan Ye
3 publications

research

∙ 08/10/2021

Data-Driven Abductive Inference of Library Specifications

Programmers often leverage data structure libraries that provide useful ...

0 Zhe Zhou, et al. ∙

research

∙ 02/07/2020

RHLE: Relational Reasoning for Existential Program Verification

Reasoning about nondeterministic programs requires a specification of ho...

0 Robert Dickerson, et al. ∙

research

∙ 02/07/2020

RHLE: Automatic Verification of ∀∃-Hyperproperties

Specifications of program behavior typically consider single executions ...

0 Robert Dickerson, et al. ∙