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.
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
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!
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...
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.)
Looks like from the activity on my post the answer is yes, yay😄
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?
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
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)
📢 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...
