The fifth annual Programming Languages Day will be held at the IBM Thomas J. Watson Research Center 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.

 

Time	Speaker	Title	Location
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)	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
4:30	everyone	go home	various