Write a Blog >>
GPCE 2016
Mon 31 October - Tue 1 November 2016 Amsterdam, Netherlands
co-located with SPLASH 2016
Mon 31 Oct 2016 17:10 - 17:25 at Zürich 1 - Code Generation and Synthesis Chair(s): Julia Lawall

Mobile robots often use a distributed architecture in which software components are deployed to heterogeneous hardware modules. Ensuring the consistency with the designed architecture is a complex task, notably if functional safety requirements have to be fulfilled. We propose to use a domain-specific language to specify those requirements and to allow for generating a safety-enforcing layer of code, which is deployed to the robot. The paper at hand reports experiences in practically applying code generation to mobile robots. For two cases, we discuss how we addressed challenges, e.g., regarding weaving code generation into proprietary development environments and testing of manually written code. We find that a DSL based on the same conceptual model can be used across different kinds of hardware modules, but a significant adaptation effort is required in practical scenarios involving different kinds of hardware.

Mon 31 Oct
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

15:40 - 17:20
Code Generation and SynthesisGPCE at Zürich 1
Chair(s): Julia LawallInria/LIP6
15:40
30m
Talk
Synthesizing Regular Expressions from Examples for Introductory Automata Assignments
GPCE
Mina LeeKorea University, Sunbeom SoKorea University, Hakjoo OhKorea University
16:10
30m
Talk
Programmable Semantic Fragments: The Design and Implementation of typy
GPCE
Cyrus OmarCarnegie Mellon University, Jonathan AldrichCarnegie Mellon University
16:40
30m
Talk
Delaying Decisions in Variable Concern Hierarchies
GPCE
Jörg KienzleMcGill University, Canada, Gunter MussbacherMcGill University, Omar AlamTrent University, Philippe ColletUniversity of Nice
17:10
15m
Talk
Automatic Code Generation in Practice: Experiences with Embedded Robot Controllers
GPCE
Sorin AdamConpleks Innovation, Marco Kuhrmann, Ulrik Pagh SchultzUniversity of Southern Denmark