| 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 | 49 | 2019 |
| 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 | 24 | 2019 |
| Provably space-efficient parallel functional programming J Arora, S Westrick, UA Acar Proceedings of the ACM on Programming Languages 5 (POPL), 1-33, 2021 | 22 | 2021 |
| Entanglement detection with near-zero cost S Westrick, J Arora, UA Acar Proceedings of the ACM on Programming Languages 6 (ICFP), 679-710, 2022 | 11 | 2022 |
| Efficient Parallel Functional Programming with Effects J Arora, S Westrick, UA Acar Proceedings of the ACM on Programming Languages 7 (PLDI), 1558-1583, 2023 | 5 | 2023 |
| Disentanglement with Futures, State, and Interaction J Arora, SK Muller, UA Acar Proceedings of the ACM on Programming Languages 8 (POPL), 1569-1599, 2024 | | 2024 |
| Finding Input Characterizations for Output Properties in ReLU Neural Networks S Dingliwal, D Pareek, J Arora arXiv preprint arXiv:2003.04273, 2020 | | 2020 |
Umut A. AcarCarnegie Mellon University, Department of Computer Science在 cs.cmu.edu 的电子邮件经过验证
