| Linearity and Uniqueness: An Entente Cordiale D Marshall, M Vollmer, D Orchard European Symposium on Programming, 346-375, 2022 | 24 | 2022 |
| 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 | 21 | 2019 |
| 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 | 20 | 2017 |
| 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 | 14 | 2021 |
| 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 | 13 | 2017 |
| 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 | 13 | 2015 |
| 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 | 9 | 2015 |
| Deriving distributive laws for graded linear types J Hughes, M Vollmer, D Orchard arXiv preprint arXiv:2112.14966, 2021 | 5 | 2021 |
| Optimizing Layout of Recursive Datatypes with Marmoset V Singhal, C Koparkar, J Zullo, A Pelenitsyn, M Vollmer, M Rainey, ... arXiv preprint arXiv:2405.17590, 2024 | 1 | 2024 |
| Garbage Collection for Mostly Serialized Heaps CS Koparkar, V Singhal, A Gupta, M Rainey, M Vollmer, A Pelenitsyn, ... Proceedings of the 2024 ACM SIGPLAN International Symposium on Memory …, 2024 | | 2024 |
| Optimizing Layout of Recursive Datatypes with Marmoset: Or, Algorithms {+} Data Layouts {=} Efficient Programs V Singhal, C Koparkar, J Zullo, A Pelenitsyn, M Vollmer, M Rainey, ... 38th European Conference on Object-Oriented Programming (ECOOP 2024), 2024 | | 2024 |
| 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 |
Ryan NewtonMIT, Purdue University, Meta PlatformsVerified email at indiana.edu
