N E P L S

General Information Date: Thursday, March 2, 2006 Venue: Sun Microsystems, Burlington, MA Speaker Selection Committee: Tony Printezis (Sun), John Ridgway (Wesleyan) and Shriram Krishnamurthi (Brown) Local Arrangements: Tony Printezis Schedule All the abstracts 09:00-10:00 Breakfast 10:00-11:00 Objects as Software Services: Toward a World without Releases Invited Talk: Gilad Bracha (Sun Microsystems) 11:00-11:15 Break 11:15-11:40 Statically Verified Typeful Compilation Louis-Julien Guillemette (Universite de Montreal) 11:40-12:20 Combining Static Analysis and Run-Time Analysis for Verification and Testing of Multithreaded Programs Rahul Agarwal (Stony Brook University) 12:20-01:45 Lunch 01:45-02:10 Modular Verification of Assembly Code with Stack-Based Control Abstractions Xinyu Feng (Yale University) 02:10-02:35 Automatic Test Factoring for Java David Saff (MIT) 02:35-03:00 Break 03:00-03:15 Programming with Exceptions in JCilk Angelina Lee (MIT) 03:15-03:30 Custom Object Layout for Garbage-Collected Languages Gene Novark (University of Massachusetts, Amherst) 03:30-03:45 XVP - An extended virtual platform Mark Royer (University of Southern Maine) 03:45-04:00 Business Meeting

Last modified Monday, February 20th, 2006 3:37:03pm

Powered by