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
- 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!
- Aug 2025 - SafeTree: Expressive Tree Policies for Microservices was accepted at OOPSLA '25. Congratulations, Karuna Grewal, P. Brighten Godfrey, Justin Hsu!
- Aug 2025 - Proof Repair across Quotient Type Equivalences was accepted at OOPSLA '25. Congratulations, Cosmo Viola, Max Fan, Talia Ringer!
- May 2025 - Outcome Logic: A Unified Approach to the Metatheory of Program Logics with Branching Effects was accepted at TOPLAS '25. Congratulations, Noam Zilberstein!
- May 2025 - Denotational Semantics for Probabilistic and Concurrent Programs was accepted at CONCUR '25. Congratulations, Noam Zilberstein, Daniele Gorla, Alexandra Silva!
