N E P L S

General Information Date: October 15, 2002 Venue: WPI, Worcester, MA Speaker Selection Committee: Paul Hudak (Yale), Zhong Shao (Yale), Michael Gennert (WPI), Dan Dougherty (WPI) and Dina Goldin (UConn) Local Arrangements: Dan Dougherty, Michael Gennert, Kathi Fisler (WPI) Schedule All the abstracts 10:00-11:00 Design and Research Paul Graham 11:00-11:30 Serving the Web Paul Graunke (Northeastern University), Robert Bruce Findler (University of Chicago), Shriram Krishnamurthi (Brown University), Matthias Felleisen (Northeastern University) 11:30-11:40 Rigorously Modelling and Analyzing Hybrid Systems using Analytic Constraint Logic Programming Tim Hickey (Brandeis University) 11:40-11:50 DrJVM: Safe, Efficient Support for Dynamic Class Upgrades in Java David Reiss, Gregory Cooper, and Shriram Krishnamurthi (Brown University) 11:50-12:00 Report on a Five Year Experiment in Teaching Web Programming in Scheme as a Computer Literacy Course Tim Hickey (Brandeis University) 12:00-01:15 Lunch 01:15-01:45 Language-Based Information-Flow Security Andrei Sabelfeld and Andrew Myers (Cornell University) 01:45-02:15 Implementing Staged Computation Chiyan Chen and Hongwei Xi (Boston University) 02:15-02:45 Decomposing lambda: the Kernel programming language John N. Shutt (Worcester Polytechnic Institute) 02:45-03:15 Break 03:15-03:45 Computational Soundness of Non-Confluent Calculi Elena Machkasova (Wellesley College) 03:45-04:15 The MulSaw Approach to Automated Specification-Based Testing Darko Marinov and Sarfaz Khurshid (MIT) 04:15-04:30 Brief Business Meeting

Last modified Friday, October 11th, 2002 1:31:59pm

Powered by