Programming language: Silq

Silq
A new high-level programming language for quantum computing with a strong static type system.

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