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 | Who | What |
---|---|---|
Jan 6
|
PLSE |
Organize! |
Jan 13
|
Doug Woos and Ryan Doenges |
Refinement Reflection |
Jan 20
|
Nate and Calvin |
Component-Based Synthesis for Complex APIs |
Jan 27
|
Talia and Stuart |
Beginner’s Luck: A Language for Property-Based Generators |
Feb 3
|
John |
Call Graphs for Languages with Parametric Polymorphism |
Feb 10
|
Chenglong |
Polymorphism, Subtyping, and Type Inference in MLsub |
Feb 17
|
Martin and Eric |
Into the depths of C: elaborating the de facto standards |
Feb 24
|
Steven and Max |
Verified Compilation of CakeML to Multiple Machine-Code Targets |
Mar 3
|
Pavel and Mangpo |
Automatic Parallelization of Pure Method Calls via Conditional Future Synthesis |
Also see the suggestions from last quarter.