Sotabase

Career

· Researcher (implied from work in academic context), UC Berkeley2025–
· Researcher, University of California, Berkeley - Industrial Cyber-Physical Systems Center (iCyPhy)2024–

Publications (27)

Toward a Lingua Franca for Deterministic Concurrent Systems
ACM Transactions on Embedded Computing Systems · 2021
105
cited
S^3DNN: Supervised Streaming and Scheduling for GPU-Accelerated Real-Time DNN Workloads
IEEE Real Time Technology and Applications Symposium · 2018
92
cited
ApNet: Approximation-Aware Real-Time Neural Network
IEEE Real-Time Systems Symposium · 2018
58
cited
Co-Optimizing Performance and Memory Footprint Via Integrated CPU/GPU Memory Management, an Implementation on Autonomous Driving Platform
IEEE Real Time Technology and Applications Symposium · 2020
52
cited
NeuOS: A Latency-Predictable Multi-Dimensional Optimization Framework for DNN-driven Autonomous Systems
USENIX Annual Technical Conference · 2020
41
cited
PredJoule: A Timing-Predictable Energy Optimization Framework for Deep Neural Networks
IEEE Real-Time Systems Symposium · 2018
34
cited
High-performance Deterministic Concurrency Using Lingua Franca
ACM Transactions on Architecture and Code Optimization (TACO) · 2023
31
cited
DENAS: automated rule generation by knowledge extraction from neural networks
ESEC/SIGSOFT FSE · 2020
21
cited
Quantifying and Generalizing the CAP Theorem
arXiv.org · 2021
18
cited
Shared-Resource-Centric Limited Preemptive Scheduling: A Comprehensive Study of Suspension-Based Partitioning Approaches
IEEE Real Time Technology and Applications Symposium · 2018
16
cited
Consistency vs. Availability in Distributed Cyber-Physical Systems
ACM Transactions on Embedded Computing Systems · 2023
15
cited
Pragmatics Twelve Years Later: A Report on Lingua Franca
Leveraging Applications of Formal Methods · 2022
13
cited
Predictable Data-Driven Resource Management: an Implementation using Autoware on Autonomous Platforms
IEEE Real-Time Systems Symposium · 2019
13
cited
Risk and Mitigation of Nondeterminism in Distributed Cyber-Physical Systems
International Conference on Formal Methods and Models for Co-Design · 2023
13
cited
Xronos: Predictable Coordination for Safety-Critical Distributed Embedded Systems
arXiv.org · 2022
10
cited
Debugging and Verification Tools for Lingua Franca in Gemoc Studio
Forum on Specification and Design Languages · 2021
7
cited
Deterministic Coordination across Multiple Timelines
ACM Transactions on Embedded Computing Systems · 2023
7
cited
Trading Off Consistency and Availability in Tiered Heterogeneous Distributed Systems
Intelligent Computing · 2023
6
cited
A General Analysis Framework for Soft Real-Time Tasks
IEEE Transactions on Parallel and Distributed Systems · 2019
5
cited
Polyglot Modal Models through Lingua Franca
Design, Automation and Test in Europe · 2023
5
cited
Sotabase
Soroush Bateni | Researcher Profile | Sotabase | Sotabase