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