Programming Languages & Security
Overview
Programming Languages & Security at Princeton University includes functional programming languages (ML) and type theory, as well as security and privacy technologies and policy.
Groups
Projects
- 3D Content Creation Made Easy Through Non-Photorealism
- 3D Shape-Based Retrieval and Analysis
- Acoustic Modeling for Virtual Environments
- AMPL
- Anycast Services
- Aphasia
- Aspect-Oriented Functional Programming (AspectML)
- Audicle
- Bioinformatics & Functional Genomics
- Biological Process Inference from Experimental Interaction Evidence (BioPIXIE)
- Boosting
- CASS: Content-Aware Search System
- ChucK
- CoDeeN
- Concurrent C Minor
- Detection and Analysis of Chromosomal Abnormalities
- Discovery, Analysis and Dissemination of Information (DADI)
- E2E Protocol Design
- Expert-Driven Data Analysis and Visualization in Genomics
- Extensible Router
- Fault-tolerant Datacenter Services
- Filament
- Foundational Proof-Carrying Code
- FunctionalFlow
- GeneVand
- Gretchen
- Illustration and Analysis of Images with Normals
- Immune System Modeling & Simulation (IMMSIM)
- Incrementally Deployable Secure Inter-domain Routing
- Information Plane
- Interactive Architectural Walkthroughs
- Liberty Research
- Measurement and representation of realistic surface appearance
- Modeling Science
- Modularity and Secure Linking
- MoSievius - Real-time feature-based audio mosaicing
- Multi-User Virtual Environments
- Music Analysis, Retrieval and Synthesis for Audio Signals (Marsyas)
- Network Servers
- Network X-ities for Routing Protocols
- Network-wide control and Management
- New techniques for range scanning
- On-the-fly programming
- PADS
- Parallel Computing
- Parallel Rendering With Clusters of PCs
- Peer-to-peer CDNs
- Physically Inspired Stochastic Event Modeling (PhISEM)
- PlanetLab
- Pluto
- Polymer - A Language for Composing Run-Time Security Policies
- Prediction of Protein Function and Regulation
- Princeton Laptop Orchestra (Plork)
- Princeton Shape Benchmark
- Proof-Carrying Authorization
- ProteinPathGrep
- QSplat
- Radiosity Lighting Simulation
- Reassembling the Thera Wall Paintings
- Sea of Images - Image-Based Rendering of Large Environments
- Secure Applications for handheld Devices
- Service-centric networks
- Sndtools
- Spasm
- Standard ML of New Jersey
- Structural Modeling
- Suggestive Contours
- Synthesis ToolKit in C++ (STK)
- THRIFT
- Typed Assembly Language (TAL)
- VELOCITY Compiler
- Verified Software Toolchain
- WordNet
- Zap
- ZebraNet
Archived Projects (no longer active)
Graduate Students
- Christian Bell
- Joseph Calandrino
- Will Clarkson
- Ian Davey
- Rob Dockins
- Josiah Dodds
- Ariel Feldman
- Nicholas Jones
- Joshua Kroll
- Timothy Lee
- Christopher Monsanto
- Nayden Nedev
- Cole Schlesinger
- Gordon Stewart
- Qian Xi
- Harlan Yu
