Gagandeep Singh
where else to find them
linkedin:gagandeep
what they talk about
all 10 in the filters
where they keep going back
- PLDI Workshop Honoring Andreas Podelski3 editions2023–2026
- OOPSLA3 editions2022–2025
- rstudio::conf( )2 editions2019–2022
all 10 in the filters
on a stage with
all 30 in the filters
who talks about the same things
- Martin Vechev9 talks
- Jonathan Ragan-Kelley12 talks
- Debangshu Banerjee4 talks
- Ines Montani17 talks
- Xin Zhang21 talks
- Florian Wilhelm14 talks
| title | conference | date |
|---|---|---|
| Formal Methods for Frontier AI Systems | PAgE 2026 | 2026-06-15 |
Claims a concrete verifier that computes the probability mass of unsafe outputs for a single prompt (not just samples), implements a token-tree/ frontier… | ||
| Lumos: Let there be Language Model System Certification | PAgE 2026 | 2026-06-15 |
Lumos is a domain-specific language that encodes prompt distributions as text-rich graphs, samples random subgraphs via a subgraph sampling operator, templates… | ||
| SAIL: Sound Abstract Interpreters with LLMs | PLDI 2026 | 2026-06-15 |
Framework uses LLMs to synthesize globally sound abstract transformers by casting synthesis as a constrained optimization problem with a principled cost… | ||
| Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation | PLDI 2026 | 2026-06-15 |
Proposes a general, parametric transformer that outputs a space of sound outputs (constructed by UPOSE) and then searches it with a differentiable AGG gradient… | ||
| Automated Verification of Soundness of DNN Certifiers | OOPSLA 2025 | 2025-10-16 |
Automates soundness checks for abstract-interpretation DNN certifiers by encoding certifier specs in the ConstraintFlow DSL, translating networks to a symbolic… | ||
| Running DPDK on Non-Cache Coherent Platforms: Challenges and Solutions | DPDK Summit North America 2024 | 2024-09-24 |
Ports DPDK to NXP i.MX non-cache-coherent (NCC) platforms and shows DMA visibility breaks where 16-byte buffer descriptors (BDs) and packet buffers diverge… | ||
| Optimizing IP Camera Streaming with DPDK | DPDK Summit North America 2024 | 2024-09-24 |
Uses DPDK on an NXP i.MX8MP to map the ISP ISI frame buffer into userspace via a custom PMD and create a zero copy pipeline that packetizes camera lines into… | ||
| Input-Relational Verification of Deep Neural Networks | PLDI 2024 | 2024-06-24 |
A verifier that reasons about multiple executions builds a DiffPoly abstract domain to track concrete and symbolic difference bounds layer by layer, produces… | ||
| Abstract Interpretation for Automatic Differentiation | LAFI 2024 | 2024-01-14 |
Static analysis produces sound numeric bounds on derivatives computed by AD, using a synthesized abstract interpreter that encloses nonlinear patterns with a… | ||
| Synthesizing Precise Static Analyzers for Automatic Differentiation | OOPSLA 2023 | 2023-10-23 |
Pasado synthesizes precise static analyzers that directly abstract the Chain Rule, Product Rule and Quotient Rule in automatic differentiation, producing a… | ||
| Building Trust and Safety in Artificial Intelligence with Abstract Interpretation | SAS 2023 | 2023-10-22 |
Abstract interpretation is used to certify and train DNNs so they generalize to infinite unseen inputs, with specific domains like DeepPoly and zonotopes and a… | ||
| Incremental Verification of Neural Networks | PLDI 2023 | 2023-06-17 |
Complete, verifier-agnostic method IVAN reuses branch-and-bound work by saving a specification tree of partitioned subproblems and then avoids costly analyzer… | ||
| Exploring Practical Vulnerabilities of Machine Learning-based Wireless Systems | NSDI 2023 | 2023-04-17 |
RAFA (RAdio Frequency Attack) implements a robust wireless UAP that models channel distortion and sample misalignment to craft over-the-air perturbations. A… | ||
| Proof transfer for fast certification of multiple approximate neural networks | OOPSLA 2022 | 2022-12-05 |
FANC generates templates—connected symbolic shapes at an intermediate layer—and a cheap template transformer that adapts those templates to approximate… | ||
| Yes, you can use Python with RStudio Team! | rstudio::conf(2022) | 2022-07-25 |
Builds an end-to-end bike-availability pipeline for Capital Bikeshare that actually runs: live API ingest, stored pins from R ETL, random-forest model wrapped… | ||
| NFT - From Niche To Mass Market | AIBC Americas 2022 | 2022-06-06 |
Panel argues NFTs scale through concrete fixes: easier on-ramps (credit card / fiat purchases), interoperable standards and wallet integrations rather than a… | ||
| PRIMA: General and Precise Neural Network Certification via Scalable Convex Hull | POPL 2022 | 2022-01-16 |
PRIMA presents a verifier that computes scalable convex-hull abstractions for groups of neurons using a novel dual-space partial double description method and… | ||
| A Dual Number Abstraction for Static Analysis of Clarke Jacobians | POPL 2022 | 2022-01-16 |
Paper presents a dual-interval abstract domain that lifts dual-number forward-mode differentiation to interval arithmetic and proves the transformer semantics… | ||
| Yes, you can use Python with RStudio Team! | rstudio::conf 2019 | 2019-01-15 |
Claim: Python runs end to end on RStudio Team by building a bikeshare forecast that reads a daily pin, trains a random forest, wraps the model with vetiver… | ||
| nothing matches | ||