Παρακολούθηση
Jatin Arora
Jatin Arora
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα 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
492019
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
242019
Provably space-efficient parallel functional programming
J Arora, S Westrick, UA Acar
Proceedings of the ACM on Programming Languages 5 (POPL), 1-33, 2021
222021
Entanglement detection with near-zero cost
S Westrick, J Arora, UA Acar
Proceedings of the ACM on Programming Languages 6 (ICFP), 679-710, 2022
112022
Efficient Parallel Functional Programming with Effects
J Arora, S Westrick, UA Acar
Proceedings of the ACM on Programming Languages 7 (PLDI), 1558-1583, 2023
52023
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
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–7