https://ggndpsngh.github.io/publications/2015-06-01-octagon/ 2015-06-01T00:00:00-07:00 https://ggndpsngh.github.io/publications/2017-01-01-polyhedra/ 2017-01-01T00:00:00-08:00 https://ggndpsngh.github.io/publications/2018-01-01-fastdomains/ 2018-01-01T00:00:00-08:00 https://ggndpsngh.github.io/publications/2018-07-01-rlai/ 2018-07-01T00:00:00-07:00 https://ggndpsngh.github.io/publications/2018-12-01-deepz/ 2018-12-01T00:00:00-08:00 https://ggndpsngh.github.io/publications/2019-01-01-deeppoly/ 2019-01-01T00:00:00-08:00 https://ggndpsngh.github.io/publications/2019-05-01-refinezono/ 2019-05-01T00:00:00-07:00 https://ggndpsngh.github.io/publications/2019-12-01-deepg/ 2019-12-01T00:00:00-08:00 https://ggndpsngh.github.io/publications/2019-12-01-nips-krelu/ 2019-12-01T00:00:00-08:00 https://ggndpsngh.github.io/publications/2020-06-01-lait/ 2020-06-01T00:00:00-07:00 https://ggndpsngh.github.io/publication/icml-2020 2020-07-01T00:00:00-07:00 https://ggndpsngh.github.io/publication/mlsys-2021 2021-04-04T00:00:00-07:00 https://ggndpsngh.github.io/publication/cav-2021 2021-07-07T00:00:00-07:00 https://ggndpsngh.github.io/publication/iccv-2021 2021-10-11T00:00:00-07:00 https://ggndpsngh.github.io/publication/mobicom-2021 2021-12-12T00:00:00-08:00 https://ggndpsngh.github.io/publication/popl-2022 2022-01-01T00:00:00-08:00 https://ggndpsngh.github.io/publication/popl-2022 2022-01-01T00:00:00-08:00 https://ggndpsngh.github.io/publication/iclr-2022 2022-04-01T00:00:00-07:00 https://ggndpsngh.github.io/publication/cav-2022 2022-08-08T00:00:00-07:00 https://ggndpsngh.github.io/publication/oopsla-higher-2022 2022-12-01T00:00:00-08:00 https://ggndpsngh.github.io/publication/oopsla-2022 2022-12-01T00:00:00-08:00 https://ggndpsngh.github.io/publication/vegas-2022 2022-12-01T00:00:00-08:00 https://ggndpsngh.github.io/publication/nsdi-2022 2023-04-18T00:00:00-07:00 https://ggndpsngh.github.io/publication/cgt-2022 2023-05-01T00:00:00-07:00 https://ggndpsngh.github.io/publication/pldi-2023 2023-06-06T00:00:00-07:00 https://ggndpsngh.github.io/publication/passado-2023 2023-06-28T00:00:00-07:00 https://ggndpsngh.github.io/publication/reward-2023 2023-07-13T00:00:00-07:00 https://ggndpsngh.github.io/publication/sas-2023 2023-10-10T00:00:00-07:00 https://ggndpsngh.github.io/publication/irs-2023 2024-05-11T00:00:00-07:00 https://ggndpsngh.github.io/publication/supfex-2023 2024-05-11T00:00:00-07:00 https://ggndpsngh.github.io/publication/fedcompass-2024 2024-05-11T00:00:00-07:00 https://ggndpsngh.github.io/publication/mlsys-2024 2024-05-13T00:00:00-07:00 https://ggndpsngh.github.io/publication/pldi-2024 2024-06-06T00:00:00-07:00 https://ggndpsngh.github.io/publication/icml-2024 2024-07-07T00:00:00-07:00 https://ggndpsngh.github.io/publication/icml-2024 2024-07-07T00:00:00-07:00 https://ggndpsngh.github.io/publication/eccv-2024 2024-09-09T00:00:00-07:00 https://ggndpsngh.github.io/publication/sas-2024 2024-10-10T00:00:00-07:00 https://ggndpsngh.github.io/publication/neurips-2024 2024-12-12T00:00:00-08:00 https://ggndpsngh.github.io/publication/neurips-2024 2024-12-12T00:00:00-08:00 https://ggndpsngh.github.io/publication/neurips-2024 2024-12-12T00:00:00-08:00 https://ggndpsngh.github.io/publication/iclr-2025 2025-05-05T00:00:00-07:00 https://ggndpsngh.github.io/publication/iclr-2025 2025-05-05T00:00:00-07:00 https://ggndpsngh.github.io/publication/iclr-2025 2025-05-05T00:00:00-07:00 https://ggndpsngh.github.io/publication/ethics-2025 2025-06-06T00:00:00-07:00 https://ggndpsngh.github.io/publication/tmlr-2025 2025-06-06T00:00:00-07:00 https://ggndpsngh.github.io/publication/fnt-2025 2025-06-30T00:00:00-07:00 https://ggndpsngh.github.io/publication/icml-2025 2025-07-07T00:00:00-07:00 https://ggndpsngh.github.io/publication/colm-2025 2025-10-10T00:00:00-07:00 https://ggndpsngh.github.io/publication/tmlr-2025 2025-10-10T00:00:00-07:00 https://ggndpsngh.github.io/publication/oopsla-2025 2025-10-10T00:00:00-07:00 https://ggndpsngh.github.io/publication/tmlr-2025 2025-10-10T00:00:00-07:00 https://ggndpsngh.github.io/publication/neurips-2025 2025-12-12T00:00:00-08:00 https://ggndpsngh.github.io/publication/neurips-2025 2025-12-12T00:00:00-08:00 https://ggndpsngh.github.io/publication/tmlr-2026 2026-03-03T00:00:00-08:00 https://ggndpsngh.github.io/publication/iclr-2026 2026-04-04T00:00:00-07:00 https://ggndpsngh.github.io/publication/esop-2026 2026-04-04T00:00:00-07:00 https://ggndpsngh.github.io/publication/aistats-2026 2026-05-05T00:00:00-07:00 https://ggndpsngh.github.io/publication/aistats-2026 2026-05-05T00:00:00-07:00 https://ggndpsngh.github.io/publication/pldi-2026 2026-06-06T00:00:00-07:00 https://ggndpsngh.github.io/publication/pldi-2026 2026-06-06T00:00:00-07:00 https://ggndpsngh.github.io/talks/pldi-2015 2015-06-16T00:00:00-07:00 https://ggndpsngh.github.io/talks/popl-2017 2017-01-18T00:00:00-08:00 https://ggndpsngh.github.io/talks/popl-2018 2018-01-12T00:00:00-08:00 https://ggndpsngh.github.io/talks/cav-2018 2018-07-14T00:00:00-07:00 https://ggndpsngh.github.io/talks/popl-2019 2019-01-16T00:00:00-08:00 https://ggndpsngh.github.io/talks/paris-talk-2019 2019-06-06T00:00:00-07:00 https://ggndpsngh.github.io/talks/waterloo-talk-2019 2019-08-29T00:00:00-07:00 https://ggndpsngh.github.io/talks/eth-talk-2019 2019-10-18T00:00:00-07:00 https://ggndpsngh.github.io/talks/vmware-2020 2020-05-20T00:00:00-07:00 https://ggndpsngh.github.io/talks/wasp-ai-2020 2020-08-21T00:00:00-07:00 https://ggndpsngh.github.io/teaching/2016-spring-teaching-1/ 2016-02-17T00:00:00-08:00 https://ggndpsngh.github.io/teaching/2017-fall-teaching/ 2017-09-17T00:00:00-07:00 https://ggndpsngh.github.io/teaching/2018-spring-teaching/ 2018-02-17T00:00:00-08:00 https://ggndpsngh.github.io/teaching/2018-fall-teaching-2/ 2018-09-01T00:00:00-07:00 https://ggndpsngh.github.io/teaching/2019-spring-teaching/ 2019-02-17T00:00:00-08:00 https://ggndpsngh.github.io/teaching/2019-fall-teaching-1/ 2019-09-01T00:00:00-07:00 https://ggndpsngh.github.io/teaching/2019-fall-teaching-2/ 2019-09-01T00:00:00-07:00 https://ggndpsngh.github.io/teaching/2019-fall-teaching/ 2019-09-01T00:00:00-07:00 https://ggndpsngh.github.io/teaching/2020-spring-teaching-1/ 2020-02-17T00:00:00-08:00 https://ggndpsngh.github.io/teaching/2021-fall-lai/ 2021-08-25T00:00:00-07:00 https://ggndpsngh.github.io/teaching/2022-fall-tais/ 2022-08-22T00:00:00-07:00 https://ggndpsngh.github.io/teaching/2023-spring-fmsd/ 2023-01-22T00:00:00-08:00 https://ggndpsngh.github.io/teaching/2023-fall-tais/ 2023-08-22T00:00:00-07:00 https://ggndpsngh.github.io/teaching/2023-fall-fmsd/ 2024-01-22T00:00:00-08:00 https://ggndpsngh.github.io/ https://ggndpsngh.github.io/archive-layout-with-content/ https://ggndpsngh.github.io/categories/ https://ggndpsngh.github.io/collection-archive/ https://ggndpsngh.github.io/cv/ https://ggndpsngh.github.io/non-menu-page/ https://ggndpsngh.github.io/page-archive/ https://ggndpsngh.github.io/publications/ https://ggndpsngh.github.io/service/ https://ggndpsngh.github.io/sitemap/ https://ggndpsngh.github.io/software/ https://ggndpsngh.github.io/students/ https://ggndpsngh.github.io/tags/ https://ggndpsngh.github.io/talkmap.html https://ggndpsngh.github.io/talks/ https://ggndpsngh.github.io/teaching/ https://ggndpsngh.github.io/terms/ https://ggndpsngh.github.io/markdown_generator/ https://ggndpsngh.github.io/_pages/card.html 2026-04-02T19:56:24-07:00 https://ggndpsngh.github.io/files/3DCertify.pdf 2026-04-02T19:56:24-07:00 https://ggndpsngh.github.io/files/AgentC.pdf 2026-04-02T19:56:24-07:00 https://ggndpsngh.github.io/files/BEAVER.pdf 2026-04-02T19:56:24-07:00 https://ggndpsngh.github.io/files/CAV18-RLPOLY_Paper.pdf 2026-04-02T19:56:24-07:00 https://ggndpsngh.github.io/files/CGT.pdf 2026-04-02T19:56:24-07:00 https://ggndpsngh.github.io/files/DMML.pdf 2026-04-02T19:56:24-07:00 https://ggndpsngh.github.io/files/DeepJ.pdf 2026-04-02T19:56:24-07:00 https://ggndpsngh.github.io/files/DeepPoly.pdf 2026-04-02T19:56:24-07:00 https://ggndpsngh.github.io/files/DeepZ.pdf 2026-04-02T19:56:24-07:00 https://ggndpsngh.github.io/files/FANC.pdf 2026-04-02T19:56:24-07:00 https://ggndpsngh.github.io/files/FIRE.pdf 2026-04-02T19:56:24-07:00 https://ggndpsngh.github.io/files/GPUPoly.pdf 2026-04-02T19:56:24-07:00 https://ggndpsngh.github.io/files/LLMCertB.pdf 2026-04-02T19:56:24-07:00 https://ggndpsngh.github.io/files/Maestro.pdf 2026-04-02T19:56:24-07:00 https://ggndpsngh.github.io/files/NAI.pdf 2026-04-02T19:56:24-07:00 https://ggndpsngh.github.io/files/PLDI15-OptOctagon.pdf 2026-04-02T19:56:24-07:00 https://ggndpsngh.github.io/files/POPL17-Polyhedra.pdf 2026-04-02T19:56:24-07:00 https://ggndpsngh.github.io/files/PRIMA.pdf 2026-04-02T19:56:24-07:00 https://ggndpsngh.github.io/files/RefineZono.pdf 2026-04-02T19:56:24-07:00 https://ggndpsngh.github.io/files/SAIV2024.pdf 2026-04-02T19:56:24-07:00 https://ggndpsngh.github.io/files/SuPFEx.pdf 2026-04-02T19:56:24-07:00 https://ggndpsngh.github.io/files/TSRML.pdf 2026-04-02T19:56:24-07:00 https://ggndpsngh.github.io/files/comet.pdf 2026-04-02T19:56:24-07:00 https://ggndpsngh.github.io/files/fedcompass.pdf 2026-04-02T19:56:24-07:00 https://ggndpsngh.github.io/files/fntmonograph.pdf 2026-04-02T19:56:24-07:00 https://ggndpsngh.github.io/files/irs.pdf 2026-04-02T19:56:24-07:00 https://ggndpsngh.github.io/files/itergen.pdf 2026-04-02T19:56:24-07:00 https://ggndpsngh.github.io/files/ivan.pdf 2026-04-02T19:56:24-07:00 https://ggndpsngh.github.io/files/jagged.pdf 2026-04-02T19:56:24-07:00 https://ggndpsngh.github.io/files/lafi.pdf 2026-04-02T19:56:24-07:00 https://ggndpsngh.github.io/files/neurips19-deepg.pdf 2026-04-02T19:56:24-07:00 https://ggndpsngh.github.io/files/neurips19_krelu.pdf 2026-04-02T19:56:24-07:00 https://ggndpsngh.github.io/files/oopsla-higher.pdf 2026-04-02T19:56:24-07:00 https://ggndpsngh.github.io/files/paper1.pdf 2026-04-02T19:56:24-07:00 https://ggndpsngh.github.io/files/paper2.pdf 2026-04-02T19:56:24-07:00 https://ggndpsngh.github.io/files/paper3.pdf 2026-04-02T19:56:24-07:00 https://ggndpsngh.github.io/files/pldi20-lait.pdf 2026-04-02T19:56:24-07:00 https://ggndpsngh.github.io/files/pldi24main-p2-p-a93c4626f3-75076-submitted.pdf 2026-04-02T19:56:24-07:00 https://ggndpsngh.github.io/files/popl2018.pdf 2026-04-02T19:56:24-07:00 https://ggndpsngh.github.io/files/profit.pdf 2026-04-02T19:56:24-07:00 https://ggndpsngh.github.io/files/provably_robust_adversarial_ex.pdf 2026-04-02T19:56:24-07:00 https://ggndpsngh.github.io/files/prover.pdf 2026-04-02T19:56:24-07:00 https://ggndpsngh.github.io/files/rabbit.pdf 2026-04-02T19:56:24-07:00 https://ggndpsngh.github.io/files/rafa.pdf 2026-04-02T19:56:24-07:00 https://ggndpsngh.github.io/files/raphaelicml.pdf 2026-04-02T19:56:24-07:00 https://ggndpsngh.github.io/files/raven.pdf 2026-04-02T19:56:24-07:00 https://ggndpsngh.github.io/files/reward.pdf 2026-04-02T19:56:24-07:00 https://ggndpsngh.github.io/files/ruap.pdf 2026-04-02T19:56:24-07:00 https://ggndpsngh.github.io/files/shared_certificates.pdf 2026-04-02T19:56:24-07:00 https://ggndpsngh.github.io/files/vegas.pdf 2026-04-02T19:56:24-07:00 https://ggndpsngh.github.io/slides/lai21/lai-zonotopes-notes.pdf 2026-04-02T19:56:24-07:00 https://ggndpsngh.github.io/talkmap/map.html 2026-04-02T19:56:24-07:00