Michael Vollmer

According to our database, Michael Vollmer authored at least 5 papers between 2015 and 2019.

Collaborative distances:

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

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