📢 Calling all students! PLDI'26 is now soliciting student volunteers.
It's a fantastic opportunity to connect with the programming languages research community, meet top researchers, and contribute to PLDI'26's success!
⏳ Apply by April 13 AoE pldi26.sigplan.org/track/pldi-2...
He presented a short paper on his work at FORGE'25: ieeexplore.ieee.org/abstract/doc... and his follow-up full paper is currently under submission with an arxiv pre-print coming soon!
My PhD student Wen Fan (fanweneddie.github.io) is looking for summer internships! ✨His research interests are at the intersection of AI and formal methods, and his work with me is exploring how LLMs can be used to build more usable and scalable verification tools.
We’re happy to announce that Scala Workshop 2026 will take place in Brussels, co-located with ECOOP! 🎉
📍 Brussels, Belgium
🗓 Mon 29 Jun 2026
🎙️ Submit your 1–2 page talk proposal!
🕒 Deadline: 23 Mar 2026
👉 2026.workshop.scala-lang.org
#Scala #ScalaLang #ProgrammingLanguages #ECOOP
Unfortunately, due to funding constraints at the SIGPLAN level, workshops/co-located events will not support remote presentations for accepted papers at this time. You can read more about it here: pldi26.sigplan.org/track/pldi-2...
Just a reminder you can follow PLDI (bsky.app/profile/sigp...) on BlueSky for conference updates! PLDI is the premier forum in the field of programming languages and programming systems research, covering the areas of design, implementation, theory, applications, and performance. pldi26.sigplan.org
I prefer the hashtag, since it can filter out unrelated posts and let people more freely post. But, is the hashtag used frequently for something else (seems like it could be a common one)?
Are you interested in programming languages research and mentoring up and coming PL researchers?
Then you should fill out the self-nomination form for the PLDI'26 Student Research Competition's PC: forms.gle/KSacbLEtw1Yw...
(Note, you must have a PhD by June 2026 to be a judge)
I would like to be added when you get a chance, thanks!
Looks like from the activity on my post the answer is yes, yay😄
ideas > drama any day and I also vote in favor of a plushy mascot 🤩
The hiatus was definitely good, thanks! But, I miss PL chatter, especially since I wasn't able to attend SPLASH/POPL this cycle.
Well you can count me in to be here!
Are programming languages people still active on BlueSky? I've been on a hiatus from social media, but would like to try to be more active going forward.
🎉PLDI'26 is already off to an incredible start, with a record breaking 398 paper submissions this year!🎉Let the reviewing fun begin!
Freedom from kings.
Freedom from fascism.
Power to the people forever. ♥️
Happy Independence Day 🇺🇸
#LiquidTypes are a lightweight way to specify and check code properties. What stands in the way of more widespread adoption?
Friday at 10:30, @catarinavgamboa.bsky.social presents our #PLDI2025 paper (with Abigail Reese and @alcidesfonseca.com), "Usability Barriers for Liquid Types."
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.
Programming Language Pragmatics textbook cover, showing a waterfall in a woodland
I'm delighted to announce the 5th edition of Programming Language Pragmatics! I joined Michael Scott as a coauthor. We updated the semantics chapter to use inference rules, & substantially updated coverage of types, OO, codegen, Rust ownership & safe concurrency, async, traits & more!
My largest remaining NSF grant, that was awarded by a competitive process on the recommendation of national experts, was terminated yesterday. The money would have paid for PhD students to invent better AI systems for everyday people who need programs written for them but who can't or won't write...
Our gradual verification work has this flavor—a user can go from no formal specifications and incrementally specify more and more receiving verification (static and dynamic) feedback a long the way.
Combined with @neurocy.bsky.social’s live programming work might be even closer.
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.
I feel like we need to keep saying this because it’s so insane: This is a legal U.S. resident who has been detained for over a month now for his political opinions.
I care less about Signal chats and more about the blacksite offshore concentration camps we're sending random people to without any semblance of a trial, so I'll be interested to see if the national media can rub their bellies and pat their heads at the same time this week. Historically they can't.
MIT following Harvard's lead here
In case you missed this update, no longer 70%, it’s 90% of people abducted and sent to El Salvador are innocent (“no US criminal record”)
60 Minutes found no criminal record for 75% of the Venezuelan migrants the U.S. sent to a mega-prison in El Salvador. https://cbsn.ws/4lC4Vp5
A Study of Undefined Behavior Across Foreign Function Boundaries in #rustlang Libraries
arxiv.org/abs/2404.11671
🦀 Hello World!
The Rust project now has an official presence on Bluesky! ✨
We'll be posting the same on our Mastodon and Bluesky accounts, so you won't miss anything on either platform.
Two updates: 1) early registration for physical attendees has been extended to April 1 and late registration to April 18, and 2) travel grant information is available on the VerifyThis website (verifythis.ethz.ch), apply by April 8. Hope to see you there!
