Scott Wesley
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2021–2025
Best venue rank
B
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | MFCS | Cutoff Theorems for the Equivalence of Parameterized Quantum Circuits. | Neil J. Ross, Scott Wesley |
| 2024 | ECOOP | Inductive Predicate Synthesis Modulo Programs. | Scott Wesley, Maria Christakis, Jorge A. Navas, Richard J. Trefler, Valentin Wstholz, Arie Gurfinkel |
| 2024 | RC | LinguaQuanta: Towards a Quantum Transpiler Between OpenQASM and Quipper. | Scott Wesley |
| 2022 | VMCAI | Verifying Solidity Smart Contracts via Communication Abstraction in SmartACE. | Scott Wesley, Maria Christakis, Jorge A. Navas, Richard J. Trefler, Valentin Wstholz, Arie Gurfinkel |
| 2021 | SAS | Compositional Verification of Smart Contracts Through Communication Abstraction. | Scott Wesley, Maria Christakis, Jorge A. Navas, Richard J. Trefler, Valentin Wstholz, Arie Gurfinkel |