Rui Dong
where else to find them
no profile links on file
what they talk about
where they keep going back
- PLDI Workshop Honoring Andreas Podelski2 editions2022–2026
on a stage with
- Xinyu Wang3×
- Danny Dingonce
- Ian Iong Lamonce
all 11 in the filters
who talks about the same things
- Ruyi Ji8 talks
- Xinyu Wang14 talks
- Yingfei Xiong9 talks
- Yihong Zhang4 talks
- Xiaokang Qiu6 talks
- Zheng Guo5 talks
| title | conference | date |
|---|---|---|
| Presynthesis: Towards Scaling Up Program Synthesis with Finer-Grained Abstract Semantics | PLDI 2026 | 2026-06-15 |
Proposes offline presynthesis that builds a semantics tree automaton and a reachability oracle so online synthesis reduces to fast graph reachability queries… | ||
| Efficient Bottom-Up Synthesis for Programs with Local Variables | POPL 2024 | 2024-01-14 |
Introduces lifted interpretation, an algorithm that evaluates all grammar programs simultaneously to enumerate binding contexts and collapse equivalent… | ||
| WebRobot: Web Robotic Process Automation using Interactive Programming-by-Demonstration | PLDI 2022 | 2022-06-13 |
WebRobot is an interactive programming-by-demonstration tool for web RPA that synthesizes automation programs by speculation-and-validation instead of heavy… | ||
| nothing matches | ||