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 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

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