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
Using general profile