Programming Languages at Harvard
The Programming Languages Group is composed of faculty and students (in MD309)
at the Harvard John A. Paulson School
of Engineering and Applied Sciences who are interested in problems
relating to programming language foundations, design, and implementation.
The PL Seminar typically happens Wednesdays at 1600 in Maxwell Dworkin 323. We
occasionally have speakers at other times. Check the PL Seminar's
The Accrue project aims to provide language-based information security
guarantees that are proportional to programmer effort. With little effort, a
programmer may receive only weak (but, ideally, formal) guarantees; with
more effort, a programmer should receive stronger guarantees. The Accrue
project enables inference and discovery of strong information security
guarantees in Java programs.
- Privacy Tools
From the official website:
The Privacy Tools Project is a broad effort
to advance a multidisciplinary understanding of data privacy issues and
build computational, statistical, legal, and policy tools to help address
these issues in a variety of contexts.
- Shill: Scripting with Least Privilege
Shill is a shell scripting language designed to make it easy to follow the
Principle of Least Privilege. Shill uses capabilities to control what access
scripts have to your system. Every Shill script comes with a contract that
describes what it can do, so users can run third-party scripts with
confidence. Using capability-based sandboxes, Shill's security guarantees extend
even to native executables launched by scripts.
We have two mailing lists dedicated to programming languages. The md309
list is for students and former students of the PL Lab. The programming
list is for a wider audience of people (at Harvard and elsewhere) who are
interested in programming languages.
Using the above link, you can either join the Google group (if you have a
Google account) or subscribe to the distribution list (if you don't).
Recent Ph.D. Alumni
Recent Post-doc Alumni
- CS 152: Programming Languages (Sp 2017,
- CS 153: Compilers (Fa 2015)
- CS 250: Software Foundations (Fa 2014)
- CS 252r: Advanced Topics in Programming Languages
- History of programming languages (Fa 2016)
- Program analysis (Fa 2015)
- Analysis and security of apps (Fa 2014)
- CS 260r: Projects and Close Readings in Software Systems (not strictly a PL course, but often related)