Write a Blog >>
GPCE 2016
Mon 31 October - Tue 1 November 2016 Amsterdam, Netherlands
co-located with SPLASH 2016
Tue 1 Nov 2016 14:30 - 14:45 at Zürich 1 - Software Product Lines and Testing Chair(s): Tiark Rompf

Collection data structures in standard libraries of programming languages are designed to excel for the average case by carefully balancing memory footprint and runtime performance. These implicit design decisions and hard-coded trade-offs do constrain users from using an optimal variant for a given problem. Although a wide range of specialized collections is available for the Java Virtual Machine (JVM), they introduce yet another dependency and complicate user adoption by requiring specific Application Program Interfaces (APIs) incompatible with the standard library.

A product line for collection data structures would relieve library designers from optimizing for the general case. Furthermore, a product line allows evolving the potentially large code base of a collection family efficiently. The challenge is to find a small core framework for collection data structures which covers all variations without exhaustively listing them, while supporting good performance at the same time.

We claim that the concept of Array Mapped Tries (AMTs) embodies a high degree of commonality in the sub-domain of immutable collection data structures. AMTs are flexible enough to cover most of the variability, while minimizing code bloat in the generator and the generated code. We implemented a Data Structure Code Generator (DSCG) that emits immutable collections based on an AMT skeleton foundation. The generated data structures outperform competitive hand-optimized implementations, and the generator still allows for customization towards specific workloads.

Tue 1 Nov
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

13:30 - 15:10: Software Product Lines and TestingGPCE at Zürich 1
Chair(s): Tiark RompfPurdue University, USA
13:30 - 14:00
IncLing: Efficient Product-Line Testing Using Incremental Pairwise Sampling
Mustafa Al-HajjajiMagdeburg University, Sebastian KrieterMagdeburg University, Thomas ThümTU Braunschweig, Germany, Malte LochauTU Darmstadt, Gunter SaakeMagdeburg University
14:00 - 14:30
Towards Scalable Configuration Testing in Variable Software
Valentin Rothberg Friedrich-Alexander University of Erlangen-Nürnberg, Christian Dietrich, Andreas ZieglerFriedrich-Alexander University Erlangen-Nürnberg (FAU), Daniel LohmannFriedrich-Alexander University of Erlangen-Nürnberg
Pre-print Media Attached
14:30 - 14:45
Towards a Software Product Line of Trie-Based Collections
Michael SteindorferCWI, Netherlands, Jurgen VinjuCWI, Netherlands
Pre-print Media Attached
14:45 - 15:00
Tool Demo: Testing Configurable Systems with FeatureIDE
Mustafa Al-HajjajiMagdeburg University, Jens MeinickeMagdeburg University, Sebastian KrieterMagdeburg University, Reimar SchröterMagdeburg University, Thomas ThümTU Braunschweig, Germany, Thomas LeichHarz University of Applied Sciences, Germany, Gunter SaakeMagdeburg University