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.
- X. Qie, R. Pang, L. Peterson. Defensive Programming:
Using an Annotation Toolkit to Build DoS-Resistant Software:
web page
- S. Kumar, K. Li. Using Model Checking to Debug Device Firmware:
PDF
- M. Musuvathi, D. Y. W. Park, A. Chou, D. R. Engler, D. L. Dill.
CMC: A Pragmatic Approach to Model Checking Real Code:
PDF
cse590l@cs
Last modified: Thu Feb 6 18:31:06 PST 2003