NJPLS with NEPLS as part of IBM's PL Day

IBM T.J. Watson -- Friday, April 25, 2003 -- Schedule

Because of the joint meeting, talk selection was a little more formal than usual. Dan Wang, Stephen Fink, and Mitchell Wand selected the talks from submitted abstracts.

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