N E P L S

General Information Date: Friday, June 24, 2005 Venue: Williams College, Williamstown, MA Speaker Selection Committee: Stephen Freund (Williams), Shriram Krishnamurthi (Brown), and Hongwei Xi (BU) Local Arrangements: Stephen Freund Schedule All the abstracts 10:00-10:30 Breakfast 10:30-11:30 Mechanizing Metatheory Using Twelf Invited Talk: Robert Harper (Carnegie Mellon University) 11:30-12:00 A Functional Approach to Typed Object-Oriented Programming Rui Shi, Chiyan Chen, and Hongwei Xi (Boston University) 12:00-01:00 Lunch 01:00-01:30 Static Deadlock Detection for Java Libraries Amy Williams, William Thies, and Michael D. Ernst (MIT) 01:30-02:00 Debugging Concurrent Software by Context-Bounded Analysis Shaz Qadeer (Microsoft Research) 02:00-02:30 Break 02:30-03:00 Exploiting Schemas in Data Synchronization Nate Foster (University of Pennsylvania) 03:00-03:30 Facilitating Pointer Program Verification with Stateful Views Dengping Zhu and Hongwei Xi (Boston University) 03:30-03:45 Break 03:45-04:15 Quantifying the Performance of Garbage Collection vs. Explicit Memory Management Matthew Hertz and Emery D. Berger (University of Massachusetts Amherst) 04:15-04:45 Sneaking Existentials into Java Kim Bruce (Williams College -> Pomona College via UCSC)

Last modified Tuesday, June 14th, 2005 2:26:54pm

Powered by