Sorav Bansal

Registered user since Mon 15 Jun 2020

Name:Sorav Bansal
Bio:

People could become more informal, Computers should become more formal.

Country:India
Affiliation:IIT Delhi and CompilerAI Labs
Personal website:https://sorav.compiler.ai
Research interests:Superoptimization, Equivalence Checking, and Related Stuff

Contributions

PLDI 2022 Committee Member in PLDI within the PLDI-track
Show activities from other conferences

Using general profile