Inaugural JML Spec-a-thon, May 2009

Archival Site

The Inaugural JML Spec-a-thon will be held on campus at the University of Washington Tacoma for three days, from Tuesday 26 May 2009 to Thursday 28 May 2009.

The main focus for the inaugural spec-a-thon is on writing good, usable specifications for many of the modern Java core classes that presently lack them. In JML4 and OpenJML, we finally have JML compilers that can take full advantage of generics and the other new language features introduced over the last several years, but the vast majority of available specs are still for Java 1.4 classes, lacking both generics and new APIs. Addressing this situation will help make JML more attractive to developers and more suitable for use in coursework.

A secondary focus of this spec-a-thon is on setting community-wide goals for the coming year in JML-related tool development and research. There will also be a “keynote”-like talk open to the University of Washington Tacoma campus.

The Inaugural JML Spec-a-thon is supported by a Formal Methods Europe Small Projects award, as well as a Chancellor’s Fund grant from the University of Washington Tacoma. This support allows us to offer travel subsidies to attendees (exact amounts to be determined, but most likely in the $200 to $500 range).

To keep this initial event manageable, we will be limiting attendance to 12 people. There are currently 9 registered attendees (including the organizers). If you are interested in registering, email jmlspecs dash specathon at lists dot sourceforge dot net.

Information about local accommodations, an attendee list and the event schedule can be found on dedicated pages.