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 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
CGO 2022 Author of Automatic Generation of Debug Headers through BlackBox Equivalence Checking within the Main Conference-track
CC 2022 Committee Member in Program Committee within the CC Research Papers-track
Session Chair of Session 5: Safety and Correctness (part of CC Research Papers)
PLDI 2021 Committee Member in Program Committee within the PLDI-track
SPLASH 2020 Author of Counterexample-Guided Correlation Algorithm for Translation Validation within the OOPSLA Artifacts-track
Session Chair of T-6B (part of OOPSLA)
Author of Counterexample-Guided Correlation Algorithm for Translation Validation within the OOPSLA-track
PLDI 2020 Author of OOElala: Order-of-Evaluation Based Alias Analysis for Compiler Optimization within the PLDI Research Papers-track