N E P L S

General Information Date: October 5, 2001 Venue: Sun Microsystems, Burlington, MA Speaker Selection: Alex Garthwaite, Michael Ernst, and Kim Bruce Local Arrangements: Alex Garthwaite Schedule All the abstracts 10:00-11:00 Explicit Regions in Cyclone Greg Morrisett (Cornell University) 11:00-11:30 VAULT: Enforcing High-Level Protocols in Low-Level Software Manuel Fähndrich (Microsoft Research) 11:30-12:00 Semantics for Dynamic Aspect-Oriented Programming Mitchell Wand (Northeastern University), Gregor Kiczales (University of British Columbia), and Christopher Dutchyn (University of British Columbia) 12:00-01:15 Lunch 01:15-02:00 A Type System for Certified Binaries Zhong Shao (Yale University) 02:00-02:30 Cycle Therapy: A Prescription for Fold and Unfold on Regular Trees Franklyn Turbak (Wellesley College) and J. B. Wells (Heriot-Watt University) 02:30-03:00 Break 03:00-03:30 Automatic Generation and Checking of Program Specifications Jeremy Nimmer and Michael Ernst (MIT Lab for Computer Science) 03:30-04:00 Radioactive Decay Models for Generational Garbage Collection Will Clinger (Northeastern University) 04:00-04:15 Brief Business Meeting

Last modified Tuesday, September 18th, 2001 5:12:40pm

Powered by