Now that people are starting to make travel plans to FLoC: if you're doing education, please consider submitting to Tools for Educational Activities in Logic! Lots of categories: you can even re-send us *existing papers* (please see CFP)! (Please reshare!)
teal.cs.brown.edu/floc2026/
Undergraduate, master’s, and early-stage PhD students interested in programming languages should apply to PLMW at PLDI 2026. It is a great opportunity to learn from researchers, build connections, and explore future directions in PL! Apply here: pldi26.sigplan.org/home/PLMW-PL...
I'm okay with this on the fundraising side, but have unfortunately seen it used in research papers, paper reviews, and academic discussion in the AI x verification space. This feels not good.
I totally agree! In the AI x verification space it’s just a repair loop between an LLM and verifier or an LLM taking the place of a heuristic technique. These are straightforward techniques that work but do not feel agentic to me.
A special workshop celebrating Thomas Ball's 60th birthday and extraordinary impact in PL, SE, and formal methods will be held on June 16th at PLDI'26!
There is a great line up of speakers who will reflect on his contributions and lasting influence. Don't miss it! pldi26.sigplan.org/home/tb-60-2...
Idk why but the terms "agentic" or "agent" as used in AI are so off-putting to me. Maybe because they feel so buzz wordy? Lack precision?
Totally agree! Of all the campuses I've visited, IU is the best looking by far.
This made me feel a bit better thanks!
I thought paper reviews wouldn't bother me as much as a faculty, but nope they still do just as much. This time I get to feel like I let my students down instead of my advisors. (Also, reviews are fresh so in my feels right now😅; I'll be in higher spirits soon.)
📢 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.
