Write a Blog >>
CC 2022
Tue 5 - Wed 6 April 2022 Online conference
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

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)
Show activities from other conferences

CC 2022-profile
View general profile