N E P L S

General Information Date: Friday, October 6, 2006 Venue: University of Southern Maine, Portland, ME Speaker Selection Committee: Suad Alagic (USM), Tony Printezis (Sun) and Sam Guyer (Tufts) Local Arrangements: Suad Alagic Schedule All the abstracts 09:00-10:00 Check-in and continental breakfast 10:00-10:00 Opening remarks (Suad Alagic) 10:00-10:05 Welcome (Richard Pattenaude, President of USM) 10:05-11:00 Modular, Sequential Reasoning for Multithreaded Spec# Programs Invited Talk: Wolfram Schulte (Microsoft Research) 11:00-11:30 Break 11:30-11:50 Abstract Predicates and Mutable ADTs in Hoare Type Theory Aleksandar Nanevski (Harvard University) 11:50-12:10 Distributed Meta-Programming Rui Shi (Boston University) 12:10-12:30 FrTime: An Embedding of Dynamic Dataflow in a Call-by-Value Language Gregory Cooper (Brown University) 12:30-01:30 Lunch 01:30-02:30 Programming by Sketching Invited Talk: Ras Bodik (The University of California at Berkeley) 02:30-03:00 Break 03:00-03:20 Modular Multiple Dispatch with Multiple Inheritance J.J. Hallett (Sun Microsystems) 03:20-03:40 Parallelism in Fortress Jan-Willem Maessen (Sun Microsystems) 03:40-04:00 Object Segregation According to Life Expectancy Fabio Rojas (Northeastern University and Sun Microsystems) 04:00-04:15 Business meeting

Last modified Thursday, September 28th, 2006 10:08:52pm

Powered by