Sorav Bansal

Registered user since Mon 15 Jun 2020

Name:Sorav Bansal

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

Affiliation:IIT Delhi and CompilerAI Labs
Personal website:
Research interests:Superoptimization, Equivalence Checking, and Related Stuff


VMCAI 2023 StaticPersist : Compiler Support for PMEM Programming
Show activities from other conferences

POPL 2023-profile
View general profile