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
- March 2026 - Weighted NetKAT: A Programming Language For Quantitative Network Verification was accepted at PLDI '26. Congratulations, Emmanuel Suárez Acevedo, Tiago Ferreira, Kevin Batz, Oliver Emil Bøving, Nate Foster, and Alexandra Silva!
- March 2026 - Synthesizing Backward Error Bounds, Backward was accepted at PLDI '26. Congratulations, Laura Zielinski and Justin Hsu!
- Jan 2026 - Probabilistic Concurrent Reasoning in Outcome Logic: Independence, Conditioning, and Invariants won a Distinguished Paper Award at POPL ‘26. Congratulations, Noam, Joe, and Alexandra!
- Nov 2025 - Probabilistic Concurrent Reasoning in Outcome Logic: Independence, Conditioning, and Invariants was accepted at POPL '26. Congratulations, Noam Zilberstein, Alexandra Silva, and Joseph Tassarotti!
- Aug 2025 - A Hoare Logic for Symmetry Properties was accepted at OOPSLA '25. Congratulations, Vaibhav Mehta and Justin Hsu!
- Aug 2025 - Faster Explicit-Trace Monitoring-Oriented Programming for Runtime Verification of Software Tests was accepted at OOPSLA '25. Congratulations, Kevin Guan, Marcelo d'Amorim, and Owolabi Legunsen!
