N E P L S

General Information Date: February 22, 2002 Venue: MIT, Cambridge, MA Speaker Selection: Alex Garthwaite (Sun), Michael Ernst (MIT), and Paul Hudak (Yale) Local Arrangements: Michael Ernst Schedule All the abstracts 10:00-10:35 Efficient and Precise Datarace Detection for Multithreaded Object-Oriented Programs Manu Sridharan (MIT/IBM), Jong-Deok Choi (IBM), Robert O'Callahan (IBM) 10:35-11:10 A Parameterized Type System for Race-Free Java Programs Chandrasekhar Boyapati, Robert Lee, Martin Rinard (MIT) 11:10-11:25 Break 11:25-12:00 A Bytecode-Compiled, Type-safe, Multi-Stage Language Cristiano Calcagno, Walid Taha (Yale), Liwen Huang, and Xavier Leroy 12:00-12:35 Fully Automatic Adaptation of Software Components Based on Semantic Specifications Christian Haack (Heriot-Watt University), Brian Howard, Allen Stoughton, Joe Wells 12:35-01:25 Lunch 01:25-02:00 Adaptive Optimization in the Jikes RVM Michael Hind (IBM Watson Research Center) 02:00-02:35 Genuinely Functional User Interfaces Antony Courtney (Yale) and Conal Elliott (Microsoft Research) 02:35-02:50 Break 02:50-03:25 Principal Typings Demystified: what they are, why you want them, and why your type system doesn't have them Joe Wells (Heriot-Watt) 03:25-04:00 A Modular, Extensible Proof Method for Small-step Flow Analyses Galen Williamson and Mitch Wand (Northeastern) 04:00-04:10 Brief Business Meeting

Last modified Tuesday, February 12th, 2002 0:56:09am

Powered by