I gave a talk at Wisconsin’s madPL seminar on Synthesizing Backward through the Geometry Pipeline in August 2020.
Chandrakana gave a great talk at PLDI in June 2020 on Szalinski from our paper Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations 👏
I got tenure in September 2019 and am now an Associate Professor at the University of Washington 👨🏫
I taught a short course on verifying distributed systems implementations in Coq during the DeepSpec Summer School at Princeton in July 2018; see the tutorials, exercises, slides and videos. Thanks to the participants and organizers for a spectacular event! 👨🏫
In June 2018 I was honored to speak during PLMW @ PLDI. It was a great mentorship event for junior researchers in PL; many thanks to the wonderful participants and organizers!
I organized the PNW PLSE meeting for Spring 2018. If you hang out in the Pacific Northwest and are working in software engineering, programming languages, systems, or related areas stay tuned for future events!
Konstantin (my first PhD student!) graduated in June 2017 🎓 Having ascended, Konne is going off to bring his wizardly mastery of networks and formal methods to bear at Google.
Had a blast at SNAPL in May 2017 catching up with folks and discussing new, big ideas in PL research!