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. 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
• David Walker

Associated Graduate Students

• Tim Alberdingk Thijm
• Joshua Cohen
• Joomy Korkut
• Devon Kennedy Loehr
• Charlie Murphy
• Jake Silverman
• Qinshi Wang
• Matthew Weaver
• Weikun Yang
• Shaowei Zhu

Projects

• CertiCoq: Principled Optimizing Compilation of Dependently Typed Programs
• Network Programming and Verification
• 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