Shaan Nagy
where else to find them
no profile links on file
what they talk about
where they keep going back
- OOPSLA2 editions2024–2025
on a stage with
all 5 in the filters
who talks about the same things
- Jinwoo Kim8 talks
- Loris D'Antoni17 talks
- Thomas Reps20 talks
- Sharon Shoham13 talks
- Nadia Polikarpova24 talks
- Keith J.C. Johnson3 talks
| title | conference | date |
|---|---|---|
| ChopChop: A Programmable Framework for Semantically Constraining the Output of Language(…) | POPL 2026 | 2026-01-11 |
ChopChop constructs constrained decoders that decide whether a token prefix has a completion satisfying a semantic spec by building prefix spaces and solving a… | ||
| Semantics of Sets of Programs | OOPSLA 2025 | 2025-10-16 |
Claims that compositional verification of simple properties for infinite program sets with loops requires tracking behaviors across unbounded executions, and… | ||
| Automating Unrealizability Logic: Hoare-style Proof Synthesis for Infinite Sets of(…) | OOPSLA 2024 | 2024-10-20 |
Presents Wuldo, the first implementation of an Unrealizability Logic (UL) proof synthesizer that decouples a fixed proof skeleton from parametric nonterminal… | ||
| nothing matches | ||