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 2021	Committee Member in Program Committee within the PLDI-track Author of Robustness Certification with Generative Models within the PLDI-track
SPLASH 2020	Committee Member in Reviewers/Judges within the Student Research Competition-track
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