Zachary Sullivan
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 3 in the filters
on a stage with
all 8 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| A Formal Model for Portable, Heterogeneous Accelerator Programming | VIVEKFEST 2024 | 2024-10-21 |
A formal core language called H-IMP models execution spaces (host, OpenMP, CUDA) and memory spaces (host, CUDA, UVM) with an accessibility relation that… | ||
| Closure Conversion in Little Pieces | PPDP 2023 | 2023-10-22 |
The paper makes closure conversion a syntactic equality by adding abstract closures to a CBPV-style IL, proving an equational theory sound and complete with… | ||
| A Type-Safe Structure Editor Calculus + Strictly Capturing Non-Strict Closures | PEPM 2021 | 2021-01-18 |
Two short papers: one builds a type-safe editor calculus with cursors, holes, breakpoints and a small-step semantics and gives a behavioral type system… | ||
| nothing matches | ||