UW PL Seminar (Spring 2014)
Wed 3:30pm in CSE 203
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.
Schedule
| Date | Presenter | Paper | ||
|---|---|---|---|---|
| Apr 2 | Zach Tatlock | Organization | ||
| Apr 9 | Byron Cook (MSR) | “Undecidable problems are still problems.” | ||
| Apr 16 | Doug, James | The Temporal Logic of Actions | ||
| Apr 23 | Konstantin, Brandon H. | Don’t Sweat the Small Stuff | ||
| Apr 30 | Pavel, Adrian | [Stochastic Optimization of FP Programs using Tunable Precision][STOKEFP | ] | |
| May 7 | Eric M., Stuart | Verified Compilation for Shared-Memory C | ||
| May 14 | Ben, Calvin | Surgical Precision JIT Compilers | ||
| May 21 | James, Colin | Types, Abstraction, and Parametric Polymorphism | ||
| May 28 | Kivanc, Darioush | A Study and Toolkit for Asynchronous Programming in C# | ||
| Jun 4 | Eric R., Kirill | Uncertain<T>: A First-Order Type for Uncertain Data |