Modular Synthesis of Reactive Programs
SYNT 2020, Virtual, July 2020
Modular Program Synthesis
UNIX 50, Nokia Bell Labs, October 2019
Why Do We Debate?
TEDxIIESTShibpur, Shibpur, 2017
How Theory transformed Carnatic Music
TEDxMITS, Kochi, 2017