Accepted Papers

(Conditionally) accepted papers

• Accuracy Anomalies in Classifier Cascades
  Sanjoy Baruah (Washington University in St. Louis); Ishrak Jahan Ratul (Texas State University); Kecheng Yang (Texas State University)

• Analysis of TSN Credit-Based Shapers using the Schedule Abstraction Graph Methodology
  Srinidhi Srinivasan (Eindhoven University of Technology); Geoffrey Nelissen (TU-Eindhoven); Mario Guenzel (MPI-SWS); Nirvana Meratnia (Eindhoven University of Technology)

• AoI Minimization in Rechargeable Monitoring Systems with Rate Adaptation
  Chenchen Fu (School of Computer Science and Engineering, Southeast University); Zhongyu Sun (Southeast University); Sujunjie Sun (Southeast University); Xiaoxing Qiu (Southeast University); Weiwei Wu (Southeast university, P. R. China); Song Han (University of Connecticut)

• Arthas: Real-Time In-Network Machine Learning via Switch ASIC and SmartNIC Co-Design
  Zhifan Jiang (Zhejiang University); Longlong Zhu (Zhejiang University); Jiashuo Yu (Zhejiang University); Yuchen Xian (Zhejiang University); Xingyuan Li (Zhejiang University); Siyuan Li (Shanghai Jiao Tong University); Xi Lin (Shanghai Jiao Tong University); Jianhua Li (Shanghai Jiao Tong University); Hongyan Liu (Fuzhou University); Dong Zhang (Fuzhou University); Chunming Wu (Zhejiang University); Xiang Chen (Zhejiang University)

• Bottleneck-Aware Bandwidth Regulation for Heterogeneous Memory Subsystems
  Ivan Izhbirdeev (Boston University); Weifan Chen (Boston University); Heechul Yun (University of Kansas); Renato Mancuso (Boston University)

• BWP-aware Real-Time Scheduling for Heterogeneous UEs in Industrial 5G Systems
  Tianyu Zhang (The University of Iowa); Subasree Balamurali (The University of Iowa); Mainak Mondal (University of Connecticut); X. Sharon Hu (University of Notre Dame); Song Han (University of Connecticut)

• CABS: Bounding the Consecutive Deadline-Failure Probability of Periodic Tasks via Backlog Sampling
  Oleksandr Marmaliuk (Max Planck Institute for Software Systems (MPI-SWS)); Mario Günzel (Max Planck Institute for Software Systems (MPI-SWS)); Bite Ye (Max Planck Institute for Software Systems (MPI-SWS)); Filip Marković (University of Southampton); Björn Brandenburg (Max Planck Institute for Software Systems (MPI-SWS))

• CoStressLLM: Victim-Aware LLM Synthesis for Empirical Multicore Timing Interference Analysis
  Jilu Zhang (East China Normal University); Yong Cai (East China Normal University); Weikai Miao (East China Normal University); Jiahao Ge (East China Normal University); Yi Liao (East China Normal University); Jiansheng Guan (FlyLite Aviation Technology)

• DART: Deadline-Aware Transferable Autoscaling for Real-Time IoT Microservices at the Edge
  Haogang Tong (SUN YAT-SEN UNIVERSITY); Chunyang Meng (SUN YAT-SEN UNIVERSITY); Yang Yu (SUN YAT-SEN UNIVERSITY)

• DARTS^rt: A Real-Time MARL Framework with Bounded Auction Latency and Schedulability
  Yifan Chen (University of California, Riverside); Cong Liu (University of California - Riverside)

• Deadline-Aware Token Scheduling for Physical-I/O LLM Agents
  Md Ashikul Haque (University of Texas at Dallas); Abusayeed Saifullah (University of Texas at Dallas)

• DTRL: Reinforcement Learning Framework for Cyber-Physical Systems with Dynamic Time Requirements
  Yufeng Yang (Washington State University); Dacheng Shen (Washington State University); Mengyu Liu (Washington State University)

• End-to-end Timing Analysis with Multi-frame Task Model in ROS 2
  Ruoxiang Li (Shenzhen University); Yue Tang (Northeastern University, China); Qingxu Deng (Northeastern University); Jason Xue (Mohamed bin Zayed University of AI); Nan Guan (City Univ of Hong Kong); Jianbin Qin (Shenzhen University); Jianqiang Li (Shenzhen University)

• Fabricate-then-Exploit: Unified Energy-Efficient Scheduling for Arbitrary-Deadline DAG Tasks on Clustered Multicores
  Xiangzhen Xiao (Hunan University); Weijie Wang (Hunan University); Wanli Chang (Hunan University)

• From Estimates to Guarantees: Verified Exceedance Analysis on Commodity Hardware
  Kimaya Bedarkar (Max Planck Institute for Software Systems (MPI-SWS)); Bite Ye (Max Planck Institute for Software Systems (MPI-SWS)); Deepak Garg (Max Planck Institute for Software Systems (MPI-SWS)); Derek Dreyer (Max Planck Institute for Software Systems (MPI-SWS)); Björn Brandenburg (Max Planck Institute for Software Systems (MPI-SWS))

• GPU-Aware Response-Time Analysis for Holoscan Applications under CUDA Green Contexts
  Philip Schowitz (The University of British Columbia); Shubhaankar Sharma (The University of British Columbia); Soham Sinha (NVIDIA); Arpan Gujarati (The University of British Columbia)

• GPU-resident Execution for Timing-predictable Sensor Processing Systems
  Soham Sinha (NVIDIA); Rahul Choudhury (NVIDIA); Shekhar Dwivedi (NVIDIA); Gregory Lee (NVIDIA); Gigon Bae (NVIDIA); Anisha Goel (NVIDIA); Elena Agostini (NVIDIA); Patrick O’Grady (NVIDIA); Yosi Levi (NVIDIA); Mahdi Azizian (NVIDIA)

• Guppy: an Open-source RISC-V GPGPU Core for Real-Time Systems
  Noïc Crouzet (Université de Toulouse, IRIT); Thomas Carle (Université de Toulouse, IRIT); Christine Rochange (Université de Toulouse, IRIT)

• Heimdallr: Bounded-Time Byzantine Fault Detection and Recovery in Geo-Distributed Systems
  Yifan Cai (University of Pennsylvania); Linh Thi Xuan Phan (University of Pennsylvania)

• HSTM: An Asymmetric Synchronization Framework for Real-Time and Best-Effort Workloads
  Zewei Chen (University of Electronic Science and Technology of China); Maolin Yang (University of Electronic Science and Technology of China); Junyi Liu (Northeastern University); Xu Jiang (University of Electronic Science and Technology of China); Hongbiao Liu (Beijing Institute of Control Engineering); Bo Liu (Beijing Institute of Control Engineering)

• JENGA: Exploiting Counter-Based RowHammer Countermeasures to Break Real-Time Predictability
  Valentin Abgrall (Inria Rennes / IRISA lab); Marcello Traiola (Inria / IRISA); Rubén Salvador (CentraleSupélec, IRISA, Inria); Maria Méndez Real (Univ. Bretagne-Sud, Lab-STICC UMR CNRS 6285, Lorient, France); Alessandro Palumbo (CentraleSupélec, Inria, Univ Rennes, CNRS, IRISA); Angeliki Kritikakou (Univ. of Rennes 1, France)

• LaWL: Latency-aware Wear-Leveling for Real-Time NAND Flash Storage Systems
  Minjin Oh (DGIST); Sohyun Kim (DGIST); Gyeongtaek Kim (DGIST); Sungjin Lee (POSTECH (Pohang University of Science and Technology)); Myungsuk Kim (Kyungpook National University); Hoon Sung Chwa (DGIST)

• Lightweight and Tunable Soft Error Resilience for Protecting Memory Hierarchy against 2-Bit Errors
  Shao-Yu Huang (Purdue University); Jungi Jeong (Google); Hiroshi Sasaki (Institute of Science Tokyo); Changhee Jung (Purdue University)

• Mining DTA with SMT by Exploiting Simple Elementary Language and Timed Augmented Prefix Acceptor
  Ziran Wang (Institute of Software, Chinese Academy of Sciences); Jie An (Institute of Software, Chinese Academy of Sciences); Naijun Zhan (Peking University & Zhongguancun Lab.)

• On Synthesis of Metric Interval Temporal Logics
  Hsi-Ming Ho (University of Sussex); Krishna Shankaranarayanan (IIT Bombay); Khushraj Madnani (IIT Guwahati)

• Orchestrating Test-Time Adaptation for Timely and Accurate DNN Inference
  Anonymous

• PAPS: Predictable and Adaptive Priority Scheme for Latency-Aware Scheduling under AoI Constraints
  Nan Chen (University of York); Xiaotian Dai (University of York); Alan Burns (University of York); Iain Bate (University of York); Shuai Zhao (Sun Yat-sen University)

• PartSR: Buffer-Aware Edge-Client Scheduling for Regional Super-Resolution in Live Streaming
  Wanxin Shi (Fudan University, East China University of Science and Technology); Yuchen Wang (The University of Hong Kong, Fudan University); Weijia Lang (Fudan University); Gengbiao Shen (Tecorigin); Yang Xu (Fudan University)

• PAST: A Map-and-Navigation Approach for Real-Time and Throughput-Oriented Workloads in Embodied AI Systems
  Yinchen Ni (Shanghai Jiao Tong University); Tianrui Ma (Institute of Computing Technology, Chinese Academy of Sciences); Yuankai Xu (Shanghai Jiao Tong University); Jintao Chen (Shanghai Jiao Tong University); Yehan Ma (Shanghai Jiao Tong University, CN); An Zou (Shanghai Jiao Tong University)

• PECS: Perception-Driven End-to-End Co-Scheduling for Real-Time Control Systems
  Zitong Zhao (Shanghai Jiao Tong University); Jintao Chen (Shanghai Jiao Tong University); Yuankai Xu (Shanghai Jiao Tong University); An Zou (Shanghai Jiao Tong University); Yehan Ma (Shanghai Jiao Tong University, CN)

• Proactive Routing and Elastic Scheduling for VLA Models in Real-Time Embodied Systems
  Zhaomeng Deng (Peking University); Zhida An (Peking University); Yifeng Cai (Peking University); Guangyu Wu (Peking University); Xu Wang (Huawei); Yuxin Ren (Huawei); Ning Jia (Huawei); Ding Li (Peking University); Yao Guo (Peking University)

• ProsaBuddy: Assisting Mechanized Real-Time Schedulability Anaylsis with LLM-based Agents
  Junyi Liu (City University of Hong Kong); Tianchi Ren (City University of Hong Kong); Fei Guan (Northeast Forestry University); Xu Jiang (University of Electronic Science and Technology of China); Zhe Jiang (Southeast University); Wang Yi (Uppsala University); Nan Guan (City University of Hong Kong)

• Query-Centric Adaptive Scheduling of BEV Perception for Real-Time Autonomous Driving
  Haobo Jia (University of Electronic Science and Technology of China); Xu Jiang (University of Electronic Science and Technology of China); Nan Guan (City Univ of Hong Kong); Yichen Liu (University of Electronic Science and Technology of China); Xingyu Liu (University of Electronic Science and Technology of China); Xin Meng (UESTC)

• RAMP: Real-Time Mode Switch on Heterogeneous Platforms
  Jintao Chen (Shanghai Jiao Tong University); An Zou (Shanghai Jiao Tong University); Yuankai Xu (Shanghai Jiao Tong University); Yinchen Ni (Shanghai Jiao Tong University); Yehan Ma (Shanghai Jiao Tong University)

• Real-Time Continual Learning on Embedded GPUs
  Zexin Li (University of California, Riverside); Dongjoo Seo (University of California, Irvine); Nikil Dutt (University of California, Irvine); Jun Sheng (University of California, Riverside); Cong Liu (University of California, Riverside)

• Real-Time Energy-Efficient Decentralized Federated Learning via Self-Improving RL-based Dynamic Quantization
  Jun Xia (East China Normal University); Zhaorong Zhu (East China Normal University); Mingsong Chen (East China Normal University)

• Real-Time Hard Peak Age-of-Information Safety with No-Regret Learning
  Wentao Zhang (Tsinghua University); Wentao Mo (Tsinghua University)

• Real-Time Multi-Telescope Scheduling to Search for Transient Astrophysical Phenomena
  Daisy Wang (Washington University in St. Louis); Gregory Kehne (Washington University in St. Louis); Jeremy Buhler (Washington University in St. Louis); Filip Markovic (University of Southampton); Kunal Agrawal (Washington University in St. Louis); Sanjoy Baruah (Washington University in St. Louis); Marion Sudvarg (Washington University in St. Louis)

• Real-Time Semi-Supervised Defect Detection for Edge Industrial Inspection under Sparse Annotation
  Jingshan Hong (Zhejiang University of Technology); Haigen Hu (Zhejiang University of Technology); Yuesheng Fan (Zhejiang University of Technology); Huihuang Zhang (Zhejiang University of Technology); Changjiang Xiong (Zhejiang University of Technology); Xiaoqin Zhang (Zhejiang University of Technology)

• Reintegrating ROS 2 into RTOS: A Native Deterministic Real-Time Execution Scheme
  Xiantong Luo (Beijing University of Technology); Xu Jiang (University of Electronic Science and Technology of China); Juan Fang (Beijing University of Technology); Nan Guan (City Univ of Hong Kong); Di Gao (University of Electronic Science and Technology of China)

• RELAXR: Real-time Execution Framework for Latency-aware AI-native Extended Reality
  Ziliang Zhang (University of California - Riverside); Hyoseung Kim (University of California - Riverside); Cong Liu (University of California - Riverside)

• Restricted Blocking Global-EDF-Like Scheduling of Non-Preemptive Gang Tasks
  Shareef Ahmed (University of South Florida); Pritkumar Pagda (University of South Florida)

• RT-MoE: Real-Time Expert Management for Memory-Constrained MoE Decoding
  Ziwei Song (City University of Hong Kong); Ruoxiang Li (Shenzhen University); Fei Guan (Northeast Forestry University); Jen-Ming Wu (Hon Hai Research Institute); Jason Xue (Mohamed bin Zayed University of AI); Nan Guan (City Univ of Hong Kong)

• RT-PreQEC: Certified Selective Decoding with Pauli-Frame-Lag-Aware Scheduling for Real-Time Quantum Error Correction
  Yu Peng (Zhejiang University); Junyu Chen (Zhejiang University); Fanqi Kong (Zhejiang University); Ke Shi (University of Science and Technology of China); Fulun Ye (Zhejiang University); Fangming Zhao (Zhejiang University); Tingting Li (Zhejiang University); Xiaofei Yue (Beijing Institute of Technology); Zhaoxuan Li (Institute of Information Engineering, Chinese Academy of Sciences;School of Cyber Security, University of Chinese Academy of Sciences); Ziming Zhao (Zhejiang University)

• SAGA: Schedule Abstraction Graphs at GPU Speed
  Heng Zhao (University of British Columbia); Zhengan Zhao (University of Victoria); Arpan Gujarati (University of British Columbia)

• Schedulability Analysis for Pub-Sub Graphs Under Global EDF Scheduling
  Shareef Ahmed (University of South Florida); Sizhe Liu (University of North Carolina at Chapel Hill); Yiyi Wang (University of South Florida); Rohan Wagle (University of North Carolina at Chapel Hill); James Anderson (University of North Carolina at Chapel Hill)

• The Priority Queue Locking Protocol
  Syed Ali (University of North Carolina at Chapel Hill); James Anderson (UNC Chapel Hill)

• TiMoE: Timing-Predictable Inference System for MoE Large Language Models
  Shangshang Xiao (Shandong University); Wei Zhang (Shandong University); Yongxin Jiao (Shandong University); Fajun Xv (Shandong University); Naijun Zhan (Peking University & Zhongguancun Lab.); Lei Ju (Shandong University)

• Transformer Based Performance Attribution For GPU Kernel Interference At PTX Level
  Zaineb Boukhetala (Nantes Université, École Centrale Nantes, CNRS, LS2N, UMR 6004); Abderaouf Nassim Amalou (Nantes Université, École Centrale Nantes, CNRS, LS2N, UMR 6004); HAICHOUR Amina Selma (École Supérieure D’Informatique Alger); Pierre-Emmanuel Hladik (École Centrale Nantes, Nantes Université, CNRS, LS2N, UMR 6004); Sébastien Faucou (Nantes Université, École Centrale Nantes, CNRS, LS2N, UMR 6004)

• TurboPlan: Taming Resource-Optimal and Timely Data Plane Offloading by Reducing Task Copies
  Linying Zheng (Zhejiang University); Jiashuo Yu (Zhejiang University); Longlong Zhu (Zhejiang University); Jitang Niu (Zhejiang University); Jialu Tian (Zhejiang University); Dezhang Kong (Zhejiang University); Hongyan Liu (Fuzhou University); Jianshan Zhang (Minjiang University); Xuan Liu (Yangzhou University); Dong Zhang (Fuzhou University); Chunming Wu (Zhejiang University); Xiang Chen (Zhejiang University)