PLDI 2025
Mon 16 - Fri 20 June 2025 Seoul, South Korea
Sorav Bansal

Registered user since Mon 15 Jun 2020

Name:Sorav Bansal
Bio:

Faculty member in the CS department at IIT Delhi, India. Co-Founder of CompilerAI Labs. Works on program equivalence checking and program superoptimization.

Country:India
Affiliation:IIT Delhi and CompilerAI Labs
Research interests:Superoptimization, Equivalence Checking, and Related Stuff

Contributions

Show activities from other conferences

Using general profile