Onward! 2014
Mon 20 - Fri 24 October 2014 Portland, Oregon, United States
co-located with SPLASH 2014
Fri 24 Oct 2014 11:37 - 12:00 at Salon A - Session the Fourth Chair(s): Emery D. Berger

Variation is everywhere, but in the construction and analysis of customizable software it is paramount. In this context, there arises a need for variational data structures for efficiently representing and computing with related variants of an underlying data type. So far, variational data structures have been explored and developed ad hoc. This paper is a first attempt and a call to action for systematic and foundational research in this area. Research on variational data structures will benefit not only customizable software, but the many other application domains that must cope with variability. In this paper, we show how support for variation can be understood as a general and orthogonal property of data types, data structures, and algorithms. We begin a systematic exploration of basic variational data structures, exploring the tradeoffs between different implementations. Finally, we retrospectively analyze the design decisions in our own previous work where we have independently encountered problems requiring variational data structures.

Fri 24 Oct
Times are displayed in time zone: Tijuana, Baja California change

10:30 - 12:00: Session the FourthOnward! Papers at Salon A
Chair(s): Emery D. BergerUniversity of Massachusetts, Amherst
10:30 - 10:52
Talk
Onward! Papers
Svetoslav KaraivanovETH Zurich, Veselin RaychevETH Zurich, Martin VechevETH Zurich
10:52 - 11:15
Talk
Onward! Papers
Marcel TaeumelHasso Plattner Institute, Michael PerscheidHasso Plattner Institute, Bastian SteinertHasso Plattner Institute, Jens LinckeHasso Plattner Institute, Robert HirschfeldHPI
11:15 - 11:37
Talk
Onward! Papers
Stéphane ConversyUniversity of Toulouse - ENAC
11:37 - 12:00
Talk
Onward! Papers
Eric WalkingshawUniversity of Marburg, Christian KästnerCarnegie Mellon University, Martin ErwigOregon State University, Sven ApelUniversity of Passau, Eric BoddenFraunhofer SIT and TU Darmstadt