General Information

Date: June 1, 2012
Venue and Registration: University of Southern Maine, Portland, ME

Suad Alagic (USM)
Speaker Selection Committee:
Suad Alagic (USM), David Van Horn (Northeastern), and Zhong Shao (Yale)
Local Arrangements:
Suad Alagic


All the abstracts

09:15 - 10:00Coffee and bagels
10:00 - 10:05Welcome
10:05 - 10:55Languages and tools for supporting programmers at design time
Invited Talk: Rustan Leino (Microsoft Research)
10:55 - 11:00Coffee
11:00 - 11:30Programming with People: Integrating Human-Based and Digital Computation
Emery Berger (University of Massachusetts Amherst)
11:30 - 12:00A Framework for Verifying Low-level Programs
Gregory Malecha (Harvard University), Adam Chlipala, Patrick Hulin, and Edward Yang (MIT)
12:00 - 12:30Precise Enforcement of Progress-Sensitive Security
Scott Moore, Aslan Askarov, and Stephen Chong (Harvard University)
12:30 - 1:30Lunch
1:30 - 2:00Reagents: expressing and composing fine-grained concurrency
Aaron Turon (Northeastern University)
2:00 - 2:30ParaSail: A Simplified Approach to Parallel Programming
S. Tucker Taft (AdaCore)
2:30 - 3:00Problems of First-Class Functions over Space-Time
Jacob Beal (BBN Technologies)
3:00 - 3:30Coffee break
3:30 - 4:00Modeling and Reasoning about DOM Events
Benjamin S. Lerner, Matthew J. Carroll, Dan P. Kimmel, Hannah Quay-de la Vallee and Shriram Krishnamurthi (Brown University)
4:00 - 4:20Blocks Languages for Creating Tangible Artifacts
Franklyn Turbak (Wellesley College)
4:20 - 4:45Representing Expressive Types in Blocks Programming Languages
Marie Vasek (Wellesley College)
4:45 - 5:00Business meeting

Last modified Sunday, May 6th, 2012 3:27:11am