Gabriel Poesia
where else to find them
what they talk about
where they keep going back
- OOPSLA2 editions2020–2025
on a stage with
all 8 in the filters
who talks about the same things
- Qiaochu Chen4 talks
- Işıl Dillig21 talks
- Armando Solar-Lezama18 talks
- Nadia Polikarpova24 talks
- Yingfei Xiong9 talks
- Tomas Diaz6 talks
| title | conference | date |
|---|---|---|
| Automated Discovery of Tactic Libraries for Interactive Theorem Proving | OOPSLA 2025 | 2025-10-16 |
A tool called TacMineR builds Tactic Dependence Graphs (TDGs) that encode formal input/output dependencies between tactic applications, finds isomorphic… | ||
| dafny-annotator: AI-Assisted Verification of Dafny Programs | Dafny 2025 | 2025-01-19 |
Built a tool called dafny-annotator that uses LLMs plus greedy search (five iterations, five candidates) to insert invariants, decreases, and assertions into… | ||
| Dynamic Dispatch of Context-Sensitive Optimizations | OOPSLA 2020 | 2020-11-15 |
Implements a runtime DFA-based context tracking that avoids cloning whole call chains, implemented as an LLVM link-time pass and published with code on Github… | ||
| nothing matches | ||