conf.researchr.org / Timon Gehr
Registered user since Tue 18 Apr 2017
Name:Timon Gehr
Country:Switzerland
Affiliation:ETH Zurich
Personal website: https://www.sri.inf.ethz.ch/people/timon
GitHub: https://github.com/tgehr
Contributions
2027
2025
2024
2021
2020
PLDI
- Author of Silq: A High-Level Quantum Language with Safe Uncomputation and Intuitive Semantics within the PLDI Research Papers-track
- Committee Member in External Review Committee within the PLDI Research Papers-track
- Author of λPSI: Exact Inference for Higher-Order Probabilistic Programs within the PLDI Research Papers-track