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

We present a method for synthesizing regular expressions for introductory automata assignments. Given a set of positive and negative examples, the method automatically synthesizes the simplest possible regular expression that accepts all the positive examples while rejecting all the negative examples. The key novelty is the search-based synthesis algorithm that leverages ideas from static analysis to effectively prune out large search space. We have implemented our technique in a tool and evaluated it with non-trivial benchmark problems that students often struggle with. The results show that our system can synthesize desired regular expressions within a few seconds, so that it can be interactively used by students to enhance their understanding of regular expressions.

Mon 31 Oct

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

15:40 - 17:20
Code Generation and SynthesisGPCE at Zürich 1
Chair(s): Julia Lawall Inria/LIP6
15:40
30m
Talk
Synthesizing Regular Expressions from Examples for Introductory Automata Assignments
GPCE
Mina Lee Korea University, Sunbeom So Korea University, Hakjoo Oh Korea University
16:10
30m
Talk
Programmable Semantic Fragments: The Design and Implementation of typy
GPCE
Cyrus Omar Carnegie Mellon University, Jonathan Aldrich Carnegie Mellon University
16:40
30m
Talk
Delaying Decisions in Variable Concern Hierarchies
GPCE
Jörg Kienzle McGill University, Canada, Gunter Mussbacher McGill University, Omar Alam Trent University, Philippe Collet University of Nice
17:10
15m
Talk
Automatic Code Generation in Practice: Experiences with Embedded Robot Controllers
GPCE
Sorin Adam Conpleks Innovation, Marco Kuhrmann , Ulrik Pagh Schultz University of Southern Denmark