[Pl-seminar] NEPLS on Friday, Feb. 25 (2nd announcement)

[Hongwei Xi]

Hello:

Please find below the program of NEPLS to be held on Friday, Feb 25 at
Boston University.

As usual, we are to provide a lunch bag for each attendant, and we need a
head count in order to do this properly. If you have already responded,
thank you and please ignore the rest of the message.

------

IMPORTANT:

If you would like to attend, please send a message to

zhudp at cs.bu.edu

to tell us the number of people in your group. Also,
if special lunch (e.g., vegetarian, kosher) is needed,
please indicate it clearly.

We need the information by the end of Tuesday (Feb 22)

------

Directions to Boston University and some other useful information
can be found at

http://www.nepls.org

------

Hope to see you soon!

--Hongwei

Computer Science Department
Boston University
111 Cummington Street
Boston, MA 02215

Email: hwxi at cs.bu.edu
Url: http://www.cs.bu.edu/~hwxi
Tel: +1 617 358 2511 (office)
Fax: +1 617 353 6457 (department)

-------------------------------------------------------------------------

09:30-10:00     Breakfast

10:00-11:00     Zhong Shao (Yale University)
Invited Talk:   The Essence of Proof-Carrying Code

11:00-11:15     Steve Reiss (Brown University)
     Title:     Checking Specifications in Java Systems using Flow Analysis

11:15-11:30     Nathaniel Nystrom (Cornell University)
     Title:     The Ibex extensible parser generator

11:30-12:00     Carlos Pacheco (MIT)
     Title:     Eclat: Automatic Generation and Classification of Test Inputs

12:00-12:30     Raghavan Komondoor (IBM)
     Title:     Dependent Types for Program Understanding

12:30-01:30	Lunch

01:30-01:50     Matthew Fluet (Harvard University)
     Title:     A Model of Substructural State

01:50-02:00     Yanling Wang (Harvard University)
     Title:     Eliminating Array Bounds Checks with Machine Arithmetic

02:00-02:30     Joshua Guttman (MITRE)
     Title:     Programming Cryptographic Protocols

02:30-03:00	Zhaozhong Ni (Yale University)
     Title:     Certified Assembly Programming with Embedded Code Pointers

03:00-03:30     Break

03:30-03:50     Paul Govereau (Harvard University)
     Title:     A Simplified Calculus of Higher-Order Modules.

03:50-04:00     Norman Ramsey (Harvard University)
     Title:     A short status report on a C-- compiler

04:00-04:25     Adam Poswolsky (Yale University)
     Title:     Elphin -- Functional Programming with Higher-Order Encodings.

04:25-04:50     Guillaume Marceau (Brown University)
     Title      MzTake: A Scriptable Debugger for Scheme

04:50-05:00     Business Meeting