Timon Gehr
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
17
Venues
8
Active years
2015–2022
Best venue rank
A*
Where they publish
Papers
17 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | ICLR | Provably Robust Adversarial Examples. | Dimitar Iliev Dimitrov, Gagandeep Singh, Timon Gehr, Martin T. Vechev |
| 2021 | PLDI | Robustness certification with generative models. | Matthew Mirman, Alexander Hgele, Pavol Bielik, Timon Gehr, Martin T. Vechev |
| 2020 | PLDI | Silq: a high-level quantum language with safe uncomputation and intuitive semantics. | Benjamin Bichsel, Maximilian Baader, Timon Gehr, Martin T. Vechev |
| 2020 | PLDI | λPSI: exact inference for higher-order probabilistic programs. | Timon Gehr, Samuel Steffen, Martin T. Vechev |
| 2020 | SIGCOMM | Probabilistic Verification of Network Configurations. | Samuel Steffen, Timon Gehr, Petar Tsankov, Laurent Vanbever, Martin T. Vechev |
| 2019 | ICLR | Boosting Robustness Certification of Neural Networks. | Gagandeep Singh, Timon Gehr, Markus Pschel, Martin T. Vechev |
| 2019 | ICML | DL2: Training and Querying Neural Networks with Logic. | Marc Fischer, Mislav Balunovic, Dana Drachsler-Cohen, Timon Gehr, Ce Zhang, Martin T. Vechev |
| 2018 | CCS | DP-Finder: Finding Differential Privacy Violations by Sampling and Optimization. | Benjamin Bichsel, Timon Gehr, Dana Drachsler-Cohen, Petar Tsankov, Martin T. Vechev |
| 2018 | ESOP | Fine-Grained Semantics for Probabilistic Programs. | Benjamin Bichsel, Timon Gehr, Martin T. Vechev |
| 2018 | ICML | Training Neural Machines with Trace-Based Supervision. | Matthew Mirman, Dimitar Dimitrov, Pavle Djordjevic, Timon Gehr, Martin T. Vechev |
| 2018 | ICML | Differentiable Abstract Interpretation for Provably Robust Neural Networks. | Matthew Mirman, Timon Gehr, Martin T. Vechev |
| 2018 | PLDI | Incremental inference for probabilistic programs. | Marco F. Cusumano-Towner, Benjamin Bichsel, Timon Gehr, Martin T. Vechev, Vikash K. Mansinghka |
| 2018 | PLDI | Bayonet: probabilistic inference for networks. | Timon Gehr, Sasa Misailovic, Petar Tsankov, Laurent Vanbever, Pascal Wiesmann, Martin T. Vechev |
| 2018 | SP | AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation. | Timon Gehr, Matthew Mirman, Dana Drachsler-Cohen, Petar Tsankov, Swarat Chaudhuri, Martin T. Vechev |
| 2017 | CCS | Synthesis of Probabilistic Privacy Enforcement. | Martin Kucera, Petar Tsankov, Timon Gehr, Marco Guarnieri, Martin T. Vechev |
| 2016 | CAV | PSI: Exact Symbolic Inference for Probabilistic Programs. | Timon Gehr, Sasa Misailovic, Martin T. Vechev |
| 2015 | CAV | Learning Commutativity Specifications. | Timon Gehr, Dimitar Dimitrov, Martin T. Vechev |