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!
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 to see some functional C++
I will! Thank you Chiitan for your interest in programming language theory!
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! 📬
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.
Screenshot of the linked MPLR website
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...
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.
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...
"Type-safe and portable support for packed data"
Also to be presented at ECOOP '25. We show how you can use types to safely and efficiently manipulate binary data.
arxiv.org/abs/2504.20166
"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
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...
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
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