Looking for high-impact PhD opportunities in Programming Languages & Software Engineering? Apply to @PurdueCS! We're #2 for the last 5 years (https://t.co/5P1oQ6WKQN), right behind our friends in Pittsburgh and ahead of promising up-and-coming schools in Boston and elsewhere.
I guess now everything is almost settled — thrilled to announce that I will join the CS department at @TuftsUniversity as an assistant professor in Fall 2025. Before that, I will spend a year in the ANTIQUE team at INRIA/ENS as a postdoc, working with @caterinaurban. 1/3
Proud advisor moment: my student Qianchuan Ye successfully passed his PhD defense! Qianchuan will start as an assistant professor at SUNY Buffalo this fall :)
I am very excited to join the wonderful team at @cse_iith. The past few years @purdue_pl have been special. Suresh @suresh12345 has been a true mentor in every situation.
Working with Ben @GhostofBendy and so many awesome students was an honest luck. Thanks!
I’m excited to announce that in collaboration with @mkulkarni and Kabir Sheth, our paper titled “Coyote: A Compiler for Vectorizing Encrypted Arithmetic Circuits” will appear at @ASPLOSConf 2023!
Shoutout to @ChrisWagn3r, @NouraldinJaber & @roopshasamanta on their upcoming OOPSLA paper!
📰Enabling Bounded Verification of Doubly-Unbounded Distributed Agreement-Based Systems via Bounded Regions
👥Christopher Wagner, Nouraldin Jaber, Roopsha Samanta
🔗https://t.co/dDcUcjmzOu
Had such a great time at the @purdue_pl seminar today! Blown away by how thoughtful and interested everyone at Purdue is. Thank you @Pat_Lafonta for organizing :)
Please help me return the favor and DM me if you want to come speak at UIUC!
📰 A Type-Based Approach to Divide-and-Conquer Recursion in Coq
👥 Pedro Abreu, Benjamin Delaware, Alex Hubers, Christa Jenkins, J. Garrett Morris, Aaron Stump
🔗 https://t.co/IhWv0Cbfde
@p_droabreu0@GhostofBendy @cwjnkins