Registered user since Tue 23 Apr 2019

Name: Jatin Arora

Affiliation: IIT Bombay, India

Contributions

PLDI 2019 Verification of Programs under the Release-Acquire Semantics
Show activities from other conferences

PLDI 2019-profile
View general profile