Toward a lingua franca for deterministic concurrent systems M Lohstroh, C Menard, S Bateni, EA Lee ACM Transactions on Embedded Computing Systems (TECS) 20 (4), 1-27, 2021 | 115 | 2021 |
S^ 3dnn: Supervised streaming and scheduling for gpu-accelerated real-time dnn workloads H Zhou, S Bateni, C Liu 2018 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS …, 2018 | 107 | 2018 |
Apnet: Approximation-aware real-time neural network S Bateni, C Liu 2018 IEEE Real-Time Systems Symposium (RTSS), 67-79, 2018 | 74 | 2018 |
Daemo: A self-governed crowdsourcing marketplace S Gaikwad, D Morina, R Nistala, M Agarwal, A Cossette, R Bhanu, ... Adjunct proceedings of the 28th annual ACM symposium on user interface …, 2015 | 70 | 2015 |
Co-Optimizing Performance and Memory Footprint Via Integrated CPU/GPU Memory Management, an Implementation on Autonomous Driving Platform S Bateni, Z Wang, Y Zhu, Y Hu, C Liu Proceedings of the 26th IEEE Real-Time and Embedded Technology and …, 2020 | 58 | 2020 |
Predjoule: A timing-predictable energy optimization framework for deep neural networks S Bateni, H Zhou, Y Zhu, C Liu 2018 IEEE Real-Time Systems Symposium (RTSS), 107-118, 2018 | 50 | 2018 |
{NeuOS}: A {Latency-Predictable}{Multi-Dimensional} Optimization Framework for {DNN-driven} Autonomous Systems S Bateni, C Liu 2020 USENIX Annual Technical Conference (USENIX ATC 20), 371-385, 2020 | 43 | 2020 |
High-performance Deterministic Concurrency Using Lingua Franca C Menard, M Lohstroh, S Bateni, M Chorlian, A Deng, P Donovan, ... ACM Transactions on Architecture and Code Optimization 20 (4), 1-29, 2023 | 28 | 2023 |
Denas: automated rule generation by knowledge extraction from neural networks S Chen, S Bateni, S Grandhi, X Li, C Liu, W Yang Proceedings of the 28th ACM joint meeting on European software engineering …, 2020 | 24 | 2020 |
Quantifying and generalizing the CAP theorem EA Lee, S Bateni, S Lin, M Lohstroh, C Menard arXiv preprint arXiv:2109.07771, 2021 | 22 | 2021 |
Pragmatics twelve years later: a report on lingua franca R von Hanxleden, EA Lee, H Fuhrmann, A Schulz-Rosengarten, ... International Symposium on Leveraging Applications of Formal Methods, 60-89, 2022 | 20 | 2022 |
Shared-resource-centric limited preemptive scheduling: A comprehensive study of suspension-based partitioning approaches Z Dong, C Liu, S Bateni, KH Chen, JJ Chen, G von der Brüggen, J Shi 2018 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS …, 2018 | 17 | 2018 |
A new parallel approach for accelerating the gpu-based execution of edge detection algorithms Z Emrani, S Bateni, H Rabbani Journal of Medical Signals & Sensors 7 (1), 33-42, 2017 | 15 | 2017 |
Risk and Mitigation of Nondeterminism in Distributed Cyber-Physical Systems S Bateni, M Lohstroh, HS Wong, H Kim, S Lin, C Menard, EA Lee Proceedings of the 21st ACM-IEEE International Conference on Formal Methods …, 2023 | 13 | 2023 |
Consistency vs. availability in distributed cyber-physical systems EA Lee, R Akella, S Bateni, S Lin, M Lohstroh, C Menard ACM Transactions on Embedded Computing Systems 22 (5s), 1-24, 2023 | 13 | 2023 |
Xronos: Predictable coordination for safety-critical distributed embedded systems S Bateni, M Lohstroh, HS Wong, R Tabish, H Kim, S Lin, C Menard, C Liu, ... arXiv preprint arXiv:2207.09555, 2022 | 13 | 2022 |
Predictable data-driven resource management: an implementation using autoware on autonomous platforms S Bateni, C Liu 2019 IEEE Real-Time Systems Symposium (RTSS), 339-352, 2019 | 13 | 2019 |
Evolutionary dynamics of tumor-stroma interactions in multiple myeloma JS Sartakhti, MH Manshaei, S Bateni, M Archetti PloS one 11 (12), e0168856, 2016 | 13 | 2016 |
Deterministic coordination across multiple timelines M Lohstroh, S Bateni, C Menard, A Schulz-Rosengarten, J Castrillon, ... ACM Transactions on Embedded Computing Systems 23 (5), 1-29, 2024 | 7 | 2024 |
Trading off consistency and availability in tiered heterogeneous distributed systems EA Lee, S Bateni, S Lin, M Lohstroh, C Menard Intelligent Computing 2, 0013, 2023 | 7 | 2023 |