[logo suggestions welcome]

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:45Scalable Propagation-Based Call Graph Construction Algorithms
Frank Tip
10:45-11:15Call-By-Push-Value: A Subsuming Paradigm
Paul Blain Levy
11:15-12:00Type-Preserving Compilation of Java
Christopher League
12:00-01:15Lunch
12:30-01:00Tool Demos
01:15-01:45Dynamic Partial Evaluation
Greg Sullivan
01:45-02:15Unfold/Fold Transformations of Logic Programs
Abhik Roychoudhury
02:15-02:30Break
02:30-03:00Programming and Compiling with Concepts
Sibylle Schupp
03:00-03:30What are Polymorphically-Typed Ambients?
Torben Amtoft and Assaf J. Kfoury and Santiago M. Pericas-Geertsen
03:30-04:00Business Meeting


Last modified Thursday, November 30th, 2000 1:46:17amPowered by PLT