• Sign in
  • Sign up
conf.researchr.org / Scott Wesley
  • ISSTA/ECOOP 2024 profile
  • POPL 2025 profile
  • POPL 2026 profile

Not registered as user

Name:Scott Wesley
Affiliation:Dalhousie University

Contributions

2026

PLanQC

  • 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
xWed 1 Oct 18:52
using conf.researchr.org (v1.72.1)
Support page
Sign Up