Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Jatin Arora
conf.researchr.org general profile
PLDI 2019 profile
POPL 2021 profile
Registered user since Tue 23 Apr 2019
Name:
Jatin Arora
Affiliation:
CMU
Contributions
2021
POPL
Author of Provably Space Efficient Parallel Functional Programming within the POPL-track
2019
PLDI
Author of Verification of Programs under the Release-Acquire Semantics within the PLDI Research Papers-track
Share
x
Tue 3 Dec 18:37