Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Scott Wesley
conf.researchr.org general profile
ISSTA/ECOOP 2024 profile
POPL 2025 profile
POPL 2026 profile
Not registered as user
Name:
Scott Wesley
Affiliation:
Dalhousie University
Contributions
2026
PLanQC
Author of Towards a Hierarchical Quantum Circuit Language within the PLanQC 2026-track
Committee Member in Program Committee within the PLanQC 2026-track
2025
PLanQC
Author of Verifying the Equivalence of Parameterized Quantum Circuits within the PLanQC 2025-track
2024
ECOOP
Author of Inductive Predicate Synthesis Modulo Programs within the Technical Papers-track
Share
x
Sat 14 Mar 03:25