Follow
Michael Vollmer
Michael Vollmer
Verified email at kent.ac.uk - Homepage
Title
Cited by
Cited by
Year
Meta-programming and Auto-tuning in the Search for High Performance GPU Code
M Vollmer, BJ Svensson, E Holk, RR Newton
Proceedings of the 4th ACM SIGPLAN Workshop on Functional High-Performance …, 2015
132015
Compiling Tree Transforms to Operate on Packed Representations
M Vollmer, S Spall, B Chamith, L Sakka, C Koparkar, M Kulkarni, ...
31st European Conference on Object-Oriented Programming (ECOOP 2017), 2017
122017
SC-Haskell: Sequential Consistency in Languages That Minimize Mutable Shared Heap
M Vollmer, RG Scott, M Musuvathi, RR Newton
ACM SIGPLAN Notices 52 (8), 283-298, 2017
102017
LoCal: A Language for Programs Operating on Serialized Data
M Vollmer, C Koparkar, M Rainey, L Sakka, M Kulkarni, RR Newton
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019
72019
Converting data-parallelism to task-parallelism by rewrites: purely functional programs across multiple GPUs
BJ Svensson, M Vollmer, E Holk, TL McDonell, RR Newton
Proceedings of the 4th ACM SIGPLAN Workshop on Functional High-Performance …, 2015
72015
Efficient tree-traversals: reconciling parallelism and dense data representations
C Koparkar, M Rainey, M Vollmer, M Kulkarni, RR Newton
Proceedings of the ACM on Programming Languages 5 (ICFP), 1-29, 2021
32021
Linearity and Uniqueness: An Entente Cordiale
D Marshall, M Vollmer, D Orchard
European Symposium on Programming, 346-375, 2022
22022
Deriving distributive laws for graded linear types
J Hughes, M Vollmer, D Orchard
arXiv preprint arXiv:2112.14966, 2021
12021
A Language-Based Approach to Programming with Serialized Data
M Vollmer
Indiana University, 2021
2021
The system can't perform the operation now. Try again later.
Articles 1–9