Programming Languages at Harvard

The Programming Languages Group is composed of faculty and students (in MD309) at the School of Engineering and Applied Sciences who are interested in problems relating to programming language foundations, design, and implementation. Those topics include, but are not limited to

type systems
functional programming
compilation
optimization
security
semantics

MD309 Mailing List

Seminar Mailing List

Seminar

People

Faculty	Research Staff	Administrative Staff
Stephen Chong Greg Morrisett Mike Smith	Glenn Holloway Dave Pichardie Randy Pollack	Susan Welby
Ph.D. Students	Post-docs	Recent Alumni
David Darais Daniel Huang Andrew Johnson Gregory Malecha Scott Moore Adam Petcher Lucas Waye Ryan Wisnesky	Aslan Askarov Jesse Tov	Paul Govereau

Courses

Current

Fa 2012, CS 252r: Advanced Functional Language Compilation

Fa 2011, CS 252r: Advanced Topics in Programming Languages
Sp 2011, CS 252r: Program Analysis
Fa 2009, CS 252r: Language-based Security and Concurrency
Sp 2007, CS 250r: Integrating Specification and Verification
Sp 2006, CS 256: Programming Languages and Semantics
Fa 2005, CS 257: Programming with Concurrency
Sp 2005, CS 256: Programming Languages and Semantics
Sp 2004, CS 255: Topics in Language-Based Security

Research

Ynot: Dependent Types for Imperative Programs
GoNative: Safe Execution of Native Code
NoBot: Bot Defense
LLVMmd
CHILI
DHOSA
Robobees
CRASH-SAFE

Programming Languages at Harvard

MD309 Mailing List

Seminar Mailing List

Seminar

People

Faculty

Research Staff

Administrative Staff

Ph.D. Students

Post-docs

Recent Alumni

Courses

Current

Previous

Research