Re: [pl-seminar] Rong Pan's OOPSLA practice talk 10/18 at 12.30 in CS3310

["Loris D'Antoni" <loris@xxxxxxxxxxx>]

Friendly reminder that Rong is giving a practice talk this friday at 12.30.

Also, I see that no-one has signed up to meet him yet.Â

I think he's doing some interesting work on verifying smart contracts with Isil Dillig and some folks at MSR so I think some of you might be interested in chatting with him.

Cheers,

-Loris

On Fri, Oct 11, 2019 at 10:25 AM Loris D'Antoni <lorisdanto@xxxxxxxxx> wrote:

Rong Pan is giving a practice talk for OOPSLA next week.

Rong will also be around all day if you want to meet him (feel free to change time slots).

And someone please take him for lunch at 1130:

https://docs.google.com/spreadsheets/d/11V_TERXBGvdWv4eOqGk_c-cv32PW2zJnbvq98k7TgcU/edit?usp=sharing

------------------------------------------------------------------------------------------------------------

Who: Rong Pan (now UT-Austin, before ugrad at UW-Madison)

Where: CS3310Â

When: Friday 10/18 1230-130

Â

Title: Automatic Repair of Regular Expressions

Abstract:Â

We introduce RFixer, a tool for repairing complex regular expressions using examples. 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.