Write a Blog >>
CGO 2022
Sat 2 - Wed 6 April 2022
Sorav Bansal

Registered user since Mon 15 Jun 2020

Name:Sorav Bansal

People could become more informal, Computers should become more formal.

Affiliation:IIT Delhi and CompilerAI Labs
Personal website:https://sorav.compiler.ai
Research interests:Superoptimization, Equivalence Checking, and Related Stuff


CGO 2022 Automatic Generation of Debug Headers through BlackBox Equivalence Checking
Show activities from other conferences

CGO 2022-profile
View general profile