| Exocompilation for productive programming of hardware accelerators Y Ikarashi, GL Bernstein, A Reinking, H Genc, J Ragan-Kelley Proceedings of the 43rd ACM SIGPLAN International Conference on Programming …, 2022 | 40 | 2022 |
| 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 | 34 | 2021 |
| A type-directed approach to program repair A Reinking, R Piskac Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015 | 15 | 2015 |
| Formal semantics for the halide language A Reinking, GL Bernstein, J Ragan-Kelley arXiv preprint arXiv:2210.15740, 2022 | 7 | 2022 |
| 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 | | |
Jonathan Ragan-KelleyMIT CSAIL在 mit.edu 的电子邮件经过验证
