Talks

Here is a list of talks I have given.

INTERLEAVE: A Faster Symbolic Algorithm for Maximal End Component Decomposition

• Microsoft Research India Lab Sabha, Bengaluru, Oct 29, 2025. [Slides]
• Workshop on Research Highlights in Programming Languages (co-located with FSTTCS 2025), Dec 17, 2025.