Programming language: Silq
Publications
2023
Abstraqt: Analysis of Quantum Circuits via Abstract Stabilizer Simulation
Benjamin Bichsel, Maximilian Baader, Anouk Paradis, Martin Vechev
arXiv
2023
2022
Reqomp: Space-constrained Uncomputation for Quantum Circuits
Anouk Paradis, Benjamin Bichsel, Martin Vechev
arXiv
2022
2021
Unqomp: Synthesizing Uncomputation in Quantum Circuits
Anouk Paradis, Benjamin Bichsel, Samuel Steffen, Martin Vechev
PLDI
2021
2020
Silq: A High-Level Quantum Language with Safe Uncomputation and Intuitive Semantics
Benjamin Bichsel, Maximilian Baader, Timon Gehr, Martin Vechev
PLDI
2020