Follow
Michael Vollmer
Michael Vollmer
Verified email at kent.ac.uk - Homepage
Title
Cited by
Cited by
Year
Linearity and Uniqueness: An Entente Cordiale
D Marshall, M Vollmer, D Orchard
European Symposium on Programming, 346-375, 2022
202022
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
172017
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
152019
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
132017
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
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
102021
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
92015
Deriving distributive laws for graded linear types
J Hughes, M Vollmer, D Orchard
arXiv preprint arXiv:2112.14966, 2021
42021
Rust for Morello: Always-On Memory Safety, Even in Unsafe Code (Experience Paper)
S Harris, S Cooksey, M Vollmer, M Batty
37th European Conference on Object-Oriented Programming (ECOOP 2023), 2023
2023
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–10