Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Timon Gehr
conf.researchr.org general profile
PLDI 2018 profile
PLDI 2020 profile
PLDI 2021 profile
POPL 2019 profile
SPLASH 2020 profile
SPLASH 2021 profile
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
Share
x
Tue 9 Aug 10:47