Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Benjamin Bichsel
conf.researchr.org general profile
PLDI 2018 profile
PLDI 2019 profile
PLDI 2020 profile
PLDI 2021 profile
SPLASH 2024 profile
Registered user since Sat 17 Nov 2018
Name:
Benjamin Bichsel
Affiliation:
ETH Zurich, Switzerland
Contributions
2024
SPLASH
Author of Synthetiq: Fast and Versatile Quantum Circuit Synthesis within the OOPSLA 2024-track
2021
PLDI
Author of Unqomp: Synthesizing Uncomputation in Quantum Circuits within the PLDI-track
2020
PLDI
Author of Silq: A High-Level Quantum Language with Safe Uncomputation and Intuitive Semantics within the PLDI Research Papers-track
2019
PLDI
Author of Scalable Taint Specification Inference with Big Code within the PLDI Research Papers-track
2018
PLDI
Author of Incremental Inference for Probabilistic Programs within the PLDI Research Papers-track
Share
x
Tue 12 Nov 20:42