Programming language: Silq

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

Publications

2024

Modular Synthesis of Efficient Quantum Uncomputation
Hristo Venev, Timon Gehr, Dimitar Dimitrov, Martin Vechev
ACM OOPSLA 2024
Synthetiq: Fast and Versatile Quantum Circuit Synthesis
Anouk Paradis*, Jasper Dekoninck*, Benjamin Bichsel, Martin Vechev
OOPSLA 2024 * Equal contribution
Reqomp: Space-constrained Uncomputation for Quantum Circuits
Anouk Paradis, Benjamin Bichsel, Martin Vechev
Quantum Journal 2024

2023

Abstraqt: Analysis of Quantum Circuits via Abstract Stabilizer Simulation
Benjamin Bichsel, Anouk Paradis, Maximilian Baader, Martin Vechev
Quantum Journal 2023

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