Jatin Arora -

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