We stand with Ukraine  

Alex Reinking

Orcid: 0000-0003-3285-2112

According to our database1, Alex Reinking authored at least 6 papers between 2015 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Exo 2: Growing a Scheduling Language.
[BibTeX]
[DOI]
Yuka Ikarashi
,
Kevin Qian
,
Samir Droubi
,
Alex Reinking
,
Gilbert Bernstein
,
Jonathan Ragan-Kelley
CoRR, 2024

2022
The Design and Implementation of User-Schedulable Languages
[BibTeX]
[DOI]
Alex Reinking
PhD thesis, 2022

Formal Semantics for the Halide Language.
[BibTeX]
[DOI]
Alex Reinking
,
Gilbert Louis Bernstein
,
Jonathan Ragan-Kelley
CoRR, 2022

Exocompilation for productive programming of hardware accelerators.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
Alex Reinking
,
Ruzica Piskac
Proceedings of the Computer Aided Verification - 27th International Conference, 2015


  Loading...