N E P L S

General Information Date: Thursday, December 7, 2000 Venue: Brown University, Providence, RI Speaker Selection: Martin Rinard and Shriram Krishnamurthi Local Arrangements: Shriram Krishnamurthi Schedule All the abstracts 10:00-10:45 Scalable Propagation-Based Call Graph Construction Algorithms Frank Tip 10:45-11:15 Call-By-Push-Value: A Subsuming Paradigm Paul Blain Levy 11:15-12:00 Type-Preserving Compilation of Java Christopher League 12:00-01:15 Lunch 12:30-01:00 Tool Demos 01:15-01:45 Dynamic Partial Evaluation Greg Sullivan 01:45-02:15 Unfold/Fold Transformations of Logic Programs Abhik Roychoudhury 02:15-02:30 Break 02:30-03:00 Programming and Compiling with Concepts Sibylle Schupp 03:00-03:30 What are Polymorphically-Typed Ambients? Torben Amtoft and Assaf J. Kfoury and Santiago M. Pericas-Geertsen 03:30-04:00 Business Meeting

Last modified Thursday, November 30th, 2000 1:46:17am

Powered by