• Sign in
  • Sign up
conf.researchr.org / Timon Gehr
  • PLDI 2018 profile
  • PLDI 2020 profile
  • PLDI 2021 profile
  • PLDI 2024 profile
  • POPL 2019 profile
  • POPL 2025 profile
  • SPLASH 2020 profile
  • SPLASH 2021 profile
  • SPLASH 2024 profile
Timon Gehr

Registered user since Tue 18 Apr 2017

Name:Timon Gehr
Country:Switzerland
Affiliation:ETH Zurich
Personal website: https://www.sri.inf.ethz.ch/people/timon
GitHub: https://github.com/tgehr

Contributions

2025

POPL

  • Committee Member in Program Committee within the POPL-track

2024

SPLASH

  • Author of Modular Synthesis of Efficient Quantum Uncomputation within the OOPSLA 2024-track

PLDI

  • Committee Member in PLDI Review Committee within the PLDI Research Papers-track

2021

PLDI

  • Committee Member in Program Committee within the PLDI-track
  • Author of Robustness Certification with Generative Models within the PLDI-track

2020

SPLASH

  • Committee Member in Reviewers/Judges within the Student Research Competition-track

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

2019

POPL

  • Author of An Abstract Domain for Certifying Neural Networks within the Research Papers-track

2018

PLDI

  • 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 20 May 17:54
using conf.researchr.org (v1.69.0)
Support page
Sign Up