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
POPL 2021
Author of Provably Space Efficient Parallel Functional Programming within the POPL-track
PLDI 2019
Author of Verification of Programs under the Release-Acquire Semantics within the PLDI Research Papers-track
Share
x
Fri 12 Aug 23:40