N E P L S

General Information Date: February 24, 2004 Venue: Northeastern University, Boston, MA Speaker Selection Committee: Tim Hickey (Brandeis), John Clements (Northeastern), Matthias Felleisen (Northeastern) and Christian Skalka (Vermont) Local Arrangements: John Clements Schedule All the abstracts 09:40-10:00 Breakfast 10:00-11:00 Bottom-up beta-reduction: uplinks and lambda-DAGs (Invited Talk) Olin Shivers (Georgia Institute of Technology) 11:00-11:30 Thoughts on Subtypes vs. Inheritance Kim Bruce (Williams College) 11:30-12:00 Which Security Policies Can Rewriters Enforce? Kevin Hamlen (Cornell University) 12:00-13:00 Lunch 13:00-13:20 TStreams, a New Language for Parallel Computation Carl Offner (HP Cambridge Research Lab) 13:20-13:40 Example-Centric Programming Jonathan Edwards (Massachusetts Institute of Technology) 13:40-14:00 Reintroducing Modules into an Object-Oriented Language Christopher Diggins 14:00-14:30 Exploiting Purity for Atomicity Stephen Freund (Williams College) 14:30-15:00 Programming Examples Needing Polymorphic Recursion J. J. Hallett (Boston University) 15:00-15:30 Coffee Break 15:30-15:45 Encoding Regions Matthew Fluet (Harvard University) 15:45-16:00 Relating Backtracking Monads Dale Vaillancourt (Northeastern University) 16:00-16:15 Enforcing Static Access Control with Guarded/Asserting Types Sa Cui (Boston University) 16:15-16:30 Intersection Types: Idempotent is Potency Peter Neergaard (Brandeis University) 16:30-16:40 Extraordinarily Short Business Meeting

Last modified Tuesday, February 10th, 2004 1:12:55pm

Powered by