Alex Reinking
Alex Reinking
Verified email at berkeley.edu - Homepage
Title
Cited by
Cited by
Year
A type-directed approach to program repair
A Reinking, R Piskac
International Conference on Computer Aided Verification, 511-517, 2015
122015
Perceus: garbage free reference counting with reuse
A Reinking, N Xie, L de Moura, D Leijen
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021
42021
Formal Semantics for the Halide Language
A Reinking, G Bernstein, J Ragan-Kelley
12020
Code Repair and Refactoring using Synthesis
A Reinking, R Piskac
2015
Repairing Single-Statement Type Errors
A Reinking, R Piskac
2014
Winston: Type-Directed Synthesis and Repair
A Reinking, R Piskac
The system can't perform the operation now. Try again later.
Articles 1–6