Michael Vollmer

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 12

Top Topics

Data Representation

Functional Programs

Hierarchically Organized

Search Results Clustering

Top Venues

Proc. ACM Program. Lang.

Publications

Chaitanya S. Koparkar, Vidush Singhal, Aditya Gupta, Mike Rainey, Michael Vollmer, Artem Pelenitsyn, Sam Tobin-Hochstadt, Milind Kulkarni, Ryan R. Newton
Garbage Collection for Mostly Serialized Heaps. ISMM (2024)
Vidush Singhal, Chaitanya Koparkar, Joseph Zullo, Artem Pelenitsyn, Michael Vollmer, Mike Rainey, Ryan Newton, Milind Kulkarni
Optimizing Layout of Recursive Datatypes with Marmoset. CoRR (2024)
Sarah Harris, Simon Cooksey, Michael Vollmer, Mark Batty
Rust for Morello: Always-On Memory Safety, Even in Unsafe Code (Artifact). Dagstuhl Artifacts Ser. 9 (2) (2023)
Sarah Harris, Simon Cooksey, Michael Vollmer, Mark Batty
Rust for Morello: Always-On Memory Safety, Even in Unsafe Code (Experience Paper). ECOOP (2023)
Daniel Marshall, Michael Vollmer, Dominic Orchard
Linearity and Uniqueness: An Entente Cordiale. ESOP (2022)
Chaitanya Koparkar, Mike Rainey, Michael Vollmer, Milind Kulkarni, Ryan R. Newton
Efficient Tree-Traversals: Reconciling Parallelism and Dense Data Representations. CoRR (2021)
Chaitanya Koparkar, Mike Rainey, Michael Vollmer, Milind Kulkarni, Ryan R. Newton
Efficient tree-traversals: reconciling parallelism and dense data representations. Proc. ACM Program. Lang. 5 (ICFP) (2021)
Michael Vollmer, Chaitanya Koparkar, Mike Rainey, Laith Sakka, Milind Kulkarni, Ryan R. Newton
LoCal: a language for programs operating on serialized data. PLDI (2019)
Michael Vollmer, Ryan G. Scott, Madanlal Musuvathi, Ryan R. Newton
SC-Haskell: Sequential Consistency in Languages That Minimize Mutable Shared Heap. PPOPP (2017)
Michael Vollmer, Sarah Spall, Buddhika Chamith, Laith Sakka, Chaitanya Koparkar, Milind Kulkarni, Sam Tobin-Hochstadt, Ryan Newton
Compiling Tree Transforms to Operate on Packed Representations. ECOOP (2017)
Bo Joel Svensson, Michael Vollmer, Eric Holk, Trevor L. McDonell, Ryan R. Newton
Converting data-parallelism to task-parallelism by rewrites: purely functional programs across multiple GPUs. FHPC@ICFP (2015)
Michael Vollmer, Bo Joel Svensson, Eric Holk, Ryan R. Newton
Meta-programming and auto-tuning in the search for high performance GPU code. FHPC@ICFP (2015)