Shoutout to @ChrisWagn3r, Nouraldin Jaber & Roopsha Samanta on their upcoming OOPSLA paper! 📰Enabling Bounded Verification of Doubly-Unbounded Distributed Agreement-Based Systems via Bounded Regions 👥Christopher Wagner, Nouraldin Jaber, Roopsha Samanta 🔗2023.splashcon.org/details/splash…

Congrats Raghav, Kabir and Milind!

Congratulations to *Dr.* Guannan Wei on successfully defending his dissertation! Happy to say that the defense was standing room only :)

Absolutely delighted to announce that two of these works were recognized as distinguished papers! Congrats to Zhe and Yongwei!

Great talk today from Yao Li shallow embeddings, deep embeddings, and everything in between.

MWPLS was a blast! Huge shoutout to the organizers at UM: Xinyu Wang, Cyrus Omar (now mainly on bsky), Max New, and Jean-Baptiste Jeannin

PurPL and Purdue Computer Science is a great place with many opportunities! Apply here: cs.purdue.edu/graduate/index…

Great to see former PurPL students continuing to carry the torch of continuations in AI!

Congratulations Professor Mishra!

Congratulations Qianchuan!

Congratulations Pedro!

Congratulations Professor Wei!