PurPL is the cross-departmental center for programming languages research at Purdue University.
West Lafayette, IN
Joined August 2017
- Tweets233
- Following119
- Followers900
- Likes188
Pinned Tweet
Looking for high-impact PhD opportunities in Programming Languages & Software Engineering? Apply to @PurdueCS! We're #2 for the last 5 years (csrankings.org/#/fromyear/20…), right behind our friends in Pittsburgh and ahead of promising up-and-coming schools in Boston and elsewhere.
Congratulations Professor Wei!
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
Congratulations Professor Mishra!
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!
PurPL retweeted
@purdue_pl and @PurdueCS is a great place with many opportunities! Apply here: cs.purdue.edu/graduate/index…
PurPL retweeted
Great to see former @purdue_pl students continuing to carry the torch of continuations in AI!
Btw I am at #NeurIPS. We'll have a poster on Choice-based learning in Jax using algebraic effects and loss continuations at the MLforSys workshop on Saturday with @dancherp, @xnningxie, and Gordon Plotkin. Ping me if you would like to chat about anything, including DSPy ;)!
Great talk today from @lastland0 shallow embeddings, deep embeddings, and everything in between.
Congratulations to *Dr.* @GuannanWei on successfully defending his dissertation!
Happy to say that the defense was standing room only :)
Bursting with pride to see three (!) papers led by PurPL students. Congratulations to Qianchuan, Zhe, and Yongwei on their upcoming PLDI papers!
📰Taype: a Policy-Agnostic Language for Oblivious Computation
👥Qianchuan Ye, Benjamin Delaware
🔗pldi23.sigplan.org/details/p…
📰Trace-Guided Inductive Synthesis of Recursive Functional Programs
👥Yongwei Yuan, Arjun Radhakrishna, Roopsha Samanta
🔗pldi23.sigplan.org/details/p…
Congrats Raghav, Kabir and Milind!
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
🔗2023.splashcon.org/details/s…
Thank you for an excellent talk! It's always a delight to hear about all of the awesome PL work going on in the greater Midwest :)
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
🔗 doi.org/10.1145/3571196
@p_droabreu0 @GhostofBendy @cwjnkins
📰 Comparative Synthesis: Learning Near-Optimal Network Designs by Query
👥 Yanjun Wang, Zixuan Li, Chuan Jiang, Xiaokang Qiu, Sanjay Rao
🔗 doi.org/10.1145/3571197