Mastodawn

Here's a couple I could scrape off arXiv at least.

I reeeeally wanted to produce a mosaic of all the teaser images, but unfortunately the ACM DL's "download all proceedings" button is completely broken (like 500 Internal Server Error), and the site is too scrape-resilient to access programmatically. We've truly given up on having *a* proceedings in favor of random access.

Will Crichton Mar 1

Interesting to note that in a convenience sample of ~10 UIST'25 papers, 100% have teaser images. The "visual abstract" seems to have reached complete coverage, despite not being a formal requirement of the CfP.

Will Crichton Jan 6

Anil Dash Jan 5

The number one thing I've been hearing from people in tech lately is, basically, "How the hell am I supposed to work in this industry anymore?" Though most folks are kind of afraid to say it out loud. So I wrote about how to think about it: https://www.anildash.com/2026/01/05/a-tech-career-in-2026/

How the hell are you supposed to have a career in tech in 2026?

A blog about making culture. Since 1999.

Anil Dash

Will Crichton Dec 8

Elena Glassman Dec 8

We're admitting PhD students! (Possible co-PIs include @Zittrain @ianarawjo if interests align.) Here's what we're excited about pursuing with new students:

https://docs.google.com/document/d/1CTgkYFeM0JWyDfBiEkPl0LiIC0F81F9XGDyyCAiHDBA/edit?usp=sharing

If you are interested in joining our lab, read through the call, ideally fill out the linked Google form, and definitely apply to Harvard SEAS (listing me as a faculty of interest) by December 15th, 2025!

Feel free to re-share! #HCI #phdPosition

PhD advert

CS PhD openings @ Harvard HCI’s Variation Lab advised by Prof. Elena Glassman A little history Founded in the fall of 2018, our small group has been a home for some truly terrific interdisciplinary HCI researchers: our postdoctoral scholars Tianyi Zhang. Ian Arawjo, and writer-scientist Katy Gero...

Google Docs

Will Crichton Nov 30

Matt Nov 30

Hi PLATEAU friends,

Your favorite PL+HCI workshop will be back again in 2026. This edition will be hosted at Carnegie Mellon University in Pittsburgh, PA on March 9-10, 2026. This year's paper deadline is December 17, 2025. You can find more about the workshop, paper topics, past proceedings, and more on our website.

https://2026.plateau-workshop.org/

We look forward to receiving your papers and seeing you in Pittsburgh in March!

Best,
Josh Sunshine, Sarah Chasins
PLATEAU 2026 Organizing Committee

PLATEAU Workshop | PLATEAU Workshop

Bringing together Programming Languages and Human-Computer Interaction

Will Crichton Nov 17

Max Willsey Nov 17

A bit late for this, but might as well:

**I am recruiting PhD students this year**

I am looking for students with strengths in some subset of compilers, databases, e-graphs, SMT solvers, theorem proving, and logic programming. You definitely don't have to have mastery of all those things (I don't!), but there's a lot of fun work to do in the intersection.

Will Crichton Oct 29

Excited to see Place Capability Graphs published at OOPSLA'25 (https://dl.acm.org/doi/10.1145/3763122). Better models of ownership both help us understand its conceptual essence and build better tools atop it. Similarly cool to see that Flowistry (https://github.com/willcrichton/flowistry) was used in the evaluation as a prospective downstream consumer of PCGs.

Will Crichton Oct 29

Show thread

markusde Oct 27

@maxsnew Oh buddy. I can ragebait harder than you can even imagine.

Will Crichton Aug 28, 2025

Shriram Krishnamurthi Aug 28, 2025

The systems group decided to welcome @tonofcrates to the Brown CS department by filling his office with a … ton of crates. Way to get him, Carolyn and Justus!

Website	https://willcrichton.net/
Research Lab	https://cel.cs.brown.edu/