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 Stoughton |
11: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 Pennsylvania |
12: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 |