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 2020 | OOElala: Order-of-Evaluation Based Alias Analysis for Compiler Optimization | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
PLDI 2020-profile
View general profile
View general profile