Michael Vollmer

According to our database, Michael Vollmer authored at least 10 papers between 2015 and 2023.

Collaborative distances:

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

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

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.

Daniel 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