Michael Vollmer
@vollmerm.bsky.social
Lecturer in the School of Computing at University of Kent. Compilers and programming languages.
Our upcoming ITP'25 paper has been published: "Program Optimisations via Hylomorphisms for Extraction of Executable Code"
drops.dagstuhl.de/entities/doc...
drops.dagstuhl.de/entities/doc...
Program Optimisations via Hylomorphisms for Extraction of Executable Code
drops.dagstuhl.de
September 22, 2025 at 1:47 PM
Our upcoming ITP'25 paper has been published: "Program Optimisations via Hylomorphisms for Extraction of Executable Code"
drops.dagstuhl.de/entities/doc...
drops.dagstuhl.de/entities/doc...
Reposted by Michael Vollmer
Already registered for SPLASH or @icfp-conference.bsky.social?
If not, check out our list of accepted papers:
conf.researchr.org/home/icfp-sp...
It's language implementation techniques, from debugging and JIT compiling on microcontrollers to visualizing execution patterns between CPU and GPU!
If not, check out our list of accepted papers:
conf.researchr.org/home/icfp-sp...
It's language implementation techniques, from debugging and JIT compiling on microcontrollers to visualizing execution patterns between CPU and GPU!
MPLR 2025 - ICFP/SPLASH 2025
The 22nd International Conference on Managed Programming Languages and Runtimes (MPLR 2025, formerly ManLang, originally PPPJ) is a premier forum for presenting and discussing novel results in all asp...
conf.researchr.org
August 24, 2025 at 9:36 AM
Already registered for SPLASH or @icfp-conference.bsky.social?
If not, check out our list of accepted papers:
conf.researchr.org/home/icfp-sp...
It's language implementation techniques, from debugging and JIT compiling on microcontrollers to visualizing execution patterns between CPU and GPU!
If not, check out our list of accepted papers:
conf.researchr.org/home/icfp-sp...
It's language implementation techniques, from debugging and JIT compiling on microcontrollers to visualizing execution patterns between CPU and GPU!
Reposted by Michael Vollmer
It's Thursday, and My Last* Day at Kent
Today is the 31st of July 2025, and from tomorrow on I’ll be “between jobs”, or as Gen Z allegedly calls it, on a micro-retirement.
When I first came to Kent for my interview, I was thinking, I’ll do this one for practice. 1/2
Today is the 31st of July 2025, and from tomorrow on I’ll be “between jobs”, or as Gen Z allegedly calls it, on a micro-retirement.
When I first came to Kent for my interview, I was thinking, I’ll do this one for practice. 1/2
July 31, 2025 at 9:20 AM
It's Thursday, and My Last* Day at Kent
Today is the 31st of July 2025, and from tomorrow on I’ll be “between jobs”, or as Gen Z allegedly calls it, on a micro-retirement.
When I first came to Kent for my interview, I was thinking, I’ll do this one for practice. 1/2
Today is the 31st of July 2025, and from tomorrow on I’ll be “between jobs”, or as Gen Z allegedly calls it, on a micro-retirement.
When I first came to Kent for my interview, I was thinking, I’ll do this one for practice. 1/2
Reposted by Michael Vollmer
excited that my team at Bloomberg is supporting PhD students in certified programming (and other infra/sec topics too!) through a fellowship. 💻🛡️
includes stipend, tuition, and internship. timely for Rocq and proof assistant folks as science funding tightens. please apply by July 18th! 📬
includes stipend, tuition, and internship. timely for Rocq and proof assistant folks as science funding tightens. please apply by July 18th! 📬
Bloomberg Infrastructure & Security Ph.D. Fellowship | Bloomberg LP
Apply now for the Bloomberg Infrastructure & Security Ph.D. Fellowship program. Applications are due by Monday, June 30, 2025 for the 2025-2026 academic year.
www.bloomberg.com
June 18, 2025 at 9:29 PM
excited that my team at Bloomberg is supporting PhD students in certified programming (and other infra/sec topics too!) through a fellowship. 💻🛡️
includes stipend, tuition, and internship. timely for Rocq and proof assistant folks as science funding tightens. please apply by July 18th! 📬
includes stipend, tuition, and internship. timely for Rocq and proof assistant folks as science funding tightens. please apply by July 18th! 📬
Reposted by Michael Vollmer
Every flashbang could instead be a meal for a poor kid. Every hotel room for a National Guardsman deployed to fire at our neighbors could house a homeless vet. Every "less-than-lethal" bullet pulled from a journalist's eye could be already needed healthcare for anyone else. All of this is a choice.
June 11, 2025 at 4:22 PM
Every flashbang could instead be a meal for a poor kid. Every hotel room for a National Guardsman deployed to fire at our neighbors could house a homeless vet. Every "less-than-lethal" bullet pulled from a journalist's eye could be already needed healthcare for anyone else. All of this is a choice.
Reposted by Michael Vollmer
MPLR extended its deadline to June 24th to better align with some other notification dates.
Two more weeks to submit your work on language implementations, VMs, compilers, interpreters, and tooling!
conf.researchr.org/home/icfp-sp...
Two more weeks to submit your work on language implementations, VMs, compilers, interpreters, and tooling!
conf.researchr.org/home/icfp-sp...
June 10, 2025 at 11:46 AM
MPLR extended its deadline to June 24th to better align with some other notification dates.
Two more weeks to submit your work on language implementations, VMs, compilers, interpreters, and tooling!
conf.researchr.org/home/icfp-sp...
Two more weeks to submit your work on language implementations, VMs, compilers, interpreters, and tooling!
conf.researchr.org/home/icfp-sp...
Reposted by Michael Vollmer
This year's DLS Most Notable Paper award goes to
Compiling for Multi-language Task Migration
by Marc Feeley
The paper is motivated by the challenges of implementing continuations for an uncooperative environment, and worth a read!
Congratulations to the author! www.iro.umontreal.ca/~feeley/pape...
Compiling for Multi-language Task Migration
by Marc Feeley
The paper is motivated by the challenges of implementing continuations for an uncooperative environment, and worth a read!
Congratulations to the author! www.iro.umontreal.ca/~feeley/pape...
June 9, 2025 at 4:34 PM
This year's DLS Most Notable Paper award goes to
Compiling for Multi-language Task Migration
by Marc Feeley
The paper is motivated by the challenges of implementing continuations for an uncooperative environment, and worth a read!
Congratulations to the author! www.iro.umontreal.ca/~feeley/pape...
Compiling for Multi-language Task Migration
by Marc Feeley
The paper is motivated by the challenges of implementing continuations for an uncooperative environment, and worth a read!
Congratulations to the author! www.iro.umontreal.ca/~feeley/pape...
"Spegion: Implicit and Non-Lexical Regions with Sized Allocations"
This is the extended pre-print of a paper we will be presenting at ECOOP '25 in a few weeks.
arxiv.org/abs/2506.02182
This is the extended pre-print of a paper we will be presenting at ECOOP '25 in a few weeks.
arxiv.org/abs/2506.02182
Spegion: Implicit and Non-Lexical Regions with Sized Allocations
Region based memory management is a powerful tool designed with the goal of ensuring memory safety statically. The region calculus of Tofte and Talpin is a well known example of a region based system,...
arxiv.org
June 4, 2025 at 11:39 AM
"Spegion: Implicit and Non-Lexical Regions with Sized Allocations"
This is the extended pre-print of a paper we will be presenting at ECOOP '25 in a few weeks.
arxiv.org/abs/2506.02182
This is the extended pre-print of a paper we will be presenting at ECOOP '25 in a few weeks.
arxiv.org/abs/2506.02182
Reposted by Michael Vollmer
Looking for somewhere to submit work in functional programming with a focus on performance (broadly construed) or numerical computing? Consider the FProPer workshop! Co-located with ICFP and SPLASH 2025 conf.researchr.org/home/icfp-sp... I went last year, gave a keynote, and enjoyed it immensely!
ICCS Summer School 2025 Programme
cambridge-iccs.github.io
May 16, 2025 at 2:03 PM
Looking for somewhere to submit work in functional programming with a focus on performance (broadly construed) or numerical computing? Consider the FProPer workshop! Co-located with ICFP and SPLASH 2025 conf.researchr.org/home/icfp-sp... I went last year, gave a keynote, and enjoyed it immensely!
The School of Computing at the University of Kent has a PhD scholarship available, and the deadline to apply is February 15th.
We're especially interested in students interested in programming languages, compilers, and systems!
www.kent.ac.uk/scholarships...
We're especially interested in students interested in programming languages, compilers, and systems!
www.kent.ac.uk/scholarships...
www.kent.ac.uk
December 10, 2024 at 10:42 AM
The School of Computing at the University of Kent has a PhD scholarship available, and the deadline to apply is February 15th.
We're especially interested in students interested in programming languages, compilers, and systems!
www.kent.ac.uk/scholarships...
We're especially interested in students interested in programming languages, compilers, and systems!
www.kent.ac.uk/scholarships...
Very cool paper on a new and efficient way to do tagging with double-precision floats, implemented in Bigloo Scheme.
arxiv.org/abs/2411.16544
arxiv.org/abs/2411.16544
Float Self-Tagging
Dynamic and polymorphic languages must attach information, such as types, to run time objects, and therefore adapt the memory layout of values to include space for this information. This is especially...
arxiv.org
November 27, 2024 at 11:59 AM
Very cool paper on a new and efficient way to do tagging with double-precision floats, implemented in Bigloo Scheme.
arxiv.org/abs/2411.16544
arxiv.org/abs/2411.16544
Reposted by Michael Vollmer
Looks like followup work to the Copy-and-Patch paper founds its way to arxiv
Deegen: A JIT-Capable VM Generator for Dynamic Languages No More Compromise Between Performance and Engineering Cost
arxiv.org/pdf/2411.11469
#stillToBeRead
Deegen: A JIT-Capable VM Generator for Dynamic Languages No More Compromise Between Performance and Engineering Cost
arxiv.org/pdf/2411.11469
#stillToBeRead
arxiv.org
November 24, 2024 at 10:43 AM
Looks like followup work to the Copy-and-Patch paper founds its way to arxiv
Deegen: A JIT-Capable VM Generator for Dynamic Languages No More Compromise Between Performance and Engineering Cost
arxiv.org/pdf/2411.11469
#stillToBeRead
Deegen: A JIT-Capable VM Generator for Dynamic Languages No More Compromise Between Performance and Engineering Cost
arxiv.org/pdf/2411.11469
#stillToBeRead