Converting data-parallelism to task-parallelism by rewrites: purely functional programs across multiple GPUs. - Bo Joel Svensson; Michael Vollmer 003; Eric Holk; Trevor L. McDonell; Ryan R. Newton (FHPC@ICFP, 2015)

Meta-programming and auto-tuning in the search for high performance GPU code. - Michael Vollmer 003; Bo Joel Svensson; Eric Holk; Ryan R. Newton (FHPC@ICFP, 2015)

Compiling Tree Transforms to Operate on Packed Representations. - Michael Vollmer 003; Sarah Spall; Buddhika Chamith; Laith Sakka; Chaitanya Koparkar; Milind Kulkarni 001; Sam Tobin-Hochstadt; Ryan Newton (ECOOP, 2017)

SC-Haskell: Sequential Consistency in Languages That Minimize Mutable Shared Heap. - Michael Vollmer 003; Ryan G. Scott; Madanlal Musuvathi; Ryan R. Newton (PPoPP, 2017)

LoCal: a language for programs operating on serialized data. - Michael Vollmer 003; Chaitanya Koparkar; Mike Rainey; Laith Sakka; Milind Kulkarni 001; Ryan R. Newton (PLDI, 2019)

Deriving Distributive Laws for Graded Linear Types. - Jack Hughes 002; Michael Vollmer 003; Dominic Orchard (Linearity&TLLA@IJCAR-FSCD, 2020)

Efficient tree-traversals: reconciling parallelism and dense data representations. - Chaitanya Koparkar; Mike Rainey; Michael Vollmer 003; Milind Kulkarni 001; Ryan R. Newton (Proc. ACM Program. Lang., 2021)

Linearity and Uniqueness: An Entente Cordiale. - Danielle Marshall 001; Michael Vollmer 003; Dominic Orchard (ESOP, 2022)

Rust for Morello: Always-On Memory Safety, Even in Unsafe Code (Experience Paper). - Sarah Harris; Simon Cooksey; Michael Vollmer 003; Mark Batty (ECOOP, 2023)

A Language-Based Approach to Programming with Serialized Data. - Michael Vollmer 003 (ELS, 2023)

Rust for Morello: Always-On Memory Safety, Even in Unsafe Code (Artifact). - Sarah Harris; Simon Cooksey; Michael Vollmer 003; Mark Batty (Dagstuhl Artifacts Ser., 2023)

Optimizing Layout of Recursive Datatypes with Marmoset: Or, Algorithms {+} Data Layouts {=} Efficient Programs. - Vidush Singhal; Chaitanya Koparkar; Joseph Zullo; Artem Pelenitsyn; Michael Vollmer 003; Mike Rainey; Ryan Newton; Milind Kulkarni 001 (ECOOP, 2024)

Garbage Collection for Mostly Serialized Heaps. - Chaitanya S. Koparkar; Vidush Singhal; Aditya Gupta; Mike Rainey; Michael Vollmer 003; Artem Pelenitsyn; Sam Tobin-Hochstadt; Milind Kulkarni 001; Ryan R. Newton (ISMM, 2024)

Optimizing Layout of Recursive Datatypes with Marmoset. - Vidush Singhal; Chaitanya Koparkar; Joseph Zullo; Artem Pelenitsyn; Michael Vollmer 003; Mike Rainey; Ryan Newton; Milind Kulkarni 001 (CoRR, 2024)

Optimizing Layout of Recursive Datatypes with Marmoset (Artifact). - Vidush Singhal; Chaitanya Koparkar; Joseph Zullo; Artem Pelenitsyn; Michael Vollmer 003; Mike Rainey; Ryan Newton; Milind Kulkarni 001 (Dagstuhl Artifacts Ser., 2024)

Spegion: Implicit and Non-Lexical Regions with Sized Allocations. - Jack Hughes 002; Michael Vollmer 003; Mark Batty (ECOOP, 2025)

Type-Safe and Portable Support for Packed Data (Experience Paper). - Arthur Jamet; Michael Vollmer 003 (ECOOP, 2025)

Type-safe and portable support for packed data. - Arthur Jamet; Michael Vollmer 003 (CoRR, 2025)

packed-data. - Arthur Jamet; Michael Vollmer 003 (DROPS Artifacts, 2025)