Write a Blog >>
SPLASH 2019
Sun 20 - Fri 25 October 2019 Athens, Greece
Fri 25 Oct 2019 11:22 - 11:45 at Templars - Repair & Transformation

We introduce RFixer, a tool for repairing complex regular expressions using examples and only consider regular expressions without non-regular operators (e.g., negative lookahead). Given an incorrect regular expression and sets of positive and negative examples, RFixer synthesizes the closest regular expression to the original one that is consistent with the examples. Automatically repairing regular expressions requires exploring a large search space because practical regular expressions: i) are large, ii) operate over very large alphabets—e.g., UTF-16 and ASCII—and iii) employ complex constructs—e.g., character classes and numerical quantifiers. RFixer’s repair algorithm achieves scalability by taking advantage of structural properties of regular expressions to effectively prune the search space, and it employs satisfiability modulo theory solvers to efficiently and symbolically explore the sets of possible character classes and numerical quantifiers. RFixer could successfully compute minimal repairs for regular expressions collected from a variety of sources, whereas existing tools either failed to produce any repair or produced overly complex repairs.

This program is tentative and subject to change.

Fri 25 Oct

splash-2019-oopsla
11:00 - 12:30: OOPSLA - Repair & Transformation at Templars
splash-2019-oopsla11:00 - 11:22
Talk
Shuai WangETH Zurich, Chengyu ZhangEast China Normal University, Zhendong SuETH Zurich
splash-2019-oopsla11:22 - 11:45
Talk
Rong PanUniversity of Texas at Austin, Qinheping HuUniversity of Wisconsin, Madison, Gaowei XuUniversity of Wisconsin Madison, Loris D'AntoniUniversity of Wisconsin Madison
Pre-print
splash-2019-oopsla11:45 - 12:07
Talk
Johannes BaderFacebook, Andrew ScottFacebook, Michael PradelUniversity of Stuttgart, Satish ChandraFacebook
Pre-print
splash-2019-oopsla12:07 - 12:30
Talk
Bo ShenPeking University, Wei ZhangPeking University, Haiyan ZhaoPeking University, Guangtai LiangHuawei Technologies Co. Ltd, Zhi JinPeking University, Qianxiang WangHuawei Technologies Co. Ltd
DOI