• Sign in
  • Sign up
conf.researchr.org / Sorav Bansal
  • PLDI 2020 profile
  • PLDI 2021 profile
  • SPLASH 2020 profile
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

Share
xMon 25 Jan 23:59
using conf.researchr.org (v1.40.2)
Support page
Sign Up