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
- 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!
- March 2025 - Probabilistic Kleene Algebra with Angelic Nondeterminism was accepted at PLDI '25. Congratulations, Shawn Ong, Stephanie Ma, and Dexter Kozen!
- March 2025 - Active Learning of Symbolic NetKAT Automata was accepted at PLDI '25. Congratulations, Mark Moeller, Tiago Ferreira, Thomas Lu, Nate Foster, and Alexandra Silva!
- March 2025 - StacKAT: Infinite State Network Verification was accepted at PLDI '25. Congratulations, Jules Jacobs, Nate Foster, Tobias Kappé, Dexter Kozen, Lily Saada, Alexandra Silva, and Jana Wagemaker!
- Jan 2025 - A Demonic Outcome Logic for Randomized Nondeterminism was accepted at POPL '25. Congratulations, Noam Zilberstein, Joseph Tassarotti, Alexandra Silva, Dexter Kozen!
