Harvard SEAS Logo

CS 252r: Advanced Topics in Programming Languages


  Course description
  Reading papers
  Presenting papers
  Research projects
  Schedule
  Additional reading

HARVARD SCHOOL OF ENGINEERING AND APPLIED SCIENCES

CS 252r: Advanced Topics in Programming Languages

Schedule

Jump to: Language-based security; Language support for building distributed systems; Language abstractions for concurrency.

NOTE: Schedule is subject to change.

Date Lec. Topic Papers Presenter
Language-based security
W Sep 2 1 Intro to language-based security Steve
M Sep 7 Labor Day
W Sep 9 2 Intro to information flow Steve
Slides
M Sep 14 3 Static enforcement of information flow/Jif Gregory
W Sep 16 4 Declassification and erasure Avi
M Sep 21 5 Dynamic enforcement of information flow Steve
W Sep 23 6 Information flow in dynamic languages Uri
M Sep 28 7 Room change: MD 323
Information-flow control at OS abstraction
Mike
Slides
W Sep 30 8 Execution monitors Uri
Language support for distributed systems
M Oct 5 9 DryadLINQ Joe
W Oct 7 10 Project proposal due
Web applications
-
M Oct 12 Columbus Day
W Oct 14 11 Web applications Steve
M Oct 19 12 Fabric Gregory
W Oct 21 13 Sensor networks -
M Oct 26 14 Calculi for distributed systems Pi calculus tutorial
Comments required only on the Abadi-Gordon paper.
Ryan
Language abstractions for concurrency
W Oct 28 15 Introduction/motivation -
M Nov 2 16 Concurrency errors Mike
W Nov 4 17 Data-races and deadlock Dave
M Nov 9 18 Project update due
Software transactional memory (STM)
Ryan
W Nov 11 Veterans Day
M Nov 16 19 Semantics of STM Avi
W Nov 18 20 Atomos Dave
M Nov 23 21 X10 -
W Nov 25 Class rescheduled to Tue Dec 1
T Dec 1
10:30am-12:00pm
23 Threads vs. events -
Projects
M Nov 30 22 Project presentations
W Dec 2 Class canceled for NEPLS
W Dec 9 Final projects due

Additional reading

The following publications provide additional information and perspectives on some of the topics we are covering in class. Reading this material is optional. This reading list is not comprehensive.