Fri 19 Jul 2019 10:30 - 11:00 at Reims - DS Session 2 Chair(s): Lisa Nguyen Quang Do

Brzozowski introduced in 1964 a beautifully simple algorithm for regular expression matching based on the notion of derivatives of regular expressions. In 2014, Sulzmann and Lu extended this algorithm to not just give an answer whether or not a regular expression matches a string, but in case it matches also how it matches the string. This is important for applications such as lexing (tokenising a string). The problem is to make the algorithm by Sulzmann and Lu fast on all input without breaking its correctness.

Fri 19 Jul

ecoop-2019-docsymp
10:30 - 12:10: Doctoral Symposium - DS Session 2 at Reims
Chair(s): Lisa Nguyen Quang DoPaderborn University
ecoop-2019-docsymp10:30 - 11:00
Doctoral symposium paper
Chengsong TanKing's College London
ecoop-2019-docsymp11:00 - 11:30
Doctoral symposium paper
Jyoti PrakashUniversity of Potsdam, Germany
ecoop-2019-docsymp11:30 - 12:10
Talk
Ben HermannPaderborn University
Media Attached