Michael Vollmer

23 papers A* 1A 6B 2C 1Journal 8Unranked 5
YearRankTypeTitle / Venue / Authors
2026 J jnl
AST, Bytecode, and the Space In Between: An Exploration of Interpreter Design Tradeoffs.
J. Object Technol.
Octave Larose, Michael Vollmer, Stefan Marr
2026 — conf
On Graded Coeffect Types for Information-Flow Control.
Languages, Compilers, Analysis
Vilem-Benjamin Liepelt, Danielle Marshall, Dominic Orchard, Vineet Rajani, Michael Vollmer
2025 B conf
Program Optimisations via Hylomorphisms for Extraction of Executable Code.
ITP
David Castro-Perez, Marco Paviotti, Michael Vollmer
2025 A conf
Spegion: Implicit and Non-Lexical Regions with Sized Allocations.
ECOOP
Jack Hughes, Michael Vollmer, Mark Batty
2025 J jnl
Spegion: Implicit and Non-Lexical Regions with Sized Allocations.
CoRR
Jack Hughes, Michael Vollmer, Mark Batty
2025 A conf
Type-Safe and Portable Support for Packed Data (Experience Paper).
ECOOP
Arthur Jamet, Michael Vollmer
2025 J jnl
Type-safe and portable support for packed data.
CoRR
Arthur Jamet, Michael Vollmer
2024 C conf
Garbage Collection for Mostly Serialized Heaps.
ISMM
Chaitanya S. Koparkar, Vidush Singhal, Aditya Gupta, Mike Rainey, Michael Vollmer, Artem Pelenitsyn, Sam Tobin-Hochstadt, Milind Kulkarni, Ryan R. Newton
2024 J jnl
Optimizing Layout of Recursive Datatypes with Marmoset (Artifact).
Dagstuhl Artifacts Ser.
Vidush Singhal, Chaitanya Koparkar, Joseph Zullo, Artem Pelenitsyn, Michael Vollmer, Mike Rainey, Ryan Newton, Milind Kulkarni
2024 J jnl
Optimizing Layout of Recursive Datatypes with Marmoset.
CoRR
Vidush Singhal, Chaitanya Koparkar, Joseph Zullo, Artem Pelenitsyn, Michael Vollmer, Mike Rainey, Ryan Newton, Milind Kulkarni
2024 A conf
Optimizing Layout of Recursive Datatypes with Marmoset: Or, Algorithms {+} Data Layouts {=} Efficient Programs.
ECOOP
Vidush Singhal, Chaitanya Koparkar, Joseph Zullo, Artem Pelenitsyn, Michael Vollmer, Mike Rainey, Ryan Newton, Milind Kulkarni
2023 — conf
A Language-Based Approach to Programming with Serialized Data.
ELS
Michael Vollmer
2023 J jnl
Rust for Morello: Always-On Memory Safety, Even in Unsafe Code (Artifact).
Dagstuhl Artifacts Ser.
Sarah Harris, Simon Cooksey, Michael Vollmer, Mark Batty
2023 A conf
Rust for Morello: Always-On Memory Safety, Even in Unsafe Code (Experience Paper).
ECOOP
Sarah Harris, Simon Cooksey, Michael Vollmer, Mark Batty
2022 A conf
Linearity and Uniqueness: An Entente Cordiale.
ESOP
Danielle Marshall, Michael Vollmer, Dominic Orchard
2021 J jnl
Efficient Tree-Traversals: Reconciling Parallelism and Dense Data Representations.
CoRR
Chaitanya Koparkar, Mike Rainey, Michael Vollmer, Milind Kulkarni, Ryan R. Newton
2021 J jnl
Efficient tree-traversals: reconciling parallelism and dense data representations.
Proc. ACM Program. Lang.
Chaitanya Koparkar, Mike Rainey, Michael Vollmer, Milind Kulkarni, Ryan R. Newton
2020 — conf
Deriving Distributive Laws for Graded Linear Types.
Linearity&TLLA@IJCAR-FSCD
Jack Hughes, Michael Vollmer, Dominic Orchard
2019 A* conf
LoCal: a language for programs operating on serialized data.
PLDI
Michael Vollmer, Chaitanya Koparkar, Mike Rainey, Laith Sakka, Milind Kulkarni, Ryan R. Newton
2017 A conf
Compiling Tree Transforms to Operate on Packed Representations.
ECOOP
Michael Vollmer, Sarah Spall, Buddhika Chamith, Laith Sakka, Chaitanya Koparkar, Milind Kulkarni, Sam Tobin-Hochstadt, Ryan Newton
2017 B conf
SC-Haskell: Sequential Consistency in Languages That Minimize Mutable Shared Heap.
PPoPP
Michael Vollmer, Ryan G. Scott, Madanlal Musuvathi, Ryan R. Newton
2015 — conf
Converting data-parallelism to task-parallelism by rewrites: purely functional programs across multiple GPUs.
FHPC@ICFP
Bo Joel Svensson, Michael Vollmer, Eric Holk, Trevor L. McDonell, Ryan R. Newton
2015 — conf
Meta-programming and auto-tuning in the search for high performance GPU code.
FHPC@ICFP
Michael Vollmer, Bo Joel Svensson, Eric Holk, Ryan R. Newton