[logo suggestions welcome]

N
E
P
L
S

General Information

Date: Tuesday, February 20, 2001
Venue: Boston University, Boston, MA
Speaker Selection: Assaf Kfoury, Kim Bruce and Shriram Krishnamurthi
Local Arrangements: Torben Amtoft and Santiago Pericas-Geertsen

Schedule

All the abstracts

10:00-10:45Equational Reasoning for Linking with First-Class Primitive Modules
Joe Wells (Heriot Watt University)
10:45-11:15First-Class Macros and Polymorphic Types: Progress Report
Alan Bawden (Boston University)
11:15-12:00Flow-Directed Lightweight CPS Conversion
Jeffrey M. Siskind (NEC Research Institute)
12:00-01:15Lunch
01:15-02:00Making the Trains Run On Time
Alexander Garthwaite (Sun Microsystems)
02:00-02:30Reductions, Intersection Types, and Explicit Substitutions
Dan Dougherty (Wesleyan University) and Pierre Lescanne (ENS-Lyon)
02:30-03:00Break
03:00-03:45Program Analysis Techniques for Pointers and Accessed Memory Regions
Radu Rugina (University of California at Santa Barbara)
03:45-04:00Business Meeting


Last modified Thursday, February 15th, 2001 11:09:32amPowered by PLT