Each quarter we will explore 2-3 programming language and software engineering topics in depth. For each topic, we will read some seminal papers and some more recent papers. You can join the cse590p mailing list for weekly updates. Some paper links may point into the ACM Digital Library or the Springer online collection. Using a UW IP address, or the UW libraries off-campus access, should provide access.
Date | Who | What |
---|---|---|
Jan 10
|
Marisa |
Continuations 1: The Essence of Compiling with Continuation czar: Marisa |
Jan 17
|
|
Continuations 2: czar: Marisa |
Jan 24
|
Ben, Chandra |
Defunctionalization at work czar: Marisa |
Jan 31
|
Oak |
Multi-stage Programming 1: czar: Oak |
Feb 7
|
|
Multi-stage Programming 2: czar: Oak |
Feb 14
|
|
Multi-stage Programming 3: czar: Oak |
Feb 21
|
|
Multi-stage Programming 4: czar: Oak |
Feb 28
|
Jacob |
OS Verification: czar: Jacob |
Mar 6
|
|
OS Verification: czar: Jacob |
Mar 13
|
|
OS Verification: czar: Jacob |