IBM Research
IBM Research
2003 Programming Languages Day at Watson

PROGRAM

  • 10 – 11:15: Keynote Address

    Paul Hudak (Yale University)
    An Algebraic Theory of Polymorphic Temporal Media

  • 11:30 – 12:30 Session I

    Lal George (Network Speed Technologies), Matthias Blume (TTI-C)
    Taming the Intel IXP Network Processor

    John Field (IBM), Carlos Varela (RPI)
    Toward a Programming Model for Building Reliable Systems with Distributed State

  • 12:30 – 1:30 Lunch

  • 1:30 – 2:30 Session II

    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

  • 2:45 – 3:45 Session III

    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

    • Privacy Legal Contact IBM www.research Research Sites Page Contact