Repairing Regular Expressions for Extraction

Watch a 17-minute video presentation from the PLDI 2023 conference exploring the first Programming-by-Examples (PBE) method for synthesizing and repairing regular expressions for extraction. Learn about the challenges of supporting real-world regex extensions like backreferences and lookarounds, and discover how the researchers developed an algorithm to solve PBE-based synthesis and repair problems for extraction. Understand the novel formal semantics of regex engines and new search space pruning techniques introduced in this groundbreaking work. Gain insights into the implementation and evaluation of the R3 (Repairing Regex for extRaction) tool on 50 regexes containing real-world extensions.