General Information
Date: June 1, 2012
Venue and Registration: University of Southern Maine, Portland, ME
Chair:
Suad Alagic (USM)Speaker Selection Committee:
Suad Alagic (USM), David Van Horn (Northeastern), and Zhong Shao (Yale)Local Arrangements:
Suad Alagic
Schedule
09:15 - 10:00 Coffee and bagels 10:00 - 10:05 Welcome 10:05 - 10:55 Languages and tools for supporting programmers at design time
Invited Talk: Rustan Leino (Microsoft Research)10:55 - 11:00 Coffee 11:00 - 11:30 Programming with People: Integrating Human-Based and Digital Computation
Emery Berger (University of Massachusetts Amherst)11:30 - 12:00 A Framework for Verifying Low-level Programs
Gregory Malecha (Harvard University), Adam Chlipala, Patrick Hulin, and Edward Yang (MIT)12:00 - 12:30 Precise Enforcement of Progress-Sensitive Security
Scott Moore, Aslan Askarov, and Stephen Chong (Harvard University)12:30 - 1:30 Lunch 1:30 - 2:00 Reagents: expressing and composing fine-grained concurrency
Aaron Turon (Northeastern University)2:00 - 2:30 ParaSail: A Simplified Approach to Parallel Programming
S. Tucker Taft (AdaCore)2:30 - 3:00 Problems of First-Class Functions over Space-Time
Jacob Beal (BBN Technologies)3:00 - 3:30 Coffee break 3:30 - 4:00 Modeling 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:20 Blocks Languages for Creating Tangible Artifacts
Franklyn Turbak (Wellesley College)4:20 - 4:45 Representing Expressive Types in Blocks Programming Languages
Marie Vasek (Wellesley College)4:45 - 5:00 Business meeting
| Last modified Sunday, May 6th, 2012 3:27:11am |