Follow
Jatin Arora
Jatin Arora
Carnegie Mellon University
Verified email at andrew.cmu.edu - Homepage
Title
Cited by
Cited by
Year
Verification of programs under the release-acquire semantics
PA Abdulla, J Arora, MF Atig, S Krishna
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019
522019
Knowledge compilation for boolean functional synthesis
S Akshay, J Arora, S Chakraborty, S Krishna, D Raghunathan, S Shah
2019 Formal Methods in Computer Aided Design (FMCAD), 161-169, 2019
272019
Provably space-efficient parallel functional programming
J Arora, S Westrick, UA Acar
Proceedings of the ACM on Programming Languages 5 (POPL), 1-33, 2021
252021
Entanglement detection with near-zero cost
S Westrick, J Arora, UA Acar
Proceedings of the ACM on Programming Languages 6 (ICFP), 679-710, 2022
142022
Efficient Parallel Functional Programming with Effects
J Arora, S Westrick, UA Acar
Proceedings of the ACM on Programming Languages 7 (PLDI), 1558-1583, 2023
72023
Disentanglement with Futures, State, and Interaction
J Arora, SK Muller, UA Acar
Proceedings of the ACM on Programming Languages 8 (POPL), 1569-1599, 2024
22024
Finding Input Characterizations for Output Properties in ReLU Neural Networks
S Dingliwal, D Pareek, J Arora
arXiv preprint arXiv:2003.04273, 2020
2020
The system can't perform the operation now. Try again later.
Articles 1–7