Programming Languages at Harvard
The Programming Languages Group is composed of faculty and students
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.
Seminars
The PL Seminar typically happens Fridays at 14:00 ET in SEC 6.412. We
occasionally have speakers at other times. Check the PL Seminar's
Google calendar
for details. To get email notifications for invited talks, join the Google Group.
We also regularly participate in the Security, Programming Languages and
Systems Seminar (SPYS).
Selected Current Research Projects
- Formulog
-
Formulog extends the logic programming language Datalog with mechanisms for
constructing and reasoning about SMT formulas. In doing so, it makes it
possible to write a range of SMT-based static analyses in a way that is
both close to their formal specifications and amenable to high-level
optimizations and efficient evaluation.
- 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.
Mailing Lists
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).
People
Faculty
Ph.D. Students
Postdocs
Recent alums and affiliates
- Owen Arden (postdoc), now at UC Santa Cruz
- Aslan Askarov (postdoc), now at Aarhus University
- Anindya Banerjee (visitor)
- Shrutarshi Basu (postdoc), now at Middlebury College
- Aaron Bembenek (PhD), now at University of Melbourne
- Michael Buch (PhD), now at Bloomberg London
- Pablo Buiras (postdoc), now at KTH Royal Institute of Technology
- Christos Dimoulas (postdoc), now at Northwestern University
- Anitha Gollamudi (PhD), now at Yale University
- Paul Govereau (PhD)
- Michael Greenberg (visitor)
- Jingmei Hu (PhD), now at Amazon
- Daniel Huang (PhD), now at San Francisco State University
- Andrew Johnson (PhD), now at Google
- Ming Kawaguchi (postdoc), now at Goldman Sachs
- Elisavet Kozyri (postdoc), now at UiT The Arctic University of Norway
- Gregory Malecha (PhD)
- Scott Moore (PhD and postdoc), now at Galois
- Mathias Pedersen (visitor)
- Adam Petcher (PhD), now at Amazon
- Suman Saha (postdoc), now at Pennsylvania State University
- Jesse Tov (postdoc), now at Northwestern University
- Jean-Baptiste Tristan (postdoc), now at Boston College
- Lucas Waye (PhD), now at Facebook
- Ryan Wisnesky (PhD)
- Jian Xiang (postdoc), now at UNC Charlotte
- Yizhou Zhang (postdoc), now at University of Waterloo
Recent Courses