Jiangyi Liu
where else to find them
what they talk about
where they keep going back
- OOPSLA2 editions2023–2024
on a stage with
- Anvay Groveronce
- Charlie Murphyonce
- Fei Heonce
all 7 in the filters
who talks about the same things
- Charlie Murphy2 talks
- Keith J.C. Johnson3 talks
- Anvay Grover2 talks
- Loris D'Antoni17 talks
- Zongyuan Liu3 talks
- Junrui Liu2 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… | ||
| Automated Ambiguity Detection in Layout-Sensitive Grammars | OOPSLA 2023 | 2023-10-23 |
Extends bounded-ambiguity SAT methods to layout-sensitive grammars by replacing SAT with SMT+Z3 and adding a reachability condition to fix a discovered… | ||
| nothing matches | ||