JetBrains Research unites scientists working in challenging new disciplines

Relational Synthesis for Pattern Matching

In this talk we will give a 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 at the conference APLAS 2020

Speaker: Dmitrii Kosarev

The seminar will be held in google meet on Monday, November 9 at 17:30 (google meet room: https://meet.google.com/myu-dhmz-gvu)