We've set up a Discord server for #PLDI26! Join the community for discussions, networking, and real-time conference updates. Find the invite link on the attendee info page: pldi26.sigplan.org/attending/In...

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

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?

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

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

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

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)

Looks like from the activity on my post the answer is yes, yay😄

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.

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

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!

PLMW@PLDI'25 is now accepting applications: pldi25.sigplan.org/home/PLMW-pl... Deadline: April 10, 2025 PLMW an excellent place to learn about exciting PL research, from the ground up, and to find your PL friends! Please apply!

For formal methods folks looking for a new position: @VeridiseInc is hiring a formal methods researcher to work on verification/analysis tools targeting zero-knowledge applications. More details are here: veridise.com/careers/zk-r...

ECOOP 2025 Round 2 papers are due tomorrow! Submit your best work! 2025.ecoop.org/track/ecoop-...

Are you graduating with a PhD? Do you work on program analysis, formal verification, software correctness, or AI? Apply to join the UMass LASER lab as a postdoctoral researcher, a vibrant team focused on using the latest NLP technology to ensure software correctness!

VerifyThis is a series of program verification competitions bringing together those interested in formal verification. The 2025 edition will be held as a hybrid workshop with ETAPS. Early registration for physical attendees is open until Feb. 28. For more information see verifythis.ethz.ch. 1/2

I recently gave one of the best talks of my career thus far, and thankfully it was recorded, so I figured I share that here! Thoughts/ideas/questions welcome! scs.hosted.panopto.com/Panopto/Page...

If you wanted to cut waste, fraud, and abuse, you would empower the inspectors general. If you wanted more waste, fraud, and abuse, you would fire them.

🧵"So this is how liberty dies..." Trump’s first 3 weeks have been a relentless flood of actions. It's incredibly hard to keep up. I’ve gone through 69 actions & mapped out the pattern - showing how they fall within 5 broad domains consistent with authoritarian states 1/9

Please remember something: if you had said a year ago that Trump would do even a fraction of these things, you would have been mocked, belittled, accused of “Trump derangement syndrome,” and dismissed by certain people. Identify those people and block and shun them.

NSF proposed Trump budget goes from $9Bil->$3Bil, wow--can you believe that $6Bil of all NSF funding goes to DEI!?

To be honest, I'm surprised every scientific agency and university and so on is getting on its knees for this administration rather than actually resisting fascism in some meaningful way

This statement from CRA outlines the critical importance that the National Science Foundation plays for our nation's prosperity, security, and future. I highly recommend sharing it with your colleagues, and calling your representatives in Congress to convey these benefits to them in your own words!

It scares the shit out of me that all of my grant applications can be subject to extra review because my CV says "LGBT" and "Diversity," like what terrible fascist dystopia is this

One thing that will become blatantly obvious with our higher education and scientific institutions is that their statements of "core values" don't mean shit.

This week, the NSF Director became complicit in the administration’s efforts to undermine American science. https://bit.ly/nsfresign

If you are a PhD student in computer science who is directly impacted by the last two weeks of orders, please know that it's ok to not be in a headspace for research If anyone is pushing you to be productive despite it all, please reach out to me, or SIGPLAN CARES, or computingconnections.org

One thing about me is that I will fight Nazis until I’m six feet in the ground.

Are you interested in getting a PhD in Programming Languages, particularly on practical and theoretical aspects of gradual typing? Consider working with me at the Australian National University. PhDs in Australia take 3-4 years, see tinyurl.com/ANUPLPhD . If you're there, find me at POPL this week!

Been thinking about these ideas for a couple of years! Finally time to put them into action and make the SRC an awesome place for junior researchers to get high-quality feedback on ongoing work!

Mentoring is incredibly important to students and young researchers. @notypes.bsky.social and @avh.bsky.social talk about the "missing mentoring pillar" in our latest PL Perspectives blog post blog.sigplan.org/2025/01/13/t...

Thomas Wies (NYU) and I are organizing the 2025 edition of the VerifyThis competition and we are currently looking for interesting academic or industry verification problems. The deadline for submission is Feb. 7. See the call for problems for more information: www.pm.inf.ethz.ch/research/ver....