Scott Wesley
where else to find them
no profile links on file
what they talk about
all 4 in the filters
where they keep going back
- PLanQC2 editions2025–2026
all 5 in the filters
on a stage with
all 8 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Towards a Hierarchical Quantum Circuit Language | PLanQC 2026 | 2026-01-12 |
Introduces a hierarchical circuit language that adds two concrete connectives: subcircuit exponentiation (matrix power via log/exp) and a novel control product… | ||
| Verifying the Equivalence of Parameterized Quantum Circuits | PLanQC 2025 | 2025-01-25 |
Claims that parameterized-circuit equivalence reduces to checking Laurent polynomial identities and gives concrete degree bounds computed from a circuit's… | ||
| Verifying Quantum Circuits in GAP | WQS 2024 | 2024-06-24 |
Implementation called Quantum GAP provides exact matrix arithmetic over cyclotomic and algebraic field extensions and verifies 30 decompositions from prior… | ||
| Compositional Verification of Smart Contracts Through Communication Abstraction | SPLASH 2022 | 2022-12-05 |
Claims that local bundles reduce contracts with 2^160 addresses to a sequential C model with a handful of representative users computed via static analysis… | ||
| Verifying Solidity Smart Contracts Via Communication Abstraction in SmartACE | VMCAI 2022 | 2022-01-16 |
SmartACE is an automated pipeline that translates Solidity + Scribble specs to an LLVM harness and applies parametrized verification via local bundle… | ||
| Compositional Verification of Smart Contracts Through Communication Abstraction | SAS 2021 | 2021-10-17 |
Claims a local bundle abstraction that reduces Solidity contracts with 2^160 addresses to a few representative users (example: 2^160 → 4) and turns… | ||
| nothing matches | ||