7 papers
Optimal Dynamic Resource Allocation for Multicore Real-time Systems
Georgiy A. Bondar, Abigail Eisenklam, Ripon C. Sarker +2
We formulate a novel optimal control problem for data-driven dynamic resource allocation in multicore real-time systems. The proposed formulation accounts for hard deadline constra…
Generative Profiling for Soft Real-Time Systems and its Applications to Resource Allocation
Georgiy A. Bondar, Abigail Eisenklam, Yifan Cai +4
Modern real-time systems require accurate characterization of task timing behavior to ensure predictable performance, particularly on complex hardware architectures. Existing metho…
GeoShield: Byzantine Fault Detection and Recovery for Geo-Distributed Real-Time Cyber-Physical Systems
Yifan Cai, Linh Thi Xuan Phan
Large-scale cyber-physical systems (CPS), such as railway control systems and smart grids, consist of geographically distributed subsystems that are connected via unreliable, async…
CrossTrace: Efficient Cross-Thread and Cross-Service Span Correlation in Distributed Tracing for Microservices
Linh-An Phan, MingXue Wang, Guangyu Wu +3
Distributed tracing has become an essential technique for debugging and troubleshooting modern microservice-based applications, enabling software engineers to detect performance bo…
CORD: Co-design of Resource Allocation and Deadline Decomposition with Generative Profiling
Robert Gifford, Abby Eisenklam, Georgiy A. Bondar +4
As multicore hardware is becoming increasingly common in real-time systems, traditional scheduling techniques that assume a single worst-case execution time for a task are no longe…
Path Structured Multimarginal Schrödinger Bridge for Probabilistic Learning of Hardware Resource Usage by Control Software
Georgiy A. Bondar, Robert Gifford, Linh Thi Xuan Phan +1
The solution of the path structured multimarginal Schrödinger bridge problem (MSBP) is the most-likely measure-valued trajectory consistent with a sequence of observed probability…
FairDP: Certified Fairness with Differential Privacy
Khang Tran, Ferdinando Fioretto, Issa Khalil +2
This paper introduces FairDP, a novel training mechanism designed to provide group fairness certification for the trained model's decisions, along with a differential privacy (DP)…