| 2026 | GPCE | Programmable Record Types in Haskell. | Arthur Jamet, Michael Vollmer |
| 2025 | ECOOP | Spegion: Implicit and Non-Lexical Regions with Sized Allocations. | Jack Hughes, Michael Vollmer, Mark Batty |
| 2025 | ECOOP | Type-Safe and Portable Support for Packed Data (Experience Paper). | Arthur Jamet, Michael Vollmer |
| 2025 | ITP | Program Optimisations via Hylomorphisms for Extraction of Executable Code. | David Castro-Perez, Marco Paviotti, Michael Vollmer |
| 2024 | ECOOP | Optimizing Layout of Recursive Datatypes with Marmoset: Or, Algorithms {+} Data Layouts {=} Efficient Programs. | Vidush Singhal, Chaitanya Koparkar, Joseph Zullo, Artem Pelenitsyn, Michael Vollmer, Mike Rainey, Ryan Newton, Milind Kulkarni |
| 2023 | ECOOP | Rust for Morello: Always-On Memory Safety, Even in Unsafe Code (Experience Paper). | Sarah Harris, Simon Cooksey, Michael Vollmer, Mark Batty |
| 2022 | ESOP | Linearity and Uniqueness: An Entente Cordiale. | Danielle Marshall, Michael Vollmer, Dominic Orchard |
| 2019 | EDBT | Iterative Estimation of Mutual Information with Error Bounds. | Michael Vollmer, Klemens Bhm |
| 2019 | ESA | Simultaneous Representation of Proper and Unit Interval Graphs. | Ignaz Rutter, Darren Strash, Peter Stumpf, Michael Vollmer |
| 2019 | PLDI | LoCal: a language for programs operating on serialized data. | Michael Vollmer, Chaitanya Koparkar, Mike Rainey, Laith Sakka, Milind Kulkarni, Ryan R. Newton |
| 2019 | SSDBM | Informative Summarization of Numeric Data. | Michael Vollmer, Lukasz Golab, Klemens Bhm, Divesh Srivastava |
| 2018 | EDBT | On Complexity and Efficiency of Mutual Information Estimation on Static and Dynamic Data. | Michael Vollmer, Ignaz Rutter, Klemens Bhm |
| 2017 | ECOOP | 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 |
| 2017 | PPoPP | SC-Haskell: Sequential Consistency in Languages That Minimize Mutable Shared Heap. | Michael Vollmer, Ryan G. Scott, Madanlal Musuvathi, Ryan R. Newton |
| 2015 | ICFP | 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 |
| 2015 | ICFP | Meta-programming and auto-tuning in the search for high performance GPU code. | Michael Vollmer, Bo Joel Svensson, Eric Holk, Ryan R. Newton |
| 2004 | ISCAS | An approach to automatic generation of wave digital structures from PDEs. | Michael Vollmer |
| 2004 | SAFECOMP | Numerical Integration of PDEs for Safety Critical Applications Implemented by I&C Systems. | Michael Vollmer |