Andrew Adams
where else to find them
no profile links on file
what they talk about
all 4 in the filters
where they keep going back
- OOPSLA2 editions2020–2021
on a stage with
all 17 in the filters
who talks about the same things
- Jonathan Ragan-Kelley12 talks
- Adam Chlipala23 talks
- Işıl Dillig21 talks
- Rastislav Bodík8 talks
- Takeshi Tsukada16 talks
- Sukyoung Ryu12 talks
| title | conference | date |
|---|---|---|
| Bonsai: Compiling Queries to Pruned Tree Traversals | PLDI 2026 | 2026-06-15 |
Bonsai compiles high-level queries plus an annotated algebraic tree spec into C++ single-pass traversals that automatically generate always/maybe/never pruning… | ||
| Efficient Automatic Scheduling of Imaging & Vision Pipelines for the GPU | OOPSLA 2021 | 2021-10-17 |
An autoscheduler generates GPU code from Halide algorithm code by combining a two-phase search that freezes low-cost stages, hierarchical sampling that groups… | ||
| 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… | ||
| Reform of data protection in Japan | CPDP 2016 | 2016-01-20 |
Japan expands private-sector coverage in 2005 and revises the law in 2015 to create a single regulator, the Personal Information Protection Commission, but… | ||
| nothing matches | ||