Sitemap
A list of all the posts and pages found on the site. For you robots out there is an XML version available for digesting as well.
Pages
Page not found. Your pixels are in another canvas.
This is a page not in th emain menu
Posts
publications
Making Numerical Program Analysis Fast
Gagandeep Singh, Markus Püschel, Martin Vechev, PLDI 2015.
Fast Polyhedra Abstract Domain
Gagandeep Singh, Markus Püschel, Martin Vechev, POPL 2017.
A Practical Construction for Decomposing Numerical Abstract Domains
Gagandeep Singh, Markus Püschel, Martin Vechev, POPL 2018.
Fast Numerical Program Analysis with Reinforcement Learning
Gagandeep Singh, Markus Püschel, Martin Vechev, CAV 2018.
Fast and Effective Robustness Certification
Gagandeep Singh, Timon Gehr, Matthew Mirman, Markus Püschel, Martin Vechev, NeurIPS 2018.
An Abstract Domain for Certifying Neural Networks
Gagandeep Singh, Timon Gehr, Markus Püschel, Martin Vechev, POPL 2019.
Boosting Robustness Certification of Neural Networks
Gagandeep Singh, Timon Gehr, Markus Püschel, Martin Vechev, ICLR 2019.
Certifying Geometric Robustness of Neural Networks
Mislav Balunovic, Maximilian Baader, Gagandeep Singh, Timon Gehr, Martin Vechev, NeurIPS 2019.
Beyond the Single Neuron Convex Barrier for Neural Network Certification
Gagandeep Singh, Rupanshu Ganvir, Markus Püschel, Martin Vechev, NeurIPS 2019.
Learning Fast and Precise Numerical Analysis
Jingxuan He, Gagandeep Singh, Markus Püschel, Martin Vechev, PLDI 2020.
Adversarial Attacks on Probabilistic Autoregressive Forecasting Models
Raphaël Dang-Nhu, Gagandeep Singh, Pavol Bielik, Martin Vechev, ICML 2020.
Scaling Polyhedral Neural Network Verification on GPUs
Christoph Müller, Francois Serre, Gagandeep Singh, Markus Püschel, Martin Vechev, MLSys 2021.
Scalable Polyhedral Verification of Recurrent Neural Networks
Wonryong Ryou, Jiayu Chen, Mislav Balunovic, Gagandeep Singh, Andrei Dan, Martin Vechev, CAV 2021.
Robustness Certification for Point Cloud Models
Tobias Lorenz, Anian Ruoss, Mislav Balunović, Gagandeep Singh, Martin Vechev, ICCV 2021.
FIRE: Enabling Reciprocity for FDD MIMO Systems
Zikun Liu, Gagandeep Singh, Chenren Xu, Deepak Vasisht, MobiCom 2021.
A Dual Number Abstraction for Static Analysis of Clarke Jacobians
Jacob Laurel, Rem Yang, Gagandeep Singh, Sasa Misailovic, POPL 2022.
PRIMA: General and Precise Neural Network Certification via Scalable Convex Hull Approximations
Mark Niklas Müller, Gleb Makarchuk, Gagandeep Singh, Markus Püschel, Martin Vechev, POPL 2022.
Provably Robust Adversarial Examples
Dimitar I. Dimitrov, Gagandeep Singh, Timon Gehr, Martin Vechev, ICLR 2022.
Shared Certificates for Neural Network Verification
Marc Fischer, Christian Sprecher, Dimitar I. Dimitrov, Gagandeep Singh, Martin Vechev, CAV 2022.
Proof Transfer for Fast Certification of Multiple Approximate Neural Networks
Shubham Ugare, Gagandeep Singh, Sasa Misailovic, OOPSLA 2022.
talks
teaching
Program Analysis and Synthesis
Head TA:
Graduate course, 2015, 2016
Algorithms and Data Structures
Head TA:
Undergraduate course, 2017
Program Analysis for System Security and Reliability
Head TA:
Graduate course, 2018
Software Engineering Seminar
Head TA:
Undergraduate seminar, 2018
How to Write Fast Numerical Code
Head TA:
Graduate course, 2015, 2016, 2017, 2019
Research Topics in Software Engineering
Head TA:
Graduate seminar, 2016, 2017, 2019
Blockchain Security Seminar
Head TA:
Graduate seminar, 2018, 2019
Reliable and Interpretable Artificial Intelligence
Head TA:
Graduate Course, 2018, 2019
Advanced Systems Lab
Head TA:
Graduate course, 2020
Logic and Artificial Intelligence
Advanced Graduate course, 2021
Overview