General Information

Date: March 4, 2011
Venue: Northeastern University, Boston, MA

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


All the abstracts

10:00-10:20Asynchronous Assertions
Edward Aftandilian (Tufts University)
10:20-10:40Parsing Reflective Grammars
Paul Stansifer (Northeastern University)
10:40-11:00Further Developments in Forlan
Alley Stoughton
11:30-11:50Virtualizing Real-World Objects
Daniel Winograd-Cort (Yale University)
11:50-12:10Macros that Oblige
Martin Hirzel (IBM Watson Research Center)
12:10-12:30Polymorphic Contracts
Michael Greenberg (University of Pennsylvania
02:00-02:15Delimited Checkpoints for Effective Contracts
Avi Shinnar (Harvard University)
02:15-02:30Taming the Wildcards: Combining Definition- and Use-Site Variance
John Altidor (University of Massachusetts, Amherst)
02:30-02:45From Java to Lime: Sequential to Parallel, Imperative to Functional, Homogeneous to Heterogeneous
Joshua Auerbach (IBM Research)
03:15-03:30Implicit Arrow Annotations in Alms
Jesse Tov (Northeastern University)
03:30-03:45Synthesizing Cyber-Physical Architectural Models with Real-Time Constraints
Vasilis Papavasileiou (Northeastern University)
03:45-04:00Integrating Testing with Theorem Proving in ACL2s
Harsh Raju Chamarthi (Northeastern University)
04:00-04:15Brief Business Meeting

Last modified Monday, February 28th, 2011 6:40:52pm