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?

Our upcoming ITP'25 paper has been published: "Program Optimisations via Hylomorphisms for Extraction of Executable Code" drops.dagstuhl.de/entities/doc...

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!

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

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

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

bloomberg.com

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.

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

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

"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

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

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!

New blog post by my PhD student on type-safe packed data in Haskell: arthichaud.xyz/posts/packed/

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

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

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

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