N E P L S

General Information Date: Tuesday, May 29, 2001 Venue: Williams College, Williamstown, MA Speaker Selection: Kim Bruce, Alex Garthwaite, and Assaf Kfoury Local Arrangements: Kim Bruce Schedule All the abstracts 10:00-11:00 New Models for Numerical Computing in the Java Programming Language Guy L. Steele, Jr. (Sun Microsystems) 11:00-11:30 Conservation and Uniform Normalization in Lambda Calculi with Erasing Reductions Peter Møller Neergaard (Boston University) 11:30-12:00 Analyzing Trace and Program Data Steve Reiss (Brown University) 12:00-01:00 Lunch 01:00-01:45 Real-Time FRP Paul Hudak (Yale University) 01:45-02:15 Rupiah: Towards an Expressive Static Type System for Java Nate Foster (Williams College) 02:15-02:45 Break 02:45-03:15 Modular Verification of Layered Software Systems Kathi Fisler (Worcester Polytechnic Institute), Shriram Krishnamurthi (Brown University) and Don Batory (University of Texas at Austin) 03:15-03:45 Functional Polytypic Programming Patrik Jansson (visiting Northeastern University from Chalmers University) 03:45-04:15 It Pays to be Persistent Dina Goldin (University of Massachusetts, Boston), Scott Smolka (SUNY Stony Brook), Peter Wegner (Brown University)

Last modified Tuesday, May 8th, 2001 8:54:15pm

Powered by