iiinova — where your digital self keeps evolving

Reposted by Michael Vollmer

Tori @proof-by.bsky.social · 25/02/2026

I will need a post doc position in May-ish. Topics I want to work on are, lax functors, 2-categories/bicategories, generalized multicategories, double categories, other stuff on graded monads, and anything similar. Does anyone want to pay me to do this?

045

Michael Vollmer @vollmerm.bsky.social · 22/09/2025

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

Program Optimisations via Hylomorphisms for Extraction of Executable Code

021

Reposted by Michael Vollmer

Stefan Marr @stefan-marr.de · 24/08/2025

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!

conf.researchr.org

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...

065

Reposted by Michael Vollmer

Stefan Marr @stefan-marr.de · 31/07/2025

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

1102

Reposted by Michael Vollmer

joomy @joomy.bsky.social · 18/06/2025

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! 📬

bloomberg.com

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.

0136

Reposted by Michael Vollmer

Ben Collins @bencollins.bsky.social · 11/06/2025

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.

5704847914658

Reposted by Michael Vollmer

Stefan Marr @stefan-marr.de · 10/06/2025

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...

033

Reposted by Michael Vollmer

Stefan Marr @stefan-marr.de · 09/06/2025

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...

The award with the following citation:

Recent years have seen a resurgent interest in the use and implementation of first-class control, especially in the form of delimited continuations via effect handlers. This paper is motivated by the challenges of implementing continuations for an uncooperative environment and the opportunities for code migration that the implementation affords. The paper recaps the design of the Gambit Virtual Machine for efficient continuations, and it provides evidence for the ongoing effectiveness of the design.

0115

Reposted by Michael Vollmer

Dominic Orchard @dorchard.bsky.social · 16/05/2025

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!

cambridge-iccs.github.io

ICCS Summer School 2025 Programme

152

Michael Vollmer @vollmerm.bsky.social · 10/12/2024

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...

kent.ac.uk

063

Reposted by Michael Vollmer

Stefan Marr @stefan-marr.de · 24/11/2024

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

arxiv.org

1133