No photo of Gagandeep Singh

View Scopus Profile

Gagandeep Singh

Filter
Conference contribution

Search results

  • 2025

    Cross-Input Certified Training for Universal Perturbations

    Xu, C. & Singh, G., 2025, Computer Vision – ECCV 2024 - 18th European Conference, Proceedings. Leonardis, A., Ricci, E., Roth, S., Russakovsky, O., Sattler, T. & Varol, G. (eds.). Springer, p. 233-250 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 15123 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2023

    Building Trust and Safety in Artificial Intelligence with Abstract Interpretation

    Singh, G., 2023, Static Analysis - 30th International Symposium, SAS 2023, Proceedings. Hermenegildo, M. V. & Morales, J. F. (eds.). Springer, p. 28-38 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14284 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Exploring Practical Vulnerabilities of Machine Learning-based Wireless Systems

    Liu, Z., Xu, C., Sie, E., Singh, G. & Vasisht, D., 2023, Proceedings of the 20th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2023. USENIX Association, p. 1801-1817 17 p. (Proceedings of the 20th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2023).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2022

    Shared Certificates for Neural Network Verification

    Fischer, M., Sprecher, C., Dimitrov, D. I., Singh, G. & Vechev, M., 2022, Computer Aided Verification - 34th International Conference, CAV 2022, Proceedings. Shoham, S. & Vizel, Y. (eds.). Springer, p. 127-148 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13371 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
  • 2021

    Robustness Certification for Point Cloud Models

    Lorenz, T., Ruoss, A., Balunović, M., Singh, G. & Vechev, M., 2021, Proceedings - 2021 IEEE/CVF International Conference on Computer Vision, ICCV 2021. Institute of Electrical and Electronics Engineers Inc., p. 7588-7598 11 p. (Proceedings of the IEEE International Conference on Computer Vision).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access

  • Scalable Polyhedral Verification of Recurrent Neural Networks

    Ryou, W., Chen, J., Balunovic, M., Singh, G., Dan, A. & Vechev, M., Jul 15 2021, Computer Aided Verification - 33rd International Conference, CAV 2021, Proceedings: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I. Silva, A. & Leino, K. R. (eds.). Springer, p. 225-248 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12759 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access

  • Scaling Polyhedral Neural Network Verification on GPUs

    Müller, C., Serre, F., Singh, G., Püschel, M. & Vechev, M., 2021, Proceedings of 4th MLSys Conference. Smola, A., Dimakis, A. & Stoica, I. (eds.). Vol. 3. p. 733-746 14 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2020

    Adversarial attacks on probabilistic autoregressive forecasting models

    Dang-Nhu, R., Singh, G., Bielik, P. & Vechev, M., 2020, 37th International Conference on Machine Learning, ICML 2020. Daume, H. & Singh, A. (eds.). International Machine Learning Society (IMLS), p. 2334-2343 10 p. (37th International Conference on Machine Learning, ICML 2020; vol. PartF168147-3).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Learning fast and precise numerical analysis

    He, J., Singh, G., Püschel, M. & Vechev, M., Jun 11 2020, PLDI 2020 - Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation. Donaldson, A. F. & Torlak, E. (eds.). Association for Computing Machinery, p. 1112-1127 16 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2019

    Robustness Certification with Refinement

    Singh, G., Gehr, T., Püschel, M. & Vechev, M., 2019, International Conference on Learning Representations.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2018

    Fast numerical program analysis with reinforcement learning

    Singh, G., Püschel, M. & Vechev, M., 2018, Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings. Weissenbacher, G. & Chockler, H. (eds.). Springer, p. 211-229 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10981 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
  • 2017

    Fast polyhedra abstract domain

    Singh, G., Püschel, M. & Vechev, M., Jan 1 2017, POPL 2017 - Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages. Gordon, A. D. & Castagna, G. (eds.). Association for Computing Machinery, p. 46-59 14 p. (Conference Record of the Annual ACM Symposium on Principles of Programming Languages).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2015

    Making numerical program analysis fast

    Singh, G., Püschel, M. & Vechev, M., Jun 2015, PLDI 2015 - Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation. Blackburn, S. & Grove, D. (eds.). Association for Computing Machinery, p. 303-313 11 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI); vol. 2015-June).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution