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
Times are displayed in time zone: (GMT+01:00) 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 - 16:10
Talk
GPCE
Mina LeeKorea University, Sunbeom SoKorea University, Hakjoo OhKorea University
16:10 - 16:40
Talk
GPCE
Cyrus OmarCarnegie Mellon University, Jonathan AldrichCarnegie Mellon University
16:40 - 17:10
Talk
GPCE
Jörg KienzleMcGill University, Canada, Gunter MussbacherMcGill University, Omar AlamTrent University, Philippe ColletUniversity of Nice
17:10 - 17:25
Talk
GPCE
Sorin AdamConpleks Innovation, Marco Kuhrmann, Ulrik SchultzUniversity of Southern Denmark