Debangshu Banerjee
where else to find them
no profile links on file
what they talk about
all 4 in the filters
where they keep going back
- PLDI Workshop Honoring Andreas Podelski3 editions2023–2026
on a stage with
all 7 in the filters
who talks about the same things
- Gagandeep Singh25 talks
- Avaljot Singh3 talks
- Samuel Gruetter5 talks
- Adithya Murali6 talks
- Charith Mendis10 talks
- Sasa Misailovic13 talks
| title | conference | date |
|---|---|---|
| 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… | ||
| DafnyPro: LLM-Assisted Automated Verification for Dafny Programs | Dafny 2026 | 2026-01-11 |
DafnyPro is an inference-time pipeline that uses LLMs (Claude Sonnet 3.5/3.7) to generate Dafny annotations while enforcing soundness with a diff-checker that… | ||
| 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… | ||
| 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… | ||
| nothing matches | ||