Subject: schedule for meet
From: Shriram Krishnamurthi (sk@cs.brown.edu)
Date: Tue Nov 28 2000 - 11:57:59 EST
The schedule with abstracts will apepar on the NEPLS Web page in the
next few days. Meanwhile, I've attached it below. I've updated the
Web page with some information about Providence. Please do remember
to inform me if you plan to attend (and haven't already). Also, time
is running out on mailing parking decals. Finally, it'd be nice to
have a few more tool demos ...
10:00-10:45
Scalable Propagation-Based Call Graph Construction Algorithms
Frank Tip, IBM Watson
10:45-11:15
Call-By-Push-Value: A Subsuming Paradigm
Paul Levy, Boston University
11:15-12:00
Type-Preserving Compilation of Java
Chris League, Yale
12:00-1:15
Lunch
12:30-1:00
Tool demos
1:15-1:45
Dynamic Partial Evaluation
Greg Sullivan, MIT
1:45-2:15
Unfold/Fold Transformations of Logic Programs
Abhik Roychoudhury, SUNY Stony Brook:
2:15-2:30
Break
2:30-3:00
Programming and Compiling with Concepts
Sibylle Schupp, RPI:
3:00-3:30
What are Polymorphically-Typed Ambients?
Torben Amtoft, Boston University:
3:30-4:00
Business meeting (open to all)
Shriram
This archive was generated by hypermail 2b28 : Tue Nov 28 2000 - 12:05:30 EST