Shankaranarayanan Krishna

Registered user since Mon 22 Apr 2019

Name: Shankaranarayanan Krishna

Affiliation: IIT Bombay, India

Personal website: https://www.cse.iitb.ac.in/~krishnas/

Contributions

PLDI 2019Author of Verification of Programs under the Release-Acquire Semantics within the PLDI Research Papers-track