More information about the program is available from the IBM PL Day web site.
Keynote Address: 10:00 - 11:15
Paul Hudak (Yale University)
An Algebraic Theory of Polymorphic Temporal Media
Break: 11:15 - 11:30
Session 1: 11:30 - 12:30
Lal George (Network Speed Technologies), Matthias Blume (TTI Chicago)
Taming the Intel IXP Network Processor
John Field (IBM), Carlos Varela (RPI)
Toward a Programming Model for Building Reliable Systems with
Distributed State
Lunch: 12:30 - 1:30
Session II: 1:30 - 2:30
Amal Ahmed, Limin Jia, David Walker(Princeton University)
Reasoning about Hierarchical Storage
Annie Liu, Scott Stoller (SUNY - Stony Brook)
From Rules to Analysis Programs with Time and Space Guarantees
Break: 2:30 - 2:45
Session III: 2:45 - 3:45
Bowen Alpern, Robert Johnson, Aaron Kershenbaum, Larry Koved, George
Leeman, Kavitha Srinivas, Harini Srinivasan, Darrell Reimer (IBM)
SABER - Smart Analysis Based Error Reduction
Tudor Antoniu (Brown University), Paul Steckler (Northeastern
University), Shriram Krishnamurthi (Brown University), Matthias
Felleisen (Northeastern University)
XeLda: Enforcing Dimensional Consistency in Spreadsheets