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
- 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!
- June 2026 - Dr. Zachary Susag defended his thesis! Congratulations, Zach!
- June 2026 - Type-Directed Discretization of Probabilistic Programs was accepted at OOPSLA '26. Congratulations, Katherine Wu, Jules Jacobs, Kevin Batz, and Alexandra Silva!
- June 2026 - Understanding Accelerator Compilers via Performance Profiling was accepted at OOPSLA '26. Congratulations, Ayaka Yorihiro, Griffin Berlstein, Pedro Pontes García, Kevin Laeufer, and Adrian Sampson!
