December 2, 2022

Ashish Mishra will present Specification-Guided Component-Based Synthesis from Effectful Libraries at SPLASH’22!