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

PLDI 2020	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
POPL 2019	Author of An Abstract Domain for Certifying Neural Networks within the Research Papers-track
PLDI 2018	Author of Bayonet: Probabilistic Inference for Networks within the PLDI Research Papers-track Author of Incremental Inference for Probabilistic Programs within the PLDI Research Papers-track