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

Last modified Thursday, February 15th, 2001 11:09:32am

Powered by