SAPLING Report [loc-002J]

Today I went with many colleagues to Google Sydney for the Sydney Area Programming Languages Interest Group (SAPLING) 2025 meeting. I didn't present anything at the meeting but my PhD student, Xin Lu did a lightning talk introducing her work on incorrectness logic.

It was good to see many colleagues from UNSW Sydney and catch up with some of my former students who were now working for Google.