Design, Automation, and Test in Europe, Topic E2: Compilers and Software Synthesis 19 - 23 March 2018 Dresden, Germany