General Information
Date: November 21, 2008
Venue: Harvard University, Cambridge, MA
Speaker Selection Committee:
Joshua Guttman (MITRE), Dan Dougherty (WPI), and Greg Morrisett (Harvard)Local Arrangements:
Greg Morrisett
Schedule
10:00-10:30 Coffee 10:30-11:00 Verifying Garbage Collectors with Boogie and Z3
Chris Hawblitzel (Microsoft) and Erez Petrank (Technion)11:00-11:30 Statically-Checked Metaprogramming for Web Applications
Adam Chlipala (Harvard)11:30-12:00 Choreography & Session Types
Marco Carbone (Queen Mary College, Univ. of London)12:00-13:30 Lunch 13:30-14:00 Causal Commutative Arrows
Hai (Paul) Liu and Paul Hudak (Yale)14:00-14:30 Alchemy: Transmuting Base Alloy Specifications into Implementations
Shriram Krishnamurthi (Brown), Dan Dougherty, Kathi Fisler, Daniel Yoo (WPI)14:30-15:00 Break 15:00-15:30 Growing a Syntax
Eric Allen, Ryan Culpepper, Janus Dam Nielsen, Jon Rafkind, and Sukyoung Ryu (Sun Microsystems)15:30-16:00 Automatic Differentiation of Functional Programs or Lambda the Ultimate Calculus
Jeffrey Mark Siskind (Purdue)16:00-16:30 Complexity of Flow Analysis
David Van Horn (Northeastern) and Harry Mairson (Brandeis)16:30-16:45 Business Meeting
| Last modified Friday, November 14th, 2008 4:35:58pm |