Sorav Bansal -

Registered user since Mon 15 Jun 2020

Name: Sorav Bansal

Bio: See http://compiler.ai for recent work

Affiliation: IIT Delhi

Personal website: http://www.cse.iitd.ac.in/~sbansal

Research interests: Superoptimization, Equivalence Checking, and Related Stuff

Contributions

PLDI 2021	Committee Member in Program Committee within the PLDI Research Papers-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