AOSD.net
Conference archive · Edition 14
2015

The Keynote Speeches, Summarised

March 18–19 keynotes · Fort Collins, Colorado, USA

The conference venue in Fort Collins, Colorado
Fort Collins, Colorado — the archive's final edition.

At AOSD 2015, keynote speakers from across the field delivered their speeches on specified days of the conference. Three talks, three complementary visions of modularity.

Thursday, March 19 · 2–3 pmFeature Modularity

Portrait of Prof. Joanne M. Atlee of the University of Waterloo

Prof. Joanne M. Atlee

Cheriton School of Computer Science · University of Waterloo

The speech was designed to look at feature modularity and feature interaction, and to present research on the solution to those interactions.

Feature modularity allows the evolution of software systems via parallel, incremental development through third-party, self-contained feature modules. In practice, by contrast, features are not fully separate concerns: they have different behaviours, and sometimes interfere with one another in surprising ways.

Thursday, March 19 · 9–10 amA Theory Of Modularity For Automated Software Development

Portrait of Prof. Don Batory of the University of Texas at Austin

Don Batory

David Bruton Jr. Centennial Professorship Chair · Department of Computer Science, University of Texas at Austin

Algebraic identities are used to automatically optimize programs. The keynote traced the history of Automated Software Development, and provided a universal theory of modularity for it. ASD — Automated Software Development — comprises techniques for building custom programs compositionally, and automatically, from modules.

Wednesday, March 18 · 9–10 amA Composition-Based Approach To Semantics

Portrait of Prof. Peter D. Mosses of Swansea University

Peter D. Mosses

Department of Computer Science · Swansea University

Modularity is a major characteristic in scaling semantics up to the definition of key programming languages. The talk presented a modularity-oriented approach currently being developed and tested — a project titled the PLanCompS project — reporting the results reached since the preliminary case study demonstrated at Modularity 2014.

The component-focused semantics of a programming language is a collection of functions generically known as the fundamental programming constructs.

After the completion of more case studies, the PLanCompS project intends to publish its initial collection of validated fundamental-construct definitions in a digital library — with open access.