![Sorav Bansal](https://popl25.sigplan.org/getProfileImage/soravbansal1/3bacf39b-3a07-41a7-9acd-f6b4c27d2f89/small.jpg?1711554327000)
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
Personal website: https://sorav.compiler.ai
X (Twitter): https://x.com/bsorav
GitHub: https://github.com/bsorav
Research interests:Superoptimization, Equivalence Checking, and Related Stuff
Contributions
Using general profile