[Pl-seminar] IBM PL Day

[Shriram Krishnamurthi]

[Please DON'T reply to me, Shriram.  Replies should go to
 Bard Bloom <bardb at us.ibm.com>.]

The fifth annual Programming Languages Day will be held at
the IBM Thomas J. Watson Research Center
(http://www.watson.ibm.com/general_info_ykt.html) in
Yorktown Heights on Friday, May 21, 2004. The day will be
held in cooperation with the New Jersey and New England
Programming Languages and Systems Seminars. The main goal of
the event is to increase awareness of each other's work, and
to encourage interaction and collaboration.

Note that the site has changed this year: it is at Yorktown
Heights, a dozen miles north of the previous years' site at
Hawthorne.

Advance registration is not required, but would be helpful.
Please send your name and affiliation to the workshop
organizer (bardb at us.ibm.com).

9:00 - 10:00
      everyone
      Gathering and social time
      Yorktown Auditorium

10:00  - 11:00
      Andrew Appel
      Keynote Address

11:00 - 11:25
      Alex Salcianu (MIT), Martin Rinard (MIT)
      Purity Analysis for Java Programs

11:30 - 11:55
      Patrick Lam, Viktor Kuncak and Martin Rinard (all MIT)
      Pluggable Analyses for Data Structure Consistency
      and Generalized Typestate Checking

12:00 - 1:00
      everyone
      Lunch
      Yorktown Cafeteria

1:00 - 1:25
      David F. Bacon (IBM), Perry Cheng (IBM), V. T. Rajan (IBM)
      A Unified Theory of Garbage Collection
      Yorktown Auditorium

1:30 - 1:55
      Maged M. Michael (IBM)
      Lock-Free Malloc [and Overview of Practical
      User-Level Lock-Free Computing]

2:00 - 2:15
      everyone
      break

2:15 - 2:40
      Dominic Duggan (Stevens Institute of Technology),
      Tom Chothia (Stevens), Jan Vitek (Purdue)
      Jeddak: Principals, Policies and Keys in a
      Secure Distributed Programming Language

2:45 - 3:10
      William Thies, Michael Gordon, Michal Karczmarek,
      Jasper Lin, Andrew Lamb, David Maze, Rodric Rabbah
      and Saman Amarasinghe (all MIT)
      StreamIt: A Compiler Infrastructure for Stream
      Programs

3:15 - 3:30
      everyone
      break

3:30 - 3:55
      Simon Goldsmith (Berkeley), Robert O'Callahan (IBM),
      Alex Aiken (Stanford)

      Light-Weight Instrumentation From Relational Queries Over Program
Traces
4:00 - 4:25
      Tom Rothamel, Annie Liu, Fuxiang Yu,
      Scott Stoller, and Nanjun Hu (SUNY Stonybrook)
      Parametric Regular Path Queries




http://www.research.ibm.com/compsci/plansoft/plday/plday2004.html