Sorav Bansal (@bsorav) 's Twitter Profile
Sorav Bansal

@bsorav

Superoptimizer, equivalence checker, and related stuff (compiler.ai). He/him.

ID: 14292044

linkhttp://www.cse.iitd.ac.in/~sbansal calendar_today03-04-2008 10:10:39

240 Tweet

899 Takipçi

243 Takip Edilen

Sorav Bansal (@bsorav) 's Twitter Profile Photo
Sorav Bansal
@bsorav

5 years ago

I am happy to share that we are now hosting an online demo of our blackbox equivalence checker (counter algorithm) between C and 32-bit x86 assembly at compiler.ai This is very much work in progress. Would love to hear feedback.