Programming Languages & Compilers

The field of programming languages is concerned with language design and implementation, as well as methods for reasoning about the behavior of programs. The goal of research in this area is to make it easier for software developers to write correct and performant code. At Princeton, researchers are interested in functional programming languages, type theory, compilers, program analysis and synthesis, and formal verification. Topics span from developing the mathematical theory of programming languages to interdisciplinary work that intersects with domains such as networking, computer architecture, and distributed systems. The Princeton Programming Languages Group website can be found at http://pl.cs.princeton.edu/.