Avaljot Singh
where else to find them
what they talk about
all 5 in the filters
where they keep going back
no series more than once — all 3 in the filters
on a stage with
all 9 in the filters
who talks about the same things
- Charith Mendis10 talks
- Gagandeep Singh25 talks
- Debangshu Banerjee4 talks
- Adithya Murali6 talks
- Mayur Naik6 talks
- Eric Mugnier4 talks
| title | conference | date |
|---|---|---|
| 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… | ||
| 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… | ||
| nothing matches | ||