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

SPLASH 2026 - OOPSLA - SPLASH 2026

Welcome to the website of the SPLASH 2026 conference. We are working hard to fill the website with all related information. Please check back soon! In the meantime, please consider this overview of th...

2026.splashcon.org

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

Cyrus Omar receives 1938E Award

He has been recognized for innovative teaching, mentorship, and dedication to undergraduate research.

cse.engin.umich.edu

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