Write a Blog >>
LCTES 2020
Mon 15 - Fri 19 June 2020
co-located with PLDI 2020
Sorav Bansal

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
Research interests:Superoptimization, Equivalence Checking, and Related Stuff

Contributions

Show activities from other conferences

PLDI 2020-profile
View general profile