Title reveal: I'm delighted to announce that our work on Commuting Conversions and Join Points in Call By Push Value has been accepted to OOPSLA 2026! This is work with Madi Gudin, Annabel Levy, and @fancytypes.bsky.social
Great talk!
OlivierFest’25 is taking place on October 14-15 at ICFP/SPLASH'25 in Singapore!
A two-day celebration of Olivier Danvy's impact on PL research, with a program packed with talks on algebraic effects, semantics, interpreters, and, of course, continuations.
conf.researchr.org/home/icfp-sp...
The United States has had a tremendous advantage in science and technology because it has been the consensus gathering point: the best students worldwide want to study and work in the US because that is where the best students are studying and working. 1/
1/3 The US didn’t end up leading the world in computing by luck. It happened because it made long-term, public investments in basic research, especially through NSF. That’s what created the breakthroughs that today’s tech companies are built on.
Graphs showing 25 years of budgets for the National Institute of Health, NASA, and the NSF. In all cases, the proposed budget for next year is far, far below any year of the previous quarter century.
There are 2 previous historical cases of countries destroying their science and universities, crippling them for decades: Lysenkoism in the USSR and Nazi Germany. The Trump administration will be the 3rd.
It's not just budgets but research, institutions, expertise, and training the next generation.
Defunding the NSF will have disastrous downstream effects on the tech industry. It’s time for people in industry to ACT. In this cross-post from the SIGARCH blog, Prof. Vijay Janapa Reddi outlines some steps you can take now. blog.sigplan.org/2025/05/19/t...
(1/3) We are happy to announce the release of our POPL'25 coverage totaling 257 talks across POPL, CPP, VMCAI, PADL, and many more workshops and events!
www.youtube.com/@acmsigplan/...
Thinking about devastating cuts to NSF: US gov-funded science has been the engine upon which most of the tech wealth was generated. But the oligarchs (currently hoarding much of that $) think it’s their own brilliance & not the accident of standing close to the scientific engine that made them rich.
Next week at ESOP 2025 (European Symposium on Programming) in Hamilton, ON (not in Europe) I'll be giving a talk on Stratified Type Theory! (Tue 6 May 10:30 am)
We replace stratified type universes with stratified judgements, and restrict dependent function domains to strictly smaller levels.
Congrats!
Lambda-join, a streaming functional language [1], implemented using minikanren's search strategy(!), in 3 variations: gist.github.com/rntz/9f0785244
[1] "Functional Meaning for Parallel Streaming"
Nick Rioux & Steve Zdancewic
PLDI 2025
arxiv.org/abs/2504.02975
ICFP/SPLASH 2025 are seeking sponsors! This is a great opportunity to reach a broad audience, especially with the unique co-location of these two conferences this year.
conf.researchr.org/attending/ic...
I was reading this article written by CRA, wondering "now who *is* CRA?" Wondering if CRA was somehow just ACM, but it turns out CRA is in fact not just ACM and indeed has a very trustworthy executive board of some of the best folks in CS
cra.org/nsf-budget-c...
Yao had something like that in the Tlön embeddings paper. dl.acm.org/doi/pdf/10.1...
Our POPL 2025 paper, Consistency of a Dependent Calculus of Indistinguishability, is officially out!
doi.org/10.1145/3704...
This is work by Yiyun Liu @ohqo.bsky.social, me, and Stephanie Weirich, proving consistency, normalization, and decidability of type checking for DCOIω. 1/3