[Pl-seminar] IBM PL Day schedule

[Shriram Krishnamurthi]

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)
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