General Information
Date: April 29, 2010
Venue: Yale University, New Haven, CT
Chair:
Paul Hudak (Yale)Speaker Selection Committee:
Paul Hudak (Yale), Armando Solar-Lezama (MIT), and Joshua Guttman (WPI)Local Arrangements:
Zhong Shao
Schedule
09:30-10:00 Coffee 10:00-10:10 Welcome 10:10-10:30 Abstracting Abstract Machines: Static Analysis of Evaluation Order, Return-flow, Laziness and the Stack
David Van Horn (Northeastern)10:30-10:50 Alias Analysis for Optimization of Dynamic Languages
Michael Gorbovitski, Yanhong A. Liu, Scott D. Stoller, K. Tuncay Tekle, and Tom Rothamel (SUNY Stony Brook)10:50-11:20 Break 11:20-11:40 On The Design of Error Messages Aimed at Novice Programmers
Guillaume Marceau and Kathi Fisler (WPI), and Shriram Krishnamurthi (Brown)11:40-12:00 Debugging and Profiling Transactional Memory Programs
Yossi Lev (Brown)12:00-13:40 Lunch 13:40-14:00 Probabilistic Programming Without Interpretive Overhead
Chung-chieh Shan (Rutgers) and Oleg Kiselyov (FNMOC)14:00-14:20 The Essence of JavaScript
Arjun Guha, Claudiu Saftoiu, and Shriram Krishnamurthi (Brown)14:20-14:50 Break 14:50-15:10 Work in Progress: Declassification Policy Inference
Jeff Vaughan and Steve Chong (Harvard)15:10-15:30 Logical Types for Scheme
Sam Tobin-Hochstadt and Matthias Felleisen (Northeastern)15:30-16:00 Business Meeting
| Last modified Wednesday, April 28th, 2010 7:59:59pm |