N E P L S

General Information Date: Thursday, October 27, 2005 Venue: Brown University, Providence, RI Speaker Selection Committee: Shriram Krishnamurthi (Brown), Tony Printezis (Sun), and Stephen Freund (Williams) Local Arrangements: Shriram Krishnamurthi Schedule All the abstracts 10:00-11:00 Dissecting Transactional Implementations for Fun and Profit Invited Talk: Suresh Jagannathan (Purdue University) 11:00-11:15 Break 11:15-11:30 jpaul - Java Program Analysis Utilities Library Alex Salcianu (MIT) 11:30-12:00 Taking Derivatives of Functional Programs: AD in a Functional Framework Jeffrey Mark Siskind (Purdue University) 12:00-01:30 Lunch 01:30-01:55 Formal Semantics of Weak References J.J. Hallett (Boston University) 01:55-02:20 DieHard: Statistical Memory Safety for Unsafe Languages Emery Berger (University of Massachusetts, Amherst) 02:20-02:45 The Architecture of a World-Wide Distributed Repository to Support Fine-Grained Sharing of Source Code Jeffrey Mark Siskind (Purdue University) 02:45-03:15 Break 03:15-03:40 MetaOCaml Server Pages: Web Publishing as Staged Computation Christopher League (Long Island University) 03:40-04:05 HasSound: Generating Musical Instrument Sounds in Haskell Paul Hudak (Yale University) 04:05-04:15 Business Meeting

Last modified Wednesday, October 12th, 2005 10:38:14pm

Powered by