Xuanyu Peng
where else to find them
no profile links on file
what they talk about
where they keep going back
- OOPSLA2 editions2023–2025
on a stage with
all 8 in the filters
who talks about the same things
- Kanghee Park2 talks
- Loris D'Antoni17 talks
- Yingfei Xiong9 talks
- Ruyi Ji8 talks
- Yican Sun2 talks
- Xiaokang Qiu6 talks
| title | conference | date |
|---|---|---|
| Nice to Meet You: Synthesizing Practical MLIR Abstract Transformers | POPL 2026 | 2026-01-11 |
Automates generation of MLIR integer abstract transformers by synthesizing small SSA programs (cut-style MCMC search) and composing them with… | ||
| LOUD: Synthesizing Strongest and Weakest Specifications | OOPSLA 2025 | 2025-10-16 |
The paper presents LOUD, a logic and algorithm that synthesizes strongest L-consequences (over-approximations) and weakest L-implicants (under-approximations)… | ||
| Synthesizing Efficient Memoization Algorithms | OOPSLA 2023 | 2023-10-23 |
Automated synthesizer takes a MiniZinc-style declarative spec and produces a top-down memoization algorithm by extracting subproblems and synthesizing two… | ||
| nothing matches | ||