Research group

Programming Languages and Tools Lab

Relational Synthesis for Pattern Matching

November 9

In this talk we will give brief overview of modern ways to compile pattern matching. Also, we will present a new approach based on program synthesis.

The talk is based on a paper D.Kosarev, D.Boulytchev "Relational Synthesis for Pattern Matching", which is accepted for publication on the conference APLAS 2020