Timon Gehr

According to our database1, Timon Gehr authored at least 21 papers between 2015 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2021
Robustness certification with generative models.
Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

2020
Scalable Inference of Symbolic Adversarial Examples.
CoRR, 2020

Robustness Certification of Generative Models.
CoRR, 2020

Probabilistic Verification of Network Configurations.
Proceedings of the SIGCOMM '20: Proceedings of the 2020 Annual conference of the ACM Special Interest Group on Data Communication on the applications, 2020

λPSI: exact inference for higher-order probabilistic programs.
Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

Silq: a high-level quantum language with safe uncomputation and intuitive semantics.
Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

2019
An abstract domain for certifying neural networks.
Proc. ACM Program. Lang., 2019

Certifying Geometric Robustness of Neural Networks.
Proceedings of the Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, 2019

DL2: Training and Querying Neural Networks with Logic.
Proceedings of the 36th International Conference on Machine Learning, 2019

Boosting Robustness Certification of Neural Networks.
Proceedings of the 7th International Conference on Learning Representations, 2019

2018
AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation.
Proceedings of the 2018 IEEE Symposium on Security and Privacy, 2018

Bayonet: probabilistic inference for networks.
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

Incremental inference for probabilistic programs.
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

Fast and Effective Robustness Certification.
Proceedings of the Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, 2018

Differentiable Abstract Interpretation for Provably Robust Neural Networks.
Proceedings of the 35th International Conference on Machine Learning, 2018

Training Neural Machines with Trace-Based Supervision.
Proceedings of the 35th International Conference on Machine Learning, 2018

Fine-Grained Semantics for Probabilistic Programs.
Proceedings of the Programming Languages and Systems, 2018

DP-Finder: Finding Differential Privacy Violations by Sampling and Optimization.
Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018

2017
Synthesis of Probabilistic Privacy Enforcement.
Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, 2017

2016
PSI: Exact Symbolic Inference for Probabilistic Programs.
Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2015
Learning Commutativity Specifications.
Proceedings of the Computer Aided Verification - 27th International Conference, 2015


  Loading...