Programming Languages & Software Engineering
Overview
Programming Languages & Security at Princeton University includes functional programming languages (ML) and type theory, as well as security and privacy technologies and policy.
Projects
- AMPL
- Aspect-Oriented Functional Programming (AspectML)
- 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)
- Verified Software Toolchain
- Zap