Sirui Lu
where else to find them
no profile links on file
what they talk about
where they keep going back
- POPL2 editions2023–2025
on a stage with
- Rastislav Bodík3×
- Amit Sabneonce
- Charith Mendisonce
all 11 in the filters
who talks about the same things
- Rastislav Bodík8 talks
- Charith Mendis10 talks
- John Regehr13 talks
- Ruyi Ji8 talks
- Tobias Grosser14 talks
- Yingfei Xiong9 talks
| title | conference | date |
|---|---|---|
| HieraSynth: A Parallel Framework for Complete Super-Optimization with Hierarchical(…) | OOPSLA 2025 | 2025-10-16 |
Framework implements component-based synthesis with SMT backends, adds hierarchical instruction-choice embedding, adaptive partitioning and unrealizability… | ||
| TensorRight: Automated Verification of Tensor Graph Rewrites | POPL 2025 | 2025-01-19 |
TensorRight presents an automated verifier that proves tensor-graph rewrites correct for tensors of arbitrary rank and size by encoding rules in a new core… | ||
| Grisette: Symbolic Compilation as a Functional Programming Library | POPL 2023 | 2023-01-15 |
Grisette is a Haskell library that compiles programs symbolically by evaluating all paths and merging states into a normal form that avoids pairwise exclusive… | ||
| nothing matches | ||