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
- Jan 2025 - A Demonic Outcome Logic for Randomized Nondeterminism was accepted at POPL '25. Congratulations, Noam Zilberstein, Joseph Tassarotti, Alexandra Silva, Dexter Kozen!
- Jan 2025 - Bluebell: An Alliance of Relational Lifting and Independence for Probabilistic Reasoning was accepted at POPL '25. Congratulations, Jialu Bao, Emanuele D’Osualdo, Azadeh Farzan!
- Oct 2024 - Hongzheng Chen passed his A exam! Congratulations, Hongzheng!
- Oct 2024 - Outcome Separation Logic: Local Reasoning for Correctness and Incorrectness with Computational Effects was accepted at OOPSLA '24. Congratulations, Noam Zilberstein, Angelina Saliling, Alexandra Silva!
- Oct 2024 - Unifying Static and Dynamic Intermediate Languages for Accelerator Generators was accepted at OOPSLA '24. Congratulations, Caleb Kim, Pai Li, Anshuman Mohan, Andrew Butt, Adrian Sampson, Rachit Nigam!
- Oct 2024 - Computing Precise Control Interface Specifications was accepted at OOPSLA '24. Congratulations, Eric Campbell, Hossein Hojjat, Nate Foster!
