フォロー
Alex Reinking
Alex Reinking
Qualcomm
確認したメール アドレス: なし - ホームページ
タイトル
引用先
引用先
年
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
292022
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
282021
A type-directed approach to program repair
A Reinking, R Piskac
Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015
152015
Formal semantics for the halide language
A Reinking, GL Bernstein, J Ragan-Kelley
arXiv preprint arXiv:2210.15740, 2022
62022
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
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–7