NEPLS Spring 2007

            

We are excited to host the spring meeting of the New England Programming Languages Symposium at Tufts University in Medford, Massachusetts. Welcome!

Date and Time

Wednesday, April 11, 2007
Sophia Gordon Hall
Tufts University
Medford, MA

Sign-up Form

If you plan to attend, please fill out this sign-up form so that we will know how many people are coming.

Directions and Parking

The NEPLS meeting at Tufts will be held in Sophia Gordon Hall. Directions to the Tufts campus by car or public transportation can be found here. You can find a map of the whole Tufts campus here.

Parking: public parking is available in the Dowling Hall parking garage for $5

Program and abstracts

All the abstracts

09:00-09:50 Continental breakfast
09:50-10:00 Opening remarks
10:00-10:30 Compiling Cryptographic Protocols for Deployment on the Web
Jay McCarthy (Brown), Joshua Guttman (MITRE), John Ramsdell (MITRE), Shriram Krishnamurthi (Brown)
10:30-11:00 Verification of Network Flows Using a Type System with Constrained Polymorphism
LiKai Liu, Azer Bestavros, Abraham Matta, Assaf Kfoury (Boston University)
11:00-11:30 Break
11:30-12:00 Jeannie: making the Java Native Interface Pretty and Light-Weight
Martin Hirzel (IBM), Robert Grimm (NYU)
12:00-12:30 LADDIE: The Language for Automated Device Drivers
Lea Wittie, Derrin Pierret (Bucknell University)
12:30-01:45 Lunch (provided)
01:45-02:15 Building an Efficient Generational Garbage Collector for Java Application Servers
Feng Xian, Witawas Srisa-an, ChengHuan Jia, Hong Jiang (University of Nebraska, Lincoln)
02:15-02:45 Exterminator: Automatically Correcting Memory Errors with High Probability
Gene Novark (UMass Amherst)
02:45-03:15 Break
03:15-03:45 Space-Efficient Gradual Typing
David Herman (Northeastern University), Aaron Tomb, Cormac Flanagan (UC Santa Cruz)
03:45-04:15 Spatial Computing with Proto
Jonathan Bachrach, Jacob Beal (MIT)
04:15-04:30 Business meeting

Contact

If you have any questions or comments, please email Sam Guyer at sguyer@cs.tufts.edu.