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.
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 Matthai Philipose Enforcing High-Level Protocols in Low-Level Software, Robert DeLine, Manuel Fahndrich
February 21 Keunwoo Lee Alias Types for Recursive Data Structures.  Walker & Morrisett.
February 28 No Meeting Affiliates
March 7 Jonathan Aldrich Correct Architecture Refinement.  Moriconi, Qian, Riemenschneider, TSE '95
Future? An Event-Based Architecture Definition Language.  Luckham & Vera, TSE '95

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