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