[Pl-seminar] IBM PL Day: Final Reminder

Shriram Krishnamurthi sk at cs.brown.edu
Tue, 30 Apr 2002 10:44:58 -0400 (EDT)

Reminder: PL Day is just a week away, on May 7th. If you would like to
attend, and have not yet registered, please do so by sending email to
grama@us.ibm.com.  Thanks!

Third Annual Programming Languages Day at IBM Research
(Jointly with NEPLS and NJPLS)
May 7, 2002
IBM T.J. Watson Research Center, Hawthorne

Session 1: 10:30 - 12:05
        (Keynote presentation)
        Matthias Felleisen, Northeastern University:
        Next Generation Software Systems and Programming Language Research

        Dominic Duggan, Stevens Institute of Technology:
        Cryptographic Types

Session 2: 1:30 - 3:15
        Darko Marinov, MIT:
        An Analyzable Annotation Language

        Perry Cheng, IBM Research:
        A Defragmenting, Mostly Non-moving Garbage Collector

        Scott Stoller, SUNY Stonybrook:
        Generation of Environments for Distributed Systems

Session 3: 3:45 - 5:00

        Dan Grossman, Cornell University:
        Cyclone: A Safe Language at the C Level of Abstraction

        Nadeem Abdul Hamid, Yale University:
        A Syntactic Approach to Foundation Proof-Carrying Code

More information is available at

We hope to see you on May 7th!