General Information
Date: March 4, 2011
Venue: Northeastern University, Boston, MA
Chair:Sam Tobin-Hochstadt and David Van Horn (Northeastern)Speaker Selection Committee:
Sam Tobin-Hochstadt (Northeastern), Zhong Shao (Yale), and Armando Solar-Lezama (MIT)Local Arrangements:
David Van Horn
Schedule
09:30-10:00 Breakfast 10:00-10:20 Asynchronous Assertions
Edward Aftandilian (Tufts University)10:20-10:40 Parsing Reflective Grammars
Paul Stansifer (Northeastern University)10:40-11:00 Further Developments in Forlan
Alley Stoughton11:00-11:30 Break 11:30-11:50 Virtualizing Real-World Objects
Daniel Winograd-Cort (Yale University)11:50-12:10 Macros that Oblige
Martin Hirzel (IBM Watson Research Center)12:10-12:30 Polymorphic Contracts
Michael Greenberg (University of Pennsylvania12:30-02:00 Lunch 02:00-02:15 Delimited Checkpoints for Effective Contracts
Avi Shinnar (Harvard University)02:15-02:30 Taming the Wildcards: Combining Definition- and Use-Site Variance
John Altidor (University of Massachusetts, Amherst)02:30-02:45 From Java to Lime: Sequential to Parallel, Imperative to Functional, Homogeneous to Heterogeneous
Joshua Auerbach (IBM Research)02:45-03:15 Break 03:15-03:30 Implicit Arrow Annotations in Alms
Jesse Tov (Northeastern University)03:30-03:45 Synthesizing Cyber-Physical Architectural Models with Real-Time Constraints
Vasilis Papavasileiou (Northeastern University)03:45-04:00 Integrating Testing with Theorem Proving in ACL2s
Harsh Raju Chamarthi (Northeastern University)04:00-04:15 Brief Business Meeting
| Last modified Monday, February 28th, 2011 6:40:52pm |