General Information

Date: April 29, 2010
Venue: Yale University, New Haven, CT

Paul Hudak (Yale)
Speaker Selection Committee:
Paul Hudak (Yale), Armando Solar-Lezama (MIT), and Joshua Guttman (WPI)
Local Arrangements:
Zhong Shao


All the abstracts

10:10-10:30Abstracting Abstract Machines: Static Analysis of Evaluation Order, Return-flow, Laziness and the Stack
David Van Horn (Northeastern)
10:30-10:50Alias Analysis for Optimization of Dynamic Languages
Michael Gorbovitski, Yanhong A. Liu, Scott D. Stoller, K. Tuncay Tekle, and Tom Rothamel (SUNY Stony Brook)
11:20-11:40On The Design of Error Messages Aimed at Novice Programmers
Guillaume Marceau and Kathi Fisler (WPI), and Shriram Krishnamurthi (Brown)
11:40-12:00Debugging and Profiling Transactional Memory Programs
Yossi Lev (Brown)
13:40-14:00Probabilistic Programming Without Interpretive Overhead
Chung-chieh Shan (Rutgers) and Oleg Kiselyov (FNMOC)
14:00-14:20The Essence of JavaScript
Arjun Guha, Claudiu Saftoiu, and Shriram Krishnamurthi (Brown)
14:50-15:10Work in Progress: Declassification Policy Inference
Jeff Vaughan and Steve Chong (Harvard)
15:10-15:30Logical Types for Scheme
Sam Tobin-Hochstadt and Matthias Felleisen (Northeastern)
15:30-16:00Business Meeting

Last modified Wednesday, April 28th, 2010 7:59:59pm