General Information

Date: March 5, 2009
Venue: MITRE, Bedford, MA

Speaker Selection Committee:
Joshua Guttman (MITRE), Daniel Jackson (MIT), and Greg Morrisett (Harvard)
Local Arrangements:
Joshua Guttman

Schedule

All the abstracts

10:00-11:00The Future Is Parallel: What's a Programmer to Do? Breaking Sequential Habits of Thought
Invited Talk: Guy Steele (Sun Microsystems Laboratories)
11:00-11:30Break
11:30-12:00Screaming Fast Declarative Pointer Analysis (Look Ma, no BDDs!)
Martin Bravenboer and Yannis Smaragdakis (University of Massachusetts)
12:00-12:20Putting Functions into Functional Programming
Shriram Krishnamurthi (Brown University)
12:20-13:30Lunch
13:30-14:00Certified Systems Development in Ynot
Ryan Wisnesky and Gregory Malecha (Harvard University)
14:00-14:30The Extraordinary Algebra of List Comprehensions
Jan-Willem Maessen (Sun Microsystems Laboratories)
14:30-15:00Break
15:00-15:30Intrusion Detection for Ajax Applications
Arjun Guha (Brown University)
15:30-16:00Synthesizing Robustness in Log Processing Programs
Jean Yang and Armando Solar-Lezama (MIT)
16:00-16:15Business Meeting


Last modified Thursday, February 26th, 2009 11:27:10am