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

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