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

Displayed 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 Rompf Purdue University, USA
13:30
30m
Talk
IncLing: Efficient Product-Line Testing Using Incremental Pairwise Sampling
GPCE
Mustafa Al-Hajjaji Magdeburg University, Sebastian Krieter Magdeburg University, Thomas Thüm University of Ulm, Malte Lochau TU Darmstadt, Gunter Saake Magdeburg University
14:00
30m
Talk
Towards Scalable Configuration Testing in Variable Software
GPCE
Valentin Rothberg Friedrich-Alexander University of Erlangen-Nürnberg, Christian Dietrich , Andreas Ziegler Friedrich-Alexander University Erlangen-Nürnberg (FAU), Daniel Lohmann Friedrich-Alexander University of Erlangen-Nürnberg
Pre-print Media Attached
14:30
15m
Talk
Towards a Software Product Line of Trie-Based Collections
GPCE
Michael Steindorfer CWI, Netherlands, Jurgen Vinju CWI, Netherlands
Pre-print Media Attached
14:45
15m
Talk
Tool Demo: Testing Configurable Systems with FeatureIDE
GPCE
Mustafa Al-Hajjaji Magdeburg University, Jens Meinicke Magdeburg University, Sebastian Krieter Magdeburg University, Reimar Schröter Magdeburg University, Thomas Thüm University of Ulm, Thomas Leich Harz University of Applied Sciences, Germany, Gunter Saake Magdeburg University