General Information

Date: December 2, 2009
Venue: MIT, Cambridge, MA

Chair:

Armando Solar-Lezama (MIT)

Speaker Selection Committee:

Martin Rinard (MIT), Paul Hudak (Yale), and Joshua Guttman (WPI)

Local Arrangements:

Daniel Jackson

Schedule

All the abstracts

10:00-10:20	Symmetric Multimodal Intelligent IDEs, Framework Adoption Greg Sullivan
10:20-10:40	The OO/XML mismatch: Is there a logic-based solution? Suad Alagic
10:40-11:10	Break
11:10-11:30	Resolving and Exploiting the k-CFA Paradox David Van Horn
11:30-12:00	Coarse-Grained Transactions Maurice Herlihy
12:00-13:30	Lunch
13:30-13:50	Co-action Jonathan Edwards
13:50-14:10	Does This Guarantee of Termination Make My Program Look Fat? Yannis Smaragdakis
14:10-14:30	Can FPGAs provide significant performance boosts to garbage collection? Perry Cheng
14:30-15:00	Break
15:00-15:20	Contracts Made Manifest Michael Greenberg
15:20-15:40	An Ode to Arrows Hai Liu
15:40-15:45	Business Meeting

---

Last modified Monday, November 30th, 2009 9:56:17pm