Higher-order MSL constraints.Jerome Jochems, Eddie Jones, and Steven Ramsay. Proceedings of the ACM on Programming Languages, Volume 7, Issue POPL 2023, Article No.: 69, 2017–2047. 2023
Taking Back Control in an Intermediate Representation for GPU Computing.Vasileios Klimis, Jack Clark, Alan Baker, David Neto, John Wickerson, and Alastair F. Donaldson. Proceedings of the ACM on Programming Languages, Volume 7, Issue POPL 2023, Article No.: 60, 1740–1769. 2023