PL Day at Watson


Subject: PL Day at Watson
From: Shriram Krishnamurthi (sk@cs.brown.edu)
Date: Tue Apr 10 2001 - 14:30:37 EDT


                        Call for Participation

        Second Annual Programming Languages Day at IBM Research
                            April 26, 2001
               IBM T.J. Watson Research Center, Hawthorne

The second annual Programming Languages Day will be held this April 26th
at the IBM T.J. Watson Research Center in Hawthorne, New York from 10am
to 4pm. We have an exciting program with an invited lecture by Bill
Pugh and five speakers selected from the many abstracts submitted.

Along with the talks we have scheduled plenty of time for informal
discussion, and lunch will be provided. Student travel stipends are
available.

In order to make sure that we have enough food and seating, please
reserve if you are planning to attend by emailing dfb@watson.ibm.com.

The program is as follows:

        Bill Pugh: Keynote: Is Code Optimization Research Relevant?

        John Field: Toward Effective Component Verification: Deriving a
                Program Analysis from a High-level Specification

        Alex Garthwaite: Efficient Object Sampling via Weak References

        Tim McNerney: Tangible Computation Bricks: Building-blocks for
                Physical Microworlds

        Bard Bloom: Ferret: Programming Language Support for Multiple
                Dynamic Classification

        Dominic Duggan: Type-Based Hot Swapping of Running Modules

For details please see

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

We hope to see you on April 26th! Regards,

David Bacon, IBM Research
Assaf Kfoury, Boston University
Phil Wadler, Avaya Labs



This archive was generated by hypermail 2b28 : Tue Apr 10 2001 - 14:35:03 EDT