About me
I have been a member of the Secure, Reliable, and Intelligent Systems Lab until may 2024.
Awards
- John C. Reynolds Doctoral Dissertation Award 2024: Award for the best thesis in programming languages worldwide, on the topic of «High-Level Quantum Programming»
- ETH Medal 2023: Awarded for outstanding doctoral thesis «High-Level Quantum Programming»
- Willi Studer Prize 2018: best Master's degree in computer science
Publications
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
2022
Zapper: Smart Contracts with Data and Identity Privacy
Samuel Steffen, Benjamin Bichsel, Martin Vechev
ACM CCS
2022
Distinguished Paper Award
Distinguished Paper Award
ZeeStar: Private Smart Contracts by Homomorphic Encryption and Zero-knowledge Proofs
Samuel Steffen, Benjamin Bichsel, Roger Baumgartner, Martin Vechev
IEEE S&P
2022
Fast and Optimal Sequence-to-Graph Alignment Guided by Seeds
Pesho Ivanov, Benjamin Bichsel, Martin Vechev
RECOMB
2022
2021
Unqomp: Synthesizing Uncomputation in Quantum Circuits
Anouk Paradis, Benjamin Bichsel, Samuel Steffen, Martin Vechev
PLDI
2021
DP-Sniper: Black-Box Discovery of Differential Privacy Violations using Classifiers
Benjamin Bichsel, Samuel Steffen, Ilija Bogunovic, Martin Vechev
IEEE S&P
2021
2020
zkay v0.2: Practical Data Privacy for Smart Contracts
Nick Baumann, Samuel Steffen, Benjamin Bichsel, Petar Tsankov, Martin Vechev
arXiv
2020
Silq: A High-Level Quantum Language with Safe Uncomputation and Intuitive Semantics
Benjamin Bichsel, Maximilian Baader, Timon Gehr, Martin Vechev
PLDI
2020
AStarix: Fast and Optimal Sequence-to-Graph Alignment
Pesho Ivanov, Benjamin Bichsel, Harun Mustafa, André Kahles, Gunnar Rätsch, Martin Vechev
RECOMB
2020
2019
zkay: Specifying and Enforcing Data Privacy in Smart Contracts
Samuel Steffen, Benjamin Bichsel, Mario Gersbach, Noa Melchior, Petar Tsankov, Martin Vechev
ACM CCS
2019
Scalable Taint Specification Inference with Big Code
Victor Chibotaru, Benjamin Bichsel, Veselin Raychev, Martin Vechev
PLDI
2019
2018
DP-Finder: Finding Differential Privacy Violations by Sampling and Optimization
Benjamin Bichsel, Timon Gehr, Dana Drachsler-Cohen, Petar Tsankov, Martin Vechev
ACM CCS
2018
Incremental Inference for Probabilistic Programs
Marco Cusumano-Towner, Benjamin Bichsel, Timon Gehr, Martin Vechev, Vikash K. Mansinghka
PLDI
2018
Fine-grained Semantics for Probabilistic Programs
Benjamin Bichsel, Timon Gehr, Martin Vechev
ESOP
2018
2016
Statistical Deobfuscation of Android Applications
Benjamin Bichsel, Veselin Raychev, Peter Tsankov, Martin Vechev
ACM CCS
2016