Date: Thursday, December 7, 2000 Venue: Brown University, Providence, RI Speaker Selection: Martin Rinard and Shriram Krishnamurthi Local Arrangements: Shriram Krishnamurthi
All the abstracts
10:00-10:45Scalable Propagation-Based Call Graph Construction AlgorithmsFrank Tip10:45-11:15Call-By-Push-Value: A Subsuming ParadigmPaul Blain Levy11:15-12:00Type-Preserving Compilation of JavaChristopher League12:00-01:15Lunch12:30-01:00Tool Demos01:15-01:45Dynamic Partial EvaluationGreg Sullivan01:45-02:15Unfold/Fold Transformations of Logic ProgramsAbhik Roychoudhury02:15-02:30Break02:30-03:00Programming and Compiling with ConceptsSibylle Schupp03:00-03:30What are Polymorphically-Typed Ambients?Torben Amtoft and Assaf J. Kfoury and Santiago M. Pericas-Geertsen03:30-04:00Business Meeting