Scott Wesley

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 7

Top Topics

Recursive Programs

Communication Overhead

Quantum Computation

Top Venues

Publications

Scott Wesley
LinguaQuanta: Towards a Quantum Transpiler Between OpenQASM and Quipper (Extended). CoRR (2024)
Scott Wesley
LinguaQuanta: Towards a Quantum Transpiler Between OpenQASM and Quipper. RC (2024)
Scott Wesley, Maria Christakis, Jorge A. Navas, Richard J. Trefler, Valentin Wüstholz, Arie Gurfinkel
Inductive Predicate Synthesis Modulo Programs (Extended). CoRR (2024)
Scott Wesley, Maria Christakis, Jorge A. Navas, Richard J. Trefler, Valentin Wüstholz, Arie Gurfinkel
Verifying Solidity Smart Contracts via Communication Abstraction in SmartACE. VMCAI (2022)
Scott Wesley, Maria Christakis, Jorge A. Navas, Richard J. Trefler, Valentin Wüstholz, Arie Gurfinkel
Compositional Verification of Smart Contracts Through Communication Abstraction. SAS (2021)
Scott Wesley, Maria Christakis, Jorge A. Navas, Richard J. Trefler, Valentin Wüstholz, Arie Gurfinkel
Compositional Verification of Smart Contracts Through Communication Abstraction (Extended). CoRR (2021)
Andrée Woodcock, Deana McDonagh, Jane Osmond, Scott Wesley
Empathy, Design and Human Factors. AHFE (23) (2017)