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.
News
- Oct 2023 - Formal Abstractions for Packet Scheduling was recognized as a Distinguished Paper at OOPSLA ‘23. Congratulations, Anshuman, Yunhe, Nate, Tobias, and Dexter!
- Aug 2023 - We are devastated by the sudden loss of Priya Srikumar. Griffin, Rachit, and UW PLSE have written touching blog posts in remembrance.
- Jul 2023 - SpecVerilog: Adapting Information Flow Control for Secure Speculation was accepted at CCS '23. Congratulations, Drew Zagieboylo, Charles Sherk, Andrew C. Myers, and G. Edward Suh!
- Jul 2023 - Formal Abstractions for Packet Scheduling was conditionally accepted at OOPSLA '23. Congratulations, Anshuman Mohan, Yunhe Liu, Nate Foster, Tobias Kappé, and Dexter Kozen!
- Jun 2023 - Nate Foster received the Robin Milner Young Researcher Award. Congratulations!
- Jun 2023 - Modular Hardware Design with Timeline Types appeared at PLDI '23. Congratulations, Rachit Nigam, Pedro Henrique Azevedo de Amorim, and Adrian Sampson!
