This description of a recent zero-click iMessage exploit is absolutely blowing. It’s hard not to have deep respect for the amount of creativity put into a hack like this. Read until the end, the lead is burried. googleprojectzero.blogspot.com/2021/12/a-deep…

All the best, Shangyin! UC Berkeley EECS is a great choice for you

Congrats Shangyin! 👏👏👏 #BoilerUp We wish you the very best at @BerkleyEECS. Remembering when you earned honorable mention for @CRAtweets Undergrad Researcher Award purdue.link/cra_ug_research

Ever wondered what compilers have to do with basketball? Check out this analysis from my awesome CS 352 students presented in class today:

Talia Ringer 🟣 🎗️ Michael McThrow Jeff Dean Well, first, everyone should be in PL or compilers😁. It's a great education in lots of things that matter in practice. In my case I was looking for a year off to learn something new and bike to work vs fly to work (UCSB <-> Stanford).

What if we just don't pop the stack? We get more expressive second-class values & variable-sized on-stack data! Paper to appear at ECOOP'22 2022.ecoop.org/details/ecoop-… Comes with a prototype compiler and mechanized soundness proof. By Anxhelo Xhebraj Oliver Bračevac Guannan Wei Tiark Rompf

Congrats, Guannan Wei! Richly deserved

Congratulations to my post doc Yuyan Bao on her faculty position at Augusta University - all the best for the new gig, Yuyan!

PurPL is making a SPLASH in Auckland next week! Congrats to all the authors Kirshanthan Sundararajah Charitha Saumya @rcdickerson Milind Kulkarni Ben Delaware Suresh Jagannathan #SPLASH2022 #SPLASH22

Glad to share that our ICSE '23 submission on “Compiling Parallel Symbolic Execution with Continuations” (w/ Songlin, Ruiqi, Haotian, Shangyin Tan, Oliver Bračevac, Tiark Rompf) has been accepted. PurPL Purdue Computer Science

Super proud of the team!

In Boston for POPL this week? So is PurPL! #popl2023

Build a quantum circuit simulator using delimited continuations in Scala (github.com/Kraks/playgrou…), following Choudhury, Agapiev and Sabry's Scheme Pearl paper on Quantum Continuations (andykeep.com/SchemeWorkshop…)

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

Congratulations Guannan Wei on your successful thesis defense! A truly impressive body of work and an excellent presentation!

Congratulations to Sophia Drossopoulou (Sophia Drossopoulou) who has been awarded the Senior Dahl-Nygaard Prize for 2023. Sophia is an amazing researcher and mentor. Reading her papers on type system design made me start my PhD in this area. So well deserved! 2023.ecoop.org/track/ecoop-20…

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

Happy 2025 everyone! It's been an exciting year for our team, and to celebrate, we're releasing new code, examples, docs, and a slick new website for our query language Rhyme. Check it out: rhyme-lang.github.io, github.com/rhyme-lang/rhy…