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

Last modified Sunday, September 30th, 2007 2:01:08pm

Powered by