CSE590L : Languages Seminar : Autumn 2002

[See also CSE590K, Compiler Seminar, Autumn 2002.]

This quarter we're meeting every other week, on Wednesdays at 3:30 in LOW 217, (well, except that we're meeting on Monday Feb. 10 because one of the presenters will be interviewing the week of the 19th).

Wed. Jan. 22: Keunwoo Lee, Todd Millstein
John Reynolds, Separation Logic: A Logic for Shared Mutable Data Structures: .ps.gz
Wed. Feb. 5: Mark Seigle, Tapan Parikh
S. Peyton-Jones, P. Wadler. Imperative Functional Programming: PostScript
Mon. Feb. 10: Jonathan Aldrich, Jed Liu
R. Freeman, F. Pfenning. Refinement Types for ML: ACM Portal link
Wed. Mar. 5: Sorin Lerner, Andrew Petersen
E. Ernst. Family Polymorphism: gzip'd PostScript

Papers we're not reading... yet

We aren't reading these papers this quarter, but they're more generally of interest, and we may read them in some future quarter. Email Keunwoo if you have other suggestions for papers to put on this list.


cse590l@cs
Last modified: Thu Feb 6 18:31:06 PST 2003