Fab ous Interoperability for ML and a Linear Language. - Gabriel Scherer; Max S. New; Nick Rioux; Amal Ahmed 001 (FoSSaCS, 2018)

Type-preserving CPS translation of Σ and Π types is not not possible. - William J. Bowman; Youyou Cong; Nick Rioux; Amal Ahmed 001 (Proc. ACM Program. Lang., 2018)

Computation focusing. - Nick Rioux; Steve Zdancewic (Proc. ACM Program. Lang., 2020)

A Bowtie for a Beast: Overloading, Eta Expansion, and Extensible Data Types in F⋈. - Nick Rioux; Xuejing Huang; Bruno C. d. S. Oliveira; Steve Zdancewic (Proc. ACM Program. Lang., 2023)

Functional Meaning for Parallel Streaming. - Nick Rioux; Steve Zdancewic (Proc. ACM Program. Lang., 2025)