Scott Wesley

11 papers A 1B 3C 1Journal 4Unranked 2
YearRankTypeTitle / Venue / Authors
2025 B conf
Cutoff Theorems for the Equivalence of Parameterized Quantum Circuits.
MFCS
Neil J. Ross, Scott Wesley
2025 J jnl
Enriched Categories for Parameterized Circuit Semantics.
CoRR
Scott Wesley
2024 — conf
A Sound and Complete Equational Theory for 3-Qubit Toffoli-Hadamard Circuits.
QPL
Matthew Amy, Neil J. Ross, Scott Wesley
2024 J jnl
Inductive Predicate Synthesis Modulo Programs (Extended).
CoRR
Scott Wesley, Maria Christakis, Jorge A. Navas, Richard J. Trefler, Valentin Wüstholz, Arie Gurfinkel
2024 A conf
Inductive Predicate Synthesis Modulo Programs.
ECOOP
Scott Wesley, Maria Christakis, Jorge A. Navas, Richard J. Trefler, Valentin Wüstholz, Arie Gurfinkel
2024 J jnl
LinguaQuanta: Towards a Quantum Transpiler Between OpenQASM and Quipper (Extended).
CoRR
Scott Wesley
2024 C conf
LinguaQuanta: Towards a Quantum Transpiler Between OpenQASM and Quipper.
RC
Scott Wesley
2022 B conf
Verifying Solidity Smart Contracts via Communication Abstraction in SmartACE.
VMCAI
Scott Wesley, Maria Christakis, Jorge A. Navas, Richard J. Trefler, Valentin Wüstholz, Arie Gurfinkel
2021 J jnl
Compositional Verification of Smart Contracts Through Communication Abstraction (Extended).
CoRR
Scott Wesley, Maria Christakis, Jorge A. Navas, Richard J. Trefler, Valentin Wüstholz, Arie Gurfinkel
2021 B conf
Compositional Verification of Smart Contracts Through Communication Abstraction.
SAS
Scott Wesley, Maria Christakis, Jorge A. Navas, Richard J. Trefler, Valentin Wüstholz, Arie Gurfinkel
2017 — conf
Empathy, Design and Human Factors.
AHFE (23)
Andrée Woodcock, Deana McDonagh, Jane Osmond, Scott Wesley