Michael Vollmer -

Registered user since Mon 23 Aug 2021

Name:Michael Vollmer

Country:United Kingdom

Affiliation:University of Kent

X (Twitter): https://x.com/ma_vollmer

Research interests:Functional programming, compilers, parallelism

Contributions

2024

Principles and Practice of Parallel Programming

2023

FHPNC

Committee Member in Program Committee within the FHPNC 2023-track

ECOOP

Author of Rust for Morello: Always-on Memory Safety, Even in Unsafe Code within the Research Papers-track

2021

SPLASH

Author of Efficient Tree-Traversals: Reconciling Parallelism and Dense Data Representations within the SIGPLAN Papers-track

ICFP

Author of Efficient Tree-Traversals: Reconciling Parallelism and Dense Data Representations within the Research Papers-track

2019

HIW

Author of The Gibbon Compiler: Accelerating a small subset of Haskell within the HIW 2019-track

PLDI

Author of LoCal: A Language for Programs Operating on Serialized Data within the PLDI Research Papers-track

2018

FHPNC

Author of An Efficient Compiler for Recursive Functions on Mostly-Serialized Data within the FHPC 2018-track

PLDI

Committee Member in Artifact Evaluation Committee

2017

ICFP

Committee Member in Artifact Evaluation Committee within the Research Artifacts-track

ECOOP

Author of Compiling tree transforms to operate on packed representations within the ECOOP Research Papers-track