Programming Languages / Compilers

Programming Languages & Security at Princeton University includes functional programming languages (ML) and type theory, as well as security and privacy technologies and policy.

Associated Faculty

• Andrew Appel
• David August
• Aarti Gupta
• Brian Kernighan
• David Walker

Associated Graduate Students

• Ryan Beckett
• Qinxiang Cao
• Santiago Cuellar
• Josiah Dodds
• Jonathan Frankle
• Joshua Kroll
• Christopher Monsanto
• Olivier Savary Belanger
• Cole Schlesinger
• Gordon Stewart

Projects

• CertiCoq: Principled Optimizing Compilation of Dependently Typed Programs
• Frenetic
• Verified Software Toolchain

Archived Projects (no longer active)

• AMPL
• Concurrent C Minor
• Foundational Proof-Carrying Code
• Modularity and Secure Linking
• PADS
• Polymer - A Language for Composing Run-Time Security Policies
• Proof-Carrying Authorization
• Standard ML of New Jersey
• Typed Assembly Language (TAL)
• Zap