OOPSLA 2026 deadline is just a week away! Can you please help us get the word out by sharing? Thanks! 2026.splashcon.org/track/oopsla...

I am once more seeking participants for a user study. We'll be evaluating a prototype code editor that completes your text with placeholders for missing tokens expected by the language. Here's a short video of me motivating the editor and study. Details in thread. Reskeets appreciated! 🙏

I'm honored to receive the 1938E Award, which honors "outstanding young faculty members who demonstrate excellence in teaching, mentoring, and contributing to the educational growth of the College". Working with budding PL nerds is a highlight of my job! cse.engin.umich.edu/stories/cyru...

Hey all! Who's at POPL? If you're here and looking to do a PhD at Princeton, let's chat!

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!

I don't know who needs to hear this, but a linkedin username is not a substitute for a personal webpage. It's not accessible to other researchers looking you up who don't have a linkedin account because we're academics who don't have a real job so why would we want one.

SAPLING’24 program begins: Sydney Area Programming Languages and Systems #sapling