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 2019 Verification of Programs under the Release-Acquire Semantics
Show activities from other conferences

PLDI 2019-profile
View general profile