A Type-Directed Approach to Program Repair. - Alex Reinking; Ruzica Piskac (CAV (1), 2015)

Perceus: garbage free reference counting with reuse. - Alex Reinking; Ningning Xie; Leonardo de Moura 001; Daan Leijen (PLDI, 2021)

Exocompilation for productive programming of hardware accelerators. - Yuka Ikarashi; Gilbert Louis Bernstein; Alex Reinking; Hasan Genc; Jonathan Ragan-Kelley (PLDI, 2022)

Formal Semantics for the Halide Language. - Alex Reinking; Gilbert Louis Bernstein; Jonathan Ragan-Kelley (CoRR, 2022)

The Design and Implementation of User-Schedulable Languages - Alex Reinking (2022)

Exo 2: Growing a Scheduling Language. - Yuka Ikarashi; Kevin Qian; Samir Droubi; Alex Reinking; Gilbert Louis Bernstein; Jonathan Ragan-Kelley (ASPLOS (1), 2025)