Registered user since Mon 15 Jun 2020
People could become more informal, Computers should become more formal.
Affiliation:IIT Delhi and CompilerAI Labs
Research interests:Superoptimization, Equivalence Checking, and Related Stuff
|PLDI 2022||Committee Member in PLDI within the PLDI-track|
|Show activities from other conferences|
Using general profile