Rastislav Bodík
where else to find them
no profile links on file
what they talk about
all 5 in the filters
where they keep going back
all 4 in the filters
on a stage with
- Sirui Lu3×
- Adriana Schulzonce
- Amit Sabneonce
all 23 in the filters
who talks about the same things
- Sirui Lu3 talks
- Nadia Polikarpova24 talks
- John Regehr13 talks
- Işıl Dillig21 talks
- Jonathan Ragan-Kelley12 talks
- Adam Chlipala23 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… | ||
| A Lineage-Based Referencing DSL for Computer-Aided Design | PLDI 2023 | 2023-06-17 |
Proposes a semantics that records fine‑grained element lineage and exposes it as first‑class queries so references remain stable across parameterized… | ||
| Conflict-Driven Synthesis for Layout Engines | PLDI 2023 | 2023-06-17 |
Medea synthesizes incremental layout engines from an attribute grammar specification plus a traversal sketch, using symbolic execution to produce concrete… | ||
| 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… | ||
| Verifying and Improving Halide’s Term Rewriting System with Program Synthesis | OOPSLA 2020 | 2020-11-15 |
Halide’s term rewriting system is formally verified and extended using SMT and synthesis tools: Z3 proves 88% of rules automatically and Coq completes the… | ||
| Rousillon: Scraping Distributed Hierarchical Web Data | UIST 2018 | 2018-10-14 |
Rousillon is a programming-by-demonstration system (Helena is the readable high‑level language) that learns nested loops from a single iteration of each… | ||
| nothing matches | ||