Michael Vollmer

According to our database, Michael Vollmer authored at least 20 papers between 2015 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2025

packed-data.

Arthur Jamet, Michael Vollmer

Dataset, June, 2025

Type-safe and portable support for packed data.

Arthur Jamet, Michael Vollmer

CoRR, April, 2025

Program Optimisations via Hylomorphisms for Extraction of Executable Code.

David Castro-Perez, Marco Paviotti, Michael Vollmer

Proceedings of the 16th International Conference on Interactive Theorem Proving, 2025

Type-Safe and Portable Support for Packed Data (Experience Paper).

Arthur Jamet, Michael Vollmer

Proceedings of the 39th European Conference on Object-Oriented Programming, 2025

Spegion: Implicit and Non-Lexical Regions with Sized Allocations.

Jack Hughes, Michael Vollmer, Mark Batty

Proceedings of the 39th European Conference on Object-Oriented Programming, 2025

2024

Optimizing Layout of Recursive Datatypes with Marmoset (Artifact).

Vidush Singhal, Chaitanya Koparkar, Joseph Zullo, Artem Pelenitsyn, Michael Vollmer, Mike Rainey, Ryan Newton, Milind Kulkarni

Dagstuhl Artifacts Ser., 2024

Optimizing Layout of Recursive Datatypes with Marmoset.

Vidush Singhal, Chaitanya Koparkar, Joseph Zullo, Artem Pelenitsyn, Michael Vollmer, Mike Rainey, Ryan Newton, Milind Kulkarni

CoRR, 2024

Garbage Collection for Mostly Serialized Heaps.

Chaitanya S. Koparkar, Vidush Singhal, Aditya Gupta, Mike Rainey, Michael Vollmer, Artem Pelenitsyn, Sam Tobin-Hochstadt, Milind Kulkarni, Ryan R. Newton

Proceedings of the 2024 ACM SIGPLAN International Symposium on Memory Management, 2024

Optimizing Layout of Recursive Datatypes with Marmoset: Or, Algorithms {+} Data Layouts {=} Efficient Programs.

Vidush Singhal, Chaitanya Koparkar, Joseph Zullo, Artem Pelenitsyn, Michael Vollmer, Mike Rainey, Ryan Newton, Milind Kulkarni

Proceedings of the 38th European Conference on Object-Oriented Programming, 2024

2023

Rust for Morello: Always-On Memory Safety, Even in Unsafe Code (Artifact).

Sarah Harris, Simon Cooksey, Michael Vollmer, Mark Batty

Dagstuhl Artifacts Ser., 2023

A Language-Based Approach to Programming with Serialized Data.

Michael Vollmer

Proceedings of the 16th European Lisp Symposium, 2023

Rust for Morello: Always-On Memory Safety, Even in Unsafe Code (Experience Paper).

Sarah Harris, Simon Cooksey, Michael Vollmer, Mark Batty

Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

2022

Linearity and Uniqueness: An Entente Cordiale.

Danielle Marshall, Michael Vollmer, Dominic Orchard

Proceedings of the Programming Languages and Systems, 2022

2021

Efficient tree-traversals: reconciling parallelism and dense data representations.

Chaitanya Koparkar, Mike Rainey, Michael Vollmer, Milind Kulkarni, Ryan R. Newton

Proc. ACM Program. Lang., 2021

2020

Deriving Distributive Laws for Graded Linear Types.

Jack Hughes, Michael Vollmer, Dominic Orchard

Proceedings of the Proceedings Second Joint International Workshop on Linearity & Trends in Linear Logic and Applications, 2020

2019

LoCal: a language for programs operating on serialized data.

Michael Vollmer, Chaitanya Koparkar, Mike Rainey, Laith Sakka, Milind Kulkarni, Ryan R. Newton

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

2017

SC-Haskell: Sequential Consistency in Languages That Minimize Mutable Shared Heap.

Michael Vollmer, Ryan G. Scott, Madanlal Musuvathi, Ryan R. Newton

Proceedings of the 22nd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2017

Compiling Tree Transforms to Operate on Packed Representations.

Michael Vollmer, Sarah Spall, Buddhika Chamith, Laith Sakka, Chaitanya Koparkar, Milind Kulkarni, Sam Tobin-Hochstadt, Ryan Newton

Proceedings of the 31st European Conference on Object-Oriented Programming, 2017

2015

Meta-programming and auto-tuning in the search for high performance GPU code.

Michael Vollmer, Bo Joel Svensson, Eric Holk, Ryan R. Newton

Proceedings of the 4th ACM SIGPLAN Workshop on Functional High-Performance Computing, 2015

Converting data-parallelism to task-parallelism by rewrites: purely functional programs across multiple GPUs.

Bo Joel Svensson, Michael Vollmer, Eric Holk, Trevor L. McDonell, Ryan R. Newton

Proceedings of the 4th ACM SIGPLAN Workshop on Functional High-Performance Computing, 2015