[logo suggestions welcome]

N
E
P
L
S

General Information

Date: October 18, 2007
Venue: WPI, Worcester, MA

Speaker Selection Committee:
Kathi Fisler (WPI), Greg Morrisett (Harvard), and Sam Guyer (Tufts)
Local Arrangements:
Kathi Fisler

Schedule

All the abstracts

09:30-10:00Breakfast
10:00-10:30BAT: The Bit-level Analysis Tool
Pete Manolios (Northeastern University)
10:30-10:50Break
10:50-11:20Session Types Made Boring
Alec Heller and Riccardo Pucella (Northeastern University)
11:20-11:45Break
11:45-12:15vau-calculi and the theory of fexprs
John N. Shutt (WPI)
12:15-01:30Lunch and local walk
01:30-02:00Relationally-Parametric Polymorphic Contracts
Arjun Guha (Brown University)
02:00-02:20Break
02:20-02:45Open Mike
02:45-03:15Break
03:15-03:45Functional programming in the wild: Sensor Networks, Streams, and Parallelism
Ryan Newton (MIT), Greg Morrisett (Harvard) and Sam Madden (MIT)
03:45-04:00Brief Business Meeting


Last modified Sunday, September 30th, 2007 2:01:08pmPowered by PLT