Benjamin Bichsel

19 papers A* 10A 1B 2Journal 5

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	Reqomp: Space-constrained Uncomputation for Quantum Circuits. Quantum Anouk Paradis, Benjamin Bichsel, Martin T. Vechev
2024	J	`jnl`	Synthetiq: Fast and Versatile Quantum Circuit Synthesis. Proc. ACM Program. Lang. Anouk Paradis, Jasper Dekoninck, Benjamin Bichsel, Martin T. Vechev
2023	J	`jnl`	Abstraqt: Analysis of Quantum Circuits via Abstract Stabilizer Simulation. CoRR Benjamin Bichsel, Maximilian Baader, Anouk Paradis, Martin T. Vechev
2023	J	`jnl`	Abstraqt: Analysis of Quantum Circuits via Abstract Stabilizer Simulation. Quantum Benjamin Bichsel, Anouk Paradis, Maximilian Baader, Martin T. Vechev
2023	—	`—`	High-Level Quantum Programming. Benjamin Bichsel
2022	B	`conf`	Fast and Optimal Sequence-to-Graph Alignment Guided by Seeds. RECOMB Pesho Ivanov, Benjamin Bichsel, Martin T. Vechev
2022	A*	`conf`	Zapper: Smart Contracts with Data and Identity Privacy. CCS Samuel Steffen, Benjamin Bichsel, Martin T. Vechev
2022	A*	`conf`	ZeeStar: Private Smart Contracts by Homomorphic Encryption and Zero-knowledge Proofs. SP Samuel Steffen, Benjamin Bichsel, Roger Baumgartner, Martin T. Vechev
2021	A*	`conf`	DP-Sniper: Black-Box Discovery of Differential Privacy Violations using Classifiers. SP Benjamin Bichsel, Samuel Steffen, Ilija Bogunovic, Martin T. Vechev
2021	A*	`conf`	Unqomp: synthesizing uncomputation in Quantum circuits. PLDI Anouk Paradis, Benjamin Bichsel, Samuel Steffen, Martin T. Vechev
2020	B	`conf`	AStarix: Fast and Optimal Sequence-to-Graph Alignment. RECOMB Pesho Ivanov, Benjamin Bichsel, Harun Mustafa, André Kahles, Gunnar Rätsch, Martin T. Vechev
2020	A*	`conf`	Silq: a high-level quantum language with safe uncomputation and intuitive semantics. PLDI Benjamin Bichsel, Maximilian Baader, Timon Gehr, Martin T. Vechev
2020	J	`jnl`	zkay v0.2: Practical Data Privacy for Smart Contracts. CoRR Nick Baumann, Samuel Steffen, Benjamin Bichsel, Petar Tsankov, Martin T. Vechev
2019	A*	`conf`	Scalable taint specification inference with big code. PLDI Victor Chibotaru, Benjamin Bichsel, Veselin Raychev, Martin T. Vechev
2019	A*	`conf`	zkay: Specifying and Enforcing Data Privacy in Smart Contracts. CCS Samuel Steffen, Benjamin Bichsel, Mario Gersbach, Noa Melchior, Petar Tsankov, Martin T. Vechev
2018	A*	`conf`	DP-Finder: Finding Differential Privacy Violations by Sampling and Optimization. CCS Benjamin Bichsel, Timon Gehr, Dana Drachsler-Cohen, Petar Tsankov, Martin T. Vechev
2018	A	`conf`	Fine-Grained Semantics for Probabilistic Programs. ESOP Benjamin Bichsel, Timon Gehr, Martin T. Vechev
2018	A*	`conf`	Incremental inference for probabilistic programs. PLDI Marco F. Cusumano-Towner, Benjamin Bichsel, Timon Gehr, Martin T. Vechev, Vikash K. Mansinghka
2016	A*	`conf`	Statistical Deobfuscation of Android Applications. CCS Benjamin Bichsel, Veselin Raychev, Petar Tsankov, Martin T. Vechev