دنبال کردن
Jatin Arora
Jatin Arora
Carnegie Mellon University
ایمیل تأیید شده در andrew.cmu.edu - صفحهٔ اصلی
عنوان
نقل شده توسط
نقل شده توسط
سال
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‏
512019
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‏
242021
Entanglement detection with near-zero cost‏
S Westrick, J Arora, UA Acar‏
Proceedings of the ACM on Programming Languages 6 (ICFP), 679-710, 2022‏
132022
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
سیستم در حال حاضر قادر به انجام عملکرد نیست. بعداً دوباره امتحان کنید.
مقاله‌ها 1–7