Sorav Bansal

Registered user since Mon 15 Jun 2020

Name:Sorav Bansal
Bio:

See http://compiler.ai for recent work

Affiliation:IIT Delhi
Research interests:Superoptimization, Equivalence Checking, and Related Stuff

Contributions

PLDI 2022 Committee Member in PLDI within the PLDI-track
Show activities from other conferences

Using general profile