• Sign in
  • Sign up
conf.researchr.org / Andrew Reynolds
  • PLDI 2022 profile
  • POPL 2016 profile
  • POPL 2017 profile
  • POPL 2022 profile

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

Share
xWed 29 Mar 12:17
using conf.researchr.org (v1.60.0)
Support page
Sign Up