Soroush Bateni

According to our database, Soroush Bateni authored at least 24 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Genie: Smart ROS-based Caching for Connected Autonomous Robots.

Zexin Li, Soroush Bateni, Cong Liu

CoRR, 2024

2023

High-performance Deterministic Concurrency Using Lingua Franca.

Christian Menard, Marten Lohstroh, Soroush Bateni, Matthew Chorlian, Arthur Deng, Peter Donovan, Clément Fournier, Shaokai Lin, Felix Suchert, Tassilo Tanneberger, Hokeun Kim, Jerónimo Castrillón, Edward A. Lee

ACM Trans. Archit. Code Optim., December, 2023

Consistency vs. Availability in Distributed Cyber-Physical Systems.

Edward A. Lee, Ravi Akella, Soroush Bateni, Shaokai Lin, Marten Lohstroh, Christian Menard

ACM Trans. Embed. Comput. Syst., October, 2023

Modal Reactors.

Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Marten Lohstroh, Soroush Bateni, Edward A. Lee

CoRR, 2023

Consistency vs. Availability in Distributed Real-Time Systems.

Edward A. Lee, Ravi Akella, Soroush Bateni, Shaokai Lin, Marten Lohstroh, Christian Menard

CoRR, 2023

Risk and Mitigation of Nondeterminism in Distributed Cyber-Physical Systems.

Soroush Bateni, Marten Lohstroh, Hou Seng Wong, Hokeun Kim, Shaokai Lin, Christian Menard, Edward A. Lee

Proceedings of the 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, 2023

Polyglot Modal Models through Lingua Franca.

Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Marten Lohstroh, Soroush Bateni, Edward A. Lee

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

2022

Xronos: Predictable Coordination for Safety-Critical Distributed Embedded Systems.

Soroush Bateni, Marten Lohstroh, Hou Seng Wong, Rohan Tabish, Hokeun Kim, Shaokai Lin, Christian Menard, Cong Liu, Edward A. Lee

CoRR, 2022

Pragmatics Twelve Years Later: A Report on Lingua Franca.

Reinhard von Hanxleden, Edward A. Lee, Hauke Fuhrmann, Alexander Schulz-Rosengarten, Sören Domrös, Marten Lohstroh, Soroush Bateni, Christian Menard

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering, 2022

2021

Toward a Lingua Franca for Deterministic Concurrent Systems.

Marten Lohstroh, Christian Menard, Soroush Bateni, Edward A. Lee

ACM Trans. Embed. Comput. Syst., 2021

Quantifying and Generalizing the CAP Theorem.

Edward A. Lee, Soroush Bateni, Shaokai Lin, Marten Lohstroh, Christian Menard

CoRR, 2021

Debugging and Verification Tools for Lingua Franca in Gemoc Studio.

Julien Deantoni, João Cambeiro, Soroush Bateni, Shaokai Lin, Marten Lohstroh

Proceedings of the 24th Forum on specification & Design Languages, 2021

2020

LINTS^RT: A Learning-driven Testbed for Intelligent Scheduling in Embedded Systems.

Zelun Kong, Yaswanth Yadlapalli, Soroush Bateni, Junfeng Guo, Cong Liu

CoRR, 2020

Co-Optimizing Performance and Memory FootprintVia Integrated CPU/GPU Memory Management, anImplementation on Autonomous Driving Platform.

Soroush Bateni, Zhendong Wang, Yuankun Zhu, Yang Hu, Cong Liu

CoRR, 2020

NeuOS: A Latency-Predictable Multi-Dimensional Optimization Framework for DNN-driven Autonomous Systems.

Soroush Bateni, Cong Liu

Proceedings of the 2020 USENIX Annual Technical Conference, 2020

DENAS: automated rule generation by knowledge extraction from neural networks.

Simin Chen, Soroush Bateni, Sampath Grandhi, Xiaodi Li, Cong Liu, Wei Yang

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

Co-Optimizing Performance and Memory Footprint Via Integrated CPU/GPU Memory Management, an Implementation on Autonomous Driving Platform.

Soroush Bateni, Zhendong Wang, Yuankun Zhu, Yang Hu, Cong Liu

Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, 2020

2019

A General Analysis Framework for Soft Real-Time Tasks.

Zheng Dong, Cong Liu, Soroush Bateni, Zelun Kong, Liang He, Lingming Zhang, Ravi Prakash, Yuqun Zhang

IEEE Trans. Parallel Distributed Syst., 2019

Predictable Data-Driven Resource Management: an Implementation using Autoware on Autonomous Platforms.

Soroush Bateni, Cong Liu

Proceedings of the IEEE Real-Time Systems Symposium, 2019

2018

PredJoule: A Timing-Predictable Energy Optimization Framework for Deep Neural Networks.

Soroush Bateni, Husheng Zhou, Yuankun Zhu, Cong Liu

Proceedings of the 2018 IEEE Real-Time Systems Symposium, 2018

ApNet: Approximation-Aware Real-Time Neural Network.

Soroush Bateni, Cong Liu

Proceedings of the 2018 IEEE Real-Time Systems Symposium, 2018

S^3DNN: Supervised Streaming and Scheduling for GPU-Accelerated Real-Time DNN Workloads.

Husheng Zhou, Soroush Bateni, Cong Liu

Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, 2018

Shared-Resource-Centric Limited Preemptive Scheduling: A Comprehensive Study of Suspension-Based Partitioning Approaches.

Zheng Dong, Cong Liu, Soroush Bateni, Kuan-Hsun Chen, Jian-Jia Chen, Georg von der Brüggen, Junjie Shi

Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, 2018

GRU: Exploring Computation and Data Redundancy via Partial GPU Computing Result Reuse.

Husheng Zhou, Soroush Bateni, Cong Liu

Proceedings of the 32nd International Conference on Supercomputing, 2018