PurPL

PurPL is the cross-departmental center for programming languages research at Purdue University.

[PurPL @purdue_pl]

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.

[PurPL @purdue_pl]

Congratulations Professor Wei!

[Guannan Wei @GuannanWei]

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

[PurPL @purdue_pl]

Congratulations Pedro!

[Pedro Abreu @p_droabreu0]

I defended my masters this week!

[PurPL @purdue_pl]

Congratulations Qianchuan!

[Ben Delaware @GhostofBendy]

Proud advisor moment: my student Qianchuan Ye successfully passed his PhD defense! Qianchuan will start as an assistant professor at SUNY Buffalo this fall :)

[PurPL @purdue_pl]

Congratulations Professor Mishra!

[ashish mishra @aegisAshish]

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!

[Tiark Rompf @tiarkrompf]

@purdue_pl and @PurdueCS is a great place with many opportunities! Apply here: https://t.co/EC69zT3fF7

[Tiark Rompf @tiarkrompf]

Great to see former @purdue_pl students continuing to carry the torch of continuations in AI!

[PurPL @purdue_pl]

MWPLS was a blast! Huge shoutout to the organizers at UM: @xwangsd, @neurocy, Max New, and Jean-Baptiste Jeannin

[Xinyu Wang @xwangsd]

Full house!

[PurPL @purdue_pl]

Great talk today from @lastland0 shallow embeddings, deep embeddings, and everything in between.

[PurPL @purdue_pl]

@notypes Hmmm... doesn't look like it's available on the website yet. I'm sure @PLDI is on it!

[PurPL @purdue_pl]

Absolutely delighted to announce that two of these works were recognized as distinguished papers! Congrats to Zhe and Yongwei!

[PurPL @purdue_pl]

Bursting with pride to see three (!) papers led by PurPL students. Congratulations to Qianchuan, Zhe, and Yongwei on their upcoming PLDI papers!

[PurPL @purdue_pl]

Congratulations to *Dr.* @GuannanWei on successfully defending his dissertation!

Happy to say that the defense was standing room only :)

[PurPL @purdue_pl]

📰Trace-Guided Inductive Synthesis of Recursive Functional Programs
👥Yongwei Yuan, Arjun Radhakrishna, Roopsha Samanta
🔗https://t.co/w7xWH0eHzq

[PurPL @purdue_pl]

Bursting with pride to see three (!) papers led by PurPL students. Congratulations to Qianchuan, Zhe, and Yongwei on their upcoming PLDI papers!

[PLDI @PLDI]

The list of papers accepted to PLDI 2023 are up! Check them out!

https://t.co/51DQ7m3HlL

[PurPL @purdue_pl]

📰Taype: a Policy-Agnostic Language for Oblivious Computation
👥Qianchuan Ye, Benjamin Delaware
🔗https://t.co/NmgZ0vUDqo

[PurPL @purdue_pl]

Congrats Raghav, Kabir and Milind!

[Raghav Malik @RaghavMalik15]

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!

[PurPL @purdue_pl]

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

[PurPL @purdue_pl]

Note: we're always happy to host a seminar from other folks in the region!

[PurPL @purdue_pl]

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 :)

[Dan Plyukhin @dplyukhin]

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!

[PurPL @purdue_pl]

📰 Comparative Synthesis: Learning Near-Optimal Network Designs by Query
👥 Yanjun Wang, Zixuan Li, Chuan Jiang, Xiaokang Qiu, Sanjay Rao
🔗 https://t.co/3UaEv0814w

[PurPL @purdue_pl]

In Boston for POPL this week? So is PurPL! #popl2023

[PurPL @purdue_pl]

📰 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