Program committee:
Stephen Fink, IBM TJ Watson Research CenterMitchell Wand, College of Computer Science, Northeastern University
Daniel Wang, Agere Systems
PROGRAM
Keynote Address: An Algebraic Theory of Polymorphic Temporal Media
Paul Hudak (Yale University)
Taming the Intel IXP Network Processor
Lal George (Network Speed Technologies), Matthias Blume (TTI-C)
Toward a Programming Model for Building Reliable Systems with Distributed State
John Field (IBM), Carlos Varela (RPI)
Reasoning about Hierarchical Storage
Amal Ahmed, Limin Jia, David Walker (Princeton University)
From Rules to Analysis Programs with Time and Space Guarantees
Annie Liu, Scott Stoller (SUNY Stony Brook)
SABER: Smart Analysis Based Error Reduction
Bowen Alpern, Robert Johnson, Aaron Kershenbaum, Larry Koved, George Leeman, Kavitha Srinivas, Harini Srinivasan, Darrell Reimer (IBM)
XeLda: Enforcing Dimensional Consistency in Spreadsheets
Tudor Antoniu (Brown University), Paul Steckler (Northeastern University), Shriram Krishnamurthi (Brown University), Matthias Felleisen (Northeastern University)