[Pl-seminar] IBM PL Day program

[Shriram Krishnamurthi]

                                          The Sixth IBM Programming
Languages Day will be held at the IBM Thomas J.
Watson Research Center on Friday, April 22, 2005. 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. 

The Programming Languages Day features a keynote presentation and six 
regular presentations. Simon Peyton Jones of Microsoft Research will 
deliver the keynote presentation. 

You are welcome from 9AM onwards, and the keynote presentation will start 
at 10AM sharp. We expect the program to run until 4PM. The Programming 
Languages day will be held in room GN-F15 in the Hawthorne-1 building in 
Hawthorne, New York.

If you plan to attend the Programming Languages Day, please register by 
sending an e-mail with your name, affiliation, and contact information to 
raghavac at us.ibm.com so that we can plan for lunch and refreshments. 

More details on the IBM programming languages day can be found at 
http://www.research.ibm.com/compsci/plansoft/plday/plday2005.html


AGENDA


10:00-11:15     Simon Peyton Jones              Composable memory transactions
                Microsoft Research (Cambridge)

11:15-11:45     Yitzhak Mandelbaum              A Calculus for
Specifying Ad Hoc
                Princeton University            Data Formats

11:45-12:15     Suad Alagic                     Type Erasure: Breaking the Java 
                University of Southern Maine  	Type System 

12:15-13:15     Lunch
 
13:15-14:00     Vijay Saraswat                  X10: An
Object-Oriented Approach to
                IBM Research                    Non-Uniform Cluster Computing

14:00-14:30 	Geoffrey Washburn               Generalizing Parametricity Using 
                University of Pennsylvania      Information Flow 

14:30-15:00 	Break
 
15:00-15:30 	Adriana Compagnoni          	SIF, A Typed Assembly Language for 
                Stevens Institute               Non-Interference

15:30-16:00 	Eric Allen                      Encapsulated Upgradable Components 
                Sun Microsystems, Inc.