Yuyou Fan
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
- John Regehr2×
- Ben Greenmanonce
- Dominic Kennedyonce
all 8 in the filters
who talks about the same things
- John Regehr13 talks
- Xuanyu Peng3 talks
- Yuting Wang5 talks
- Yu Feng9 talks
- Michael Sammler16 talks
- Zhou Yuanyuan3 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… | ||
| First-Class Verification Dialects for MLIR | PLDI 2025 | 2025-06-16 |
Adds semantics as first-class MLIR dialects and a pipeline that lowers compiler IRs through high-level memory and undefined-behavior dialects to an SMT… | ||
| nothing matches | ||