• Sign in
  • Sign up
conf.researchr.org / Timon Gehr
  • 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
xTue 9 Aug 10:47
using conf.researchr.org (v1.56.1)
Support page
Sign Up