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/.

Associated Faculty

• Andrew Appel
• David August
• Aarti Gupta
• Brian Kernighan
• Zachary Kincaid
• Mae Milano
• David Walker

Associated Graduate Students

• Joshua Cohen
• Joomy Korkut
• Nikhil Pimpalkhare
• Jake Silverman
• Matthew Weaver
• Han Xu
• Weikun Yang
• Dexin Zhang
• Andrew Zhao
• Shaowei Zhu