Second Spec-a-thon Schedule
Short talks about the current state of various JML projects, and about specification writing, will be given in the mornings. The remaining time will be focused on "pair specification writing" (basically a wacky combination of an OpenBSD Hackathon and formal methods "extreme programming") and on goal setting for JML tool development.Day 1 - 18 November
- 09:45-10:00: Welcome and Agenda (Joe Kiniry)
- 10:00-10:15: JML-related MSc Projects at UCD (Joe Kiniry)
- 10:15-10:30: Aspect-oriented JML (Gary Leavens)
- 10:30-10:50: Improvements to JMLUnit (Dan Zimmerman)
- 10:50-11:00: Goal Setting
- 11:00-12:30: Environment Prep
- 12:30-13:30: Lunch
- 13:30-16:30: Working Session
- 16:30-17:00: The Mobius PVE (Julian Charles)
Day 2 - 19 November
- 09:30-10:00: Reachability Analysis (Radu Grigore)
- 10:00-12:30: Working Session
- 12:30-13:30: Lunch
- 13:30-14:00: Executable Models of Streaming Protocols (Vieri del Bianco)
- 14:00-16:20: Working Session
- 16:20-16:45: Refactoring Java Contracts (Iain Hull)
- 16:45-17:15: Benchmark Programs (Rosemary Monahan)
- 17:15-18:00: Working Session
Day 3 - 20 November
- 09:30-09:50: Setup
- 09:55-10:15: Something about Preludes (Julien Charles)
- 10:15-10:35: The SenseTile System (Dragan Stosic)
- 10:35-11:00: The SenseTile Hardware (Vieri del Bianco)
- 11:00-12:30: Working Session
- 12:30-13:30: Lunch
- 13:30-14:30: Working Session
- 14:30-14:45: BONc and Beetlz (Fintan Fairmichael)
- 14:45-18:00: Working Session