Alex Reinking

Perceus: Garbage Free Reference Counting with Reuse

Daan Leijen, Leonardo de Moura, Ningning Xie, 2020 .

A Type-Directed Approach to Program Repair

Ruzica Piskac, Alex Reinking, 2015, CAV.

Winston : Type-Directed Synthesis and Repair

Alex Reinking, 2014 .