N E P L S

General Information Date: February 25, 2005 Venue: Boston University, Boston, MA Speaker Selection Committee: Hongwei Xi (BU), Stephen Freund (Williams), Norman Ramsey (Harvard) and Ken Shan (Harvard) Local Arrangements: Assaf Kfoury, Hongwei Xi Schedule All the abstracts 09:30-10:00 Breakfast 10:00-11:00 The Essence of Proof-Carrying Code Invited Talk: Zhong Shao (Yale University) 11:00-11:15 Checking Specifications in Java Systems using Flow Analysis Steve Reiss (Brown University) 11:15-11:30 The Ibex extensible parser generator Nathaniel Nystrom (Cornell University) 11:30-12:00 Eclat: Automatic Generation and Classification of Test Inputs Carlos Pacheco (MIT) 12:00-12:30 Dependent Types for Program Understanding Raghavan Komondoor (IBM) 12:30-01:30 Lunch 01:30-01:50 A Model of Substructural State Matthew Fluet (Harvard University) 01:50-02:00 Eliminating Array Bounds Checks with Machine Arithmetic Yanling Wang (Harvard University) 02:00-02:30 Programming Cryptographic Protocols Joshua Guttman (MITRE) 02:30-03:00 Certified Assembly Programming with Embedded Code Pointers Zhaozhong Ni (Yale University) 03:00-03:30 Coffee Break 03:30-03:50 A Simplified Calculus of Higher-Order Modules Paul Govereau (Harvard University) 03:50-04:00 A short status report on a C-- compiler Norman Ramsey (Harvard University) 04:00-04:25 Elphin -- Functional Programming with Higher-Order Encodings Adam Poswolsky (Yale University) 04:25-04:50 MzTake: A Scriptable Debugger Guillaume Marceau (Brown University) 04:50-05:00 Brief Business Meeting

Last modified Thursday, February 17th, 2005 10:36:21pm

Powered by