On the Qubit Routing Problem. - Alexander Cowtan; Silas Dilkes; Ross Duncan; Alexandre Krajenbrink; Will Simmons; Seyon Sivarajah (TQC, 2019)

Phase Gadget Synthesis for Shallow Circuits. - Alexander Cowtan; Silas Dilkes; Ross Duncan; Will Simmons; Seyon Sivarajah (QPL, 2019)

A Generic Compilation Strategy for the Unitary Coupled Cluster Ansatz. - Alexander Cowtan; Will Simmons; Ross Duncan (CoRR, 2020)

Relating Measurement Patterns to Circuits via Pauli Flow. - Will Simmons (QPL, 2021)

Higher-Order Causal Theories Are Models of BV-Logic. - Will Simmons; Aleks Kissinger (MFCS, 2022)

A complete logic for causal consistency. - Will Simmons; Aleks Kissinger (CoRR, 2024)