PLDI 2022
Mon 13 - Fri 17 June 2022 San Diego, California, United States
PLDI 2022 (series) / Sorav Bansal
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
Twitter:https://twitter.com/bsorav
GitHub:https://github.com/bsorav
Research interests:Superoptimization, Equivalence Checking, and Related Stuff

Contributions

PLDI 2022 Committee Member in SRC Reviewers within the SRC-track
(OOPSLA 2020) Counterexample-Guided Correlation Algorithm for Translation Validation
Committee Member in PLDI within the PLDI-track
Session Chair of Refinement Types (part of SIGPLAN Track)
(PLDI 2020) OOElala : Order-Of-Evaluation based Alias Analysis for compiler optimization
Show activities from other conferences

PLDI 2022-profile
View general profile