Languages Seminar (CSE 590L)

Language Support for Controlling Aliasing

Winter 2001

The seminar meets in EE1 026, Wednesdays at 3:30 pm. Please join the cse590l mailing list.

[See also CSE590K, Compiler Seminar, Winter 2000.]

Month  Day Speaker Paper
January 10  Jonathan Aldrich Flexible Alias Protection.  James Noble, Jan Vitek, and John Porter.  ECOOP98
January 17  Vass Litvinov Simple Ownership Types for Containment. D. G. Clarke, James Noble, and John Potter. Submitted for publication. 
January 24  Neno Medvidovic USC prof working on C2 Software Architecture project -- in Sieg 322
January 31 Todd Millstein Linear types can change the world! Philip Wadler
February 7 Sorin Lerner Quasi-Linear Types, Naoki Kobayashi, POPL 99.  An Extended TR version of same.
February 14    
February 21    
February 28    
March 7    

Future possible papers (any suggestions?)

Papers on language techniques to avoid representation exposure Papers on linear types (which ensure unique or unaliased pointers) Other alias-related language papers OOPSLA 00 language design papers PLDI 00 language design papers POPL 01 language design papers ECOOP 00 language design papers