Alex Reinking

According to our database, Alex Reinking authored at least 4 papers between 2015 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Formal Semantics for the Halide Language.

Alex Reinking, Gilbert Louis Bernstein, Jonathan Ragan-Kelley

CoRR, 2022

Exocompilation for productive programming of hardware accelerators.

Yuka Ikarashi, Gilbert Louis Bernstein, Alex Reinking, Hasan Genc, Jonathan Ragan-Kelley

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

2021

Perceus: garbage free reference counting with reuse.

Alex Reinking, Ningning Xie, Leonardo de Moura, Daan Leijen

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

2015

A Type-Directed Approach to Program Repair.

Alex Reinking, Ruzica Piskac

Proceedings of the Computer Aided Verification - 27th International Conference, 2015