Write a Blog >>
PLDI 2020
Mon 15 - Fri 19 June 2020
Fri 19 Jun 2020 17:00 - 18:00 at Sponsors - Microsoft meeting

Symbolic means that characters are given by predicates instead of concrete symbols and extended means that intersection and complement are supported in regexes. We consider a new match generation algorithm that is based on derivatives of symbolic regexes. The algorithm has been implemented as a tool SRM within the open source Microsoft Automata framework and uses the .NET regex parser as a frontend. We also discuss other uses and work in progress involving analysis with symbolic regexes.

Fri 19 Jun
Times are displayed in time zone: (GMT-07:00) Pacific Time (US & Canada) change

pldi-2020-sponsors
17:00 - 18:00: Sponsors - Microsoft meeting at Sponsors

Join researchers and interns for an interactive show and tell on the latest PL advances from Microsoft. Join Microsoft’s Zoom meeting

The meeting id and password will be distributed to attendees via the conference Slack workspace.

pldi-2020-sponsors17:00 - 18:00
Talk
Margus VeanesMicrosoft Research, Caleb StanfordUniversity of Pennsylvania