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.
- Textbooks
- Types and Programming Languages by Benjamin C. Pierce, MIT Press 2002.
A copy of this textbook is on reserve at the library. - Domain-specific languages
-
Domain-specific languages: an annotated bibliography
ACM SIGPLAN Notices, June 2000 -
Building domain-specific embedded languages
ACM Computing Surveys 28, 1996 -
Concrete Syntax for Objects: Domain-Specific Language Embedding and Assimilation without Restrictions
OOPSLA 2004 -
Haskore Music Notation: An Algebra of Music
Journal of Functional Programming 6, 1995 -
How to write a financial contract
ICFP 2000 -
Object-Oriented Units of Measurement
OOPSLA 2004 - Language-based security
-
From dynamic to static and back: Riding the roller coaster of information-flow control research
Andrei Ershov International Conference on Perspectives of System Informatics, 2009 -
Hyperproperties
CSF 2008 -
Jif Reference Manual
-
Singularity: Rethinking the Software Stack
ACM SIGOPS Operating Systems Review 41:2 - Distributed systems
-
Efficient Memory Safety for TinyOS
Sensys 2007 - Concurrency
-
Optimistic Parallelism Requires Abstractions
PLDI 2007 -
A compositional theory for STM Haskell
ICFP 2009 -
Transactional events
ICFP 2006 -
Implicitly-threaded parallelism in Manticore Parallel
ICFP 2008