Affiliation: Computer Sciences, advised by Michael Gleicher and Mohit Gupta

Web page: https://cpsiff.github.io/