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

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

2022

EGRAPHS

  • Committee Member in Program Committee within the EGRAPHS 2022-track

VMCAI

  • 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

2017

VMCAI

  • Author of Reasoning in the Bernays-Schönfinkel-Ramsey Fragment of Separation Logic within the VMCAI-track

2016

POPL

  • Committee Member in Artifact Evaluation committee within the Artifact Evaluation-track
Share
xThu 8 May 18:49
using conf.researchr.org (v1.69.0)
Support page
Sign Up