PurPL is the cross-departmental center for programming languages research at Purdue University.
Joined August 2017
- Tweets 233
- Following 120
- Followers 912
- Likes 188
66 Photos and videos
Pinned Tweet
3 Dec 2019
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.
8
18
29 Aug 2024
Congratulations Professor Wei!
29 Aug 2024
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
6
339
15 Apr 2024
Congratulations Pedro!
5
473
15 Apr 2024
Congratulations Qianchuan!
12 Apr 2024
Proud advisor moment: my student Qianchuan Ye successfully passed his PhD defense! Qianchuan will start as an assistant professor at SUNY Buffalo this fall :)
12
505
8 Mar 2024
Congratulations Professor Mishra!
8 Mar 2024
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!
4
494
PurPL retweeted
12 Dec 2023
@purdue_pl and @PurdueCS is a great place with many opportunities! Apply here: cs.purdue.edu/graduate/index…
2
3
1,291
PurPL retweeted
14 Dec 2023
Great to see former @purdue_pl students continuing to carry the torch of continuations in AI!
13 Dec 2023
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 ;)!
2
11
2,427
15 Sep 2023
Great talk today from @lastland0 shallow embeddings, deep embeddings, and everything in between.
1
1
24
1,219
12 May 2023
Absolutely delighted to announce that two of these works were recognized as distinguished papers! Congrats to Zhe and Yongwei!
11 Apr 2023
Bursting with pride to see three (!) papers led by PurPL students. Congratulations to Qianchuan, Zhe, and Yongwei on their upcoming PLDI papers!
6
38
10,448
19 Apr 2023
Congratulations to *Dr.* @GuannanWei on successfully defending his dissertation!
Happy to say that the defense was standing room only :)
3
3
63
13,774
11 Apr 2023
Bursting with pride to see three (!) papers led by PurPL students. Congratulations to Qianchuan, Zhe, and Yongwei on their upcoming PLDI papers!
The list of papers accepted to PLDI 2023 are up! Check them out!
pldi23.sigplan.org/track/pld…
1
2
24
12,825
11 Apr 2023
📰Taype: a Policy-Agnostic Language for Oblivious Computation
👥Qianchuan Ye, Benjamin Delaware
🔗pldi23.sigplan.org/details/p…
1
1
5
730
11 Apr 2023
📰Trace-Guided Inductive Synthesis of Recursive Functional Programs
👥Yongwei Yuan, Arjun Radhakrishna, Roopsha Samanta
🔗pldi23.sigplan.org/details/p…
8
615
22 Mar 2023
Congrats Raghav, Kabir and Milind!
22 Mar 2023
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!
1
9
1,138
17 Mar 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…
1
15
10,302
6 Mar 2023
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 :)
4 Mar 2023
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!
1
6
969
6 Mar 2023
Note: we're always happy to host a seminar from other folks in the region!
242
16 Jan 2023
📰 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
1
1
9
589
16 Jan 2023
📰 Comparative Synthesis: Learning Near-Optimal Network Designs by Query
👥 Yanjun Wang, Zixuan Li, Chuan Jiang, Xiaokang Qiu, Sanjay Rao
🔗 doi.org/10.1145/3571197
1
333