About
I would found a research group where any programming language can be thoroughly studied.
Cornell has been at the center of research on programming languages for more than 50 years. We are a diverse group of researchers whose work intersects a wide array of domains within computer science.
Notable works from Cornell include: PL/C, NuPRL, Typed Assembly Language, Kleene Algebra with Tests, Cyclone, Jif, Frenetic, and discovering the unsoundness of Java and Scala’s type system.
This website is managed under Github. To modify, please submit a pull request!
News
- October 2026 - Karuna Grewal won the 2026 ACM SIGPLAN John Vlissides Award for her work’s significant promise in applied software research!
- September 2026 - The Cloud Should Adapt to Its Applications, Not the Other Way Around! was accepted at HotNets 2026. Congratulations, Sachin Ashok*, Karuna Grewal*, Brighten Godfrey, Justin Hsu, Radhika Mittal, and co-authors!
- August 2026 - λ_λ: A Programming Language for Photonic Switches won a Best Paper award at SIGCOMM ‘26. Congratulations, Vaibhav Mehta, Arjun Devraj, Bill Owen, Justin Hsu, and Rachee Singh!
- July 2026 - Autonomy Without Anarchy in Decentralized WAN Traffic Engineering was accepted at NSDI 2027. Congratulations, Arjun Devraj, Karuna Grewal, Justin Hsu, Rachee Singh, Eva Tardos, and collaborators!
- July 2026 - Verifying ε-Differential Privacy Bit by Bit was accepted at SAS 2026. Congratulations, Zachary Susag and Justin Hsu!
- July 2026 - Dr. Silei Ren defended his thesis! Congratulations, Silei!
