Anvay Grover
where else to find them
what they talk about
where they keep going back
- OOPSLA2 editions2021–2024
on a stage with
- Charlie Murphyonce
- Jiangyi Liuonce
- Keith J.C. Johnsononce
all 6 in the filters
who talks about the same things
- Charlie Murphy2 talks
- Keith J.C. Johnson3 talks
- Jiangyi Liu2 talks
- Loris D'Antoni17 talks
- Jinwoo Kim8 talks
- Zoe Paraskevopoulou6 talks
| title | conference | date |
|---|---|---|
| Synthesizing Formal Semantics from Executable Interpreters | OOPSLA 2024 | 2024-10-20 |
Given a grammar and a closed-box interpreter the system Synantic synthesizes inductive, syntax-directed semantics as Constrained-Horn Clauses via a CEGIS loop… | ||
| Compiling with Continuations, Correctly | OOPSLA 2021 | 2021-10-17 |
Presents a novel simulation that combines syntactic simulations with a logical relation: it uses an untyped step-indexed logical relation parameterized by a… | ||
| nothing matches | ||