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.


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