conf.researchr.org / Timon Gehr
Registered user since Tue 18 Apr 2017
Name:Timon Gehr
Affiliation:ETH Zurich, Switzerland
Personal website: https://www.sri.inf.ethz.ch/people/timon
Contributions
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