conf.researchr.org / 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
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
2023
2022
PLDI
- Committee Member in SRC Reviewers within the SRC-track
- Author of (OOPSLA 2020) Counterexample-Guided Correlation Algorithm for Translation Validation within the SIGPLAN Track-track
- Committee Member in PLDI within the PLDI-track
- Session Chair of Refinement Types (part of SIGPLAN Track)
- Author of (PLDI 2020) OOElala : Order-Of-Evaluation based Alias Analysis for compiler optimization within the SIGPLAN Track-track