Andrew Reynolds -

Registered user since Tue 4 Jan 2022

Name:Andrew Reynolds

Country:United States

Affiliation:University of Iowa

Personal website:https://homepage.cs.uiowa.edu/~ajreynol/

GitHub:https://github.com/ajreynol

Contributions

EGRAPHS 2022	Committee Member in Program Committee within the EGRAPHS 2022-track
VMCAI 2022	Author of Satisfiability and Synthesis Modulo Oracles within the VMCAI 2022-track Author of Bit-Precise Reasoning via Int-Blasting within the VMCAI 2022-track
VMCAI 2017	Author of Reasoning in the Bernays-Schönfinkel-Ramsey Fragment of Separation Logic within the VMCAI-track
POPL 2016	Committee Member in Artifact Evaluation committee within the Artifact Evaluation-track