We'll be reading and discussing exciting recent papers from the programming languages community.
Participants should subscribe to the 590p mailing list. Note the list also has many current and former department members interested in programming languages.
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 | Presenter | Paper |
|---|---|---|
| Jan 8 | Zach Tatlock | Organization |
| Jan 15 | Brandon H., Stuart | Exploiting Vector Instructions with Generalized Stream Fusion |
| Jan 22 | Brandon M., Ben | Practical Automatic Loop Specialization |
| Jan 29 | James, Eric M. | The Bedrock Structured Programming System |
| Feb 5 | Colin | Programming and Reasoning with Algebraic Effects and Dependent Types |
| Feb 12 | Doug, Adrian | A Verified Information Flow Architecture |
| Feb 19 | Pavel, Konstantin | Combining Proofs and Programs in a Dependently Typed Langauge |
| Feb 26 | Tom | NetKAT: Semantic Foundations for Networks |
| Mar 5 | Calvin, Eric R. | Copatterns: programming infinite structures by observations |
| Mar 12 | Darioush, Kivanc | Refactoring with Synthesis |