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.
|