Write a Blog >>
GPCE 2016
Mon 31 October - Tue 1 November 2016 Amsterdam, Netherlands
co-located with SPLASH 2016
Tue 1 Nov 2016 16:40 - 17:10 at Zürich 1 - Testing and Verification Chair(s): Bernd Fischer

The intensive use of generative programming techniques provides an elegant engineering solution to deal with the heterogeneity of platforms and technological stacks. The use of domain-specific languages for example, leads to the creation of numerous code generators that automatically translate high-level system specifications into multi-target executable code. Producing correct and efficient code generator is complex and error-prone. Although software designers provide generally high-level test suites to verify the functional outcome of generated code, it remains challenging and tedious to verify the behavior of produced code in terms of non-functional properties. This paper describes a practical approach based on a runtime monitoring infrastructure to automatically check the potential inefficient code generators. This infrastructure, based on system containers as execution platforms, allows code-generator developers to evaluate the generated code performance. We evaluate our approach by analyzing the performance of Haxe, a popular high-level programming language that involves a set of cross-platform code generators. Experimental results show that our approach is able to detect some performance inconsistencies that reveal real issues in Haxe code generators.

Tool Poster (Poster Version.pdf)9.86MiB

Tue 1 Nov

gpce-2016-papers
15:40 - 17:20: GPCE - Testing and Verification at Zürich 1
Chair(s): Bernd FischerStellenbosch University
gpce-2016-papers147801120000015:40 - 16:10
Talk
Majid MakkiiMinds-DistriNet, Dimitri Van LanduytKatholieke Universiteit Leuven, Wouter JoosenKatholieke Universiteit Leuven
gpce-2016-papers147801300000016:10 - 16:40
Talk
Matthew HammerUniversity of Colorado, Boulder, Bor-Yuh Evan ChangUniversity of Colorado Boulder, David Van HornUniversity of Maryland at College Park, USA
Pre-print Media Attached
gpce-2016-papers147801480000016:40 - 17:10
Talk
Pre-print Media Attached File Attached