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
• Zachary Kincaid
• David Walker

Associated Graduate Students

• Tim Alberdingk Thijm
• Santiago Cuellar
• Nikolaos Giannarakis
• Anders Miltner
• Zoe Paraskevopoulou
• Olivier Savary Belanger
• Jake Silverman
• Qinshi Wang
• Weikun Yang

Projects

• CertiCoq: Principled Optimizing Compilation of Dependently Typed Programs
• Frenetic
• SyLVer: Synthesis, Learning, and Verification
• 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