iiinova — where your digital self keeps evolving

Reposted by Fabian Muehlboeck

David Moon @dm0ney.bsky.social · 14/03/2025

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! 🙏

23424

Reposted by Fabian Muehlboeck

Cyrus Omar on sabbatical in Cambridge @neurocy.bsky.social · 03/03/2025

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

cse.engin.umich.edu

Cyrus Omar receives 1938E Award

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

10648

Reposted by Fabian Muehlboeck

Mae Milano @mpmilano.bsky.social · 20/01/2025

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

03113

Fabian Muehlboeck @fmbck.bsky.social · 20/01/2025

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!

01812

Reposted by Fabian Muehlboeck

Hila Peleg @hilacodes.bsky.social · 03/12/2024

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.

3347

Reposted by Fabian Muehlboeck

Antony Hosking @antonyhosking.bsky.social · 21/11/2024

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

0101