N E P L S

General Information Date: Wednesday, April 11, 2007 Venue: Tufts University, Medford, MA Speaker Selection Committee: Sam Guyer (Tufts), Greg Morrisett (Harvard) and Suad Alagic (USM) Local Arrangements: Sam Guyer Schedule All the abstracts 09:00-09:50 Continental breakfast 09:50-10:00 Opening remarks 10:00-10:30 Compiling Cryptographic Protocols for Deployment on the Web Jay McCarthy (Brown), Joshua Guttman (MITRE), John Ramsdell (MITRE), Shriram Krishnamurthi (Brown) 10:30-11:00 Verification of Network Flows Using a Type System with Constrained Polymorphism LiKai Liu, Azer Bestavros, Assaf Kfoury, Abraham Matta (Boston University) 11:00-11:30 Break 11:30-12:00 Jeannie: making the Java Native Interface Pretty and Light-Weight Martin Hirzel (IBM), Robert Grimm (NYU) 12:00-12:30 LADDIE: The Language for Automated Device Drivers Lea Wittie, Derrin Pierret (Bucknell University) 12:30-01:45 Lunch 01:45-02:15 Building an Efficient Generational Garbage Collector for Java Application Servers Feng Xian, Witawas Srisa-an, ChengHuan Jia, Hong Jiang (University of Nebraska, Lincoln) 02:15-02:45 Exterminator: Automatically Correcting Memory Errors with High Probability Gene Novark (UMass Amherst) 02:45-03:15 Break 03:15-03:45 Space-Efficient Gradual Typing David Herman (Northeastern University), Aaron Tomb, Cormac Flanagan (UC Santa Cruz) 03:45-04:15 Spatial Computing with Proto Jonathan Bachrach, Jacob Beal (MIT) 04:15-04:30 Business meeting

Last modified Saturday, April 7th, 2007 6:51:59am

Powered by