Posts by Collection

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.

talks

Making Numerical Program Analysis Fast Permalink

Fast Polyhedra Abstract Domain Permalink

A Practical Construction for Decomposing Numerical Abstract Domains Permalink

Fast Numerical Program Analysis with Reinforcement Learning

An Abstract Domain for Certifying Neural Networks Permalink

Safe and Robust Deep Learning

Safe and Robust Deep Learning Permalink

Certified Artificial Intelligence

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

Gagandeep Singh

Posts by Collection

publications

Making Numerical Program Analysis Fast

Fast Polyhedra Abstract Domain

A Practical Construction for Decomposing Numerical Abstract Domains

Fast Numerical Program Analysis with Reinforcement Learning

Fast and Effective Robustness Certification

An Abstract Domain for Certifying Neural Networks

Boosting Robustness Certification of Neural Networks

Certifying Geometric Robustness of Neural Networks

Beyond the Single Neuron Convex Barrier for Neural Network Certification

Learning Fast and Precise Numerical Analysis

Adversarial Attacks on Probabilistic Autoregressive Forecasting Models

Scaling Polyhedral Neural Network Verification on GPUs

Scalable Polyhedral Verification of Recurrent Neural Networks

Robustness Certification for Point Cloud Models

FIRE: Enabling Reciprocity for FDD MIMO Systems

A Dual Number Abstraction for Static Analysis of Clarke Jacobians

PRIMA: General and Precise Neural Network Certification via Scalable Convex Hull Approximations

talks

teaching

Program Analysis and Synthesis Head TA:

Algorithms and Data Structures Head TA:

Program Analysis for System Security and Reliability Head TA:

Software Engineering Seminar Head TA:

How to Write Fast Numerical Code Head TA:

Research Topics in Software Engineering Head TA:

Blockchain Security Seminar Head TA:

Reliable and Interpretable Artificial Intelligence Head TA:

Advanced Systems Lab Head TA:

Logic and Artificial Intelligence

Overview

Program Analysis and Synthesis
Head TA:

Algorithms and Data Structures
Head TA:

Program Analysis for System Security and Reliability
Head TA:

Software Engineering Seminar
Head TA:

How to Write Fast Numerical Code
Head TA:

Research Topics in Software Engineering
Head TA:

Blockchain Security Seminar
Head TA:

Reliable and Interpretable Artificial Intelligence
Head TA:

Advanced Systems Lab
Head TA: