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!
All News >>