Alex Reinking

Publication Activity (10 Years)

Years Active: 2015-2022
Publications (10 Years): 4

Top Topics

Modelling Language

Fully Functional

Top Venues

Publications

Yuka Ikarashi, Gilbert Louis Bernstein, Alex Reinking, Hasan Genc, Jonathan Ragan-Kelley
Exocompilation for productive programming of hardware accelerators. PLDI (2022)
Alex Reinking, Gilbert Louis Bernstein, Jonathan Ragan-Kelley
Formal Semantics for the Halide Language. CoRR (2022)
Alex Reinking, Ningning Xie, Leonardo de Moura, Daan Leijen
Perceus: garbage free reference counting with reuse. PLDI (2021)
Alex Reinking, Ruzica Piskac
A Type-Directed Approach to Program Repair. CAV (1) (2015)