Welcome to the Home of the Programming Languages Laboratory!
The Programming Languages Laboratory focuses on fundamental problems in programming languages. We are interested in addressing challenging problems which can also have practical impact within a ten year time frame. A common thread of much of our research is the extraction of static (compile-time) properties of programs. This can include type information, flow information, security information, and other program properties. Efforts involve both solving of fundamental problems, and implementation to justify the usefulness of the solution.
Current research projects include the following (they are also listed on the menu above):
- NesT: Staged programming for sensor networks
- Coqa: Improving atomicity and programmability for multi-core machienes
- Nuggetizer: Extracting inductive definitions from arbitrary programs for automated program reasoning
- NewArch: Rethinking classes, modules, and component boundaries and interactions
- Security: Securing programs by using programming language methodology to track data.
- Earlier Projects including Type Constraints, Specification Diagrams, Foundations of Actor Computation, Foundations of Operational Semantics, Hardware Verification, and Constructive Type Theory.