Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Andrew Cross
conf.researchr.org general profile
PLDI 2021 profile
PLDI 2022 profile
POPL 2020 profile
Not registered as user
Name:
Andrew Cross
Affiliation:
IBM Research
Personal website:
https://researcher.watson.ibm.com/researcher/view.php?person=us-awcross
Contributions
2022
PLDI
Author of Giallar: Push-button Verification for the Qiskit Quantum Compiler within the PLDI-track
2021
PLanQC
Author of Open Quantum Assembly Language within the PLanQC 2021-track
2020
PLanQC
Committee Member in Program Committee within the PLanQC-track
Share
x
Sun 22 Dec 13:45