Program

Accepted and Conditionally Accepted Papers

  • Accelerating Timing Specification Verification of Interrupt-driven Real-time Systems
    Yufei Shi (Nanjing University), Longlong Lu (Nanjing University), Minxue Pan (Nanjing University), Xuandong Li (Nanjing University)
  • A Soft-Real-Time Optimal Scheduler for DAG Tasks with Node-Level Self Dependencies
    Shareef Ahmed (University of North Carolina at Chapel Hill), James Anderson (UNC Chapel Hill)
  • CARTEL: Consensus Adapting Real-Time and Efficient Logging
    Seunghoon Lee (Sungkyunkwan University), Wonyeong lee (Sungkyunkwan University), Seungyeon Cho (Sungkyunkwan University), Seongtae Lee (Sungkyunkwan University), Jinkyu Lee (Sungkyunkwan University)
  • CF-DETR: Coarse-to-Fine Transformer for Real-Time Object Detection
    Woojin Shin (University of Seoul), Donghwa Kang (Korea Advanced Institute of Science and Technology), Byungyoon Park (University of Seoul), Brent Byunghoon Kang (Korea Advanced Institute of Science and Technology), Jinkyu Lee (Sungkyunkwan University), Hyeongboo Baek (University of Seoul)
  • CLARE: Deterministic Cycle-Level Accelerator on REconfigurable platforms in DNN-Enabled Real-Time Safety-Critical Systems
    Shixin Ji (Brown University), Zhuoping Yang (Brown University), Xingzhen Chen (Brown University), Wei Zhang (Brown University), Jinming Zhuang (Brown University), Alex Jones (Syracuse University), Zheng Dong (Wayne State University), Peipei Zhou (Brown University)
  • CoEdge-RAG: Optimizing Hierarchical Scheduling for Retrieval-Augmented LLMs in Collaborative Edge Computing
    Guihang Hong (Sun Yat-Sen University), Tao Ouyang (Sun Yat-Sen University), Kongyange Zhao (Sun Yat-Sen University), Zhi Zhou (Sun Yat-Sen University), Xu Chen (Sun Yat-Sen University)
  • Control Synthesis of Cyber-Physical Systems for Real-Time Specifications through Causation-Guided Reinforcement Learning
    Xiaochen Tang (Tongji University), Zhenya Zhang (Kyushu University), Miaomiao Zhang (Tongji University), Jie An (Institute of Software, Chinese Academy of Sciences)
  • Dynamic Fuzzing-Based Whole-System Timing Analysis
    Alwin Berger (Technische Universität Dortmund), Simon Schuster (Friedrich-Alexander University Erlangen-Nürnberg (FAU)), Peter Wägemann (Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU)), Peter Ulbrich (Technische Universität Dortmund)
  • E-Navi: Environmental-Adaptive Navigation for UAVs on Resource-Constrained Platforms
    Boyang Li (Sun Yat-sen University), Zhongpeng Jin (Sun Yat-sen University), Shuai Zhao (Sun Yat-sen University), Jiahui Liao (Sun Yat-sen University), Tian Liu (Sun Yat-sen University), Han Liu (Sun Yat-sen University), Yuanhai Zhang (Sun Yat-sen University), Kai Huang (Sun Yat-sen University)
  • EMR: Removing Multicollinear Event Monitors to Improve Timing Modelling of Real-Time Systems
    David Fonts (Barcelona Supercomputin Center), Diego Palacios (Barcelona Supercomputing Center (BSC)), Sergi Vilardell (Barcelona Supercomputing Center (BSC)), Axel Brando (Barcelona Supercomputing Center), Isabel Serra (Autonomous University of Barcelona (UAB)), Enrico Mezzetti (BSC), Jaume Abella (Barcelona Supercomputing Center), Francisco J Cazorla (Barcelona Supercomputing Center (BSC))
  • Exploiting burstiness to improve multi-core interference analysis
    Dumitru Potop Butucaru (Inria), Jad Khatib (Inria), Philippe Baufreton (Safran Electronics & Defense)
  • Faster, Exact, More General Response-time Analysis for NVIDIA Holoscan Applications
    Philip Schowitz (The University of British Columbia), Shubhaankar Sharma (The University of British Columbia), Soham Sinha (NVIDIA), Bruce Shepherd (The University of British Columbia), Arpan Gujarati (The University of British Columbia)
  • FALCON: FPGA Accelerated Real-Time Intelligent Controller for Autonomous Systems
    Siwei Ye (Shanghai Jiao Tong University), Jintao Chen (Shanghai Jiao Tong University), Yehan Ma (Shanghai Jiao Tong University, CN), An Zou (Shanghai Jiao Tong University)
  • Flexibility-Aware Network Resource Partitioning for Multi-State Real-Time Mission-Critical Applications
    Tianyu Zhang (University of Iowa), Kefan Wu (University of Connecticut), Jiachen Wang (University of Connecticut), Chuanyu Xue (University of Connecticut), X. Sharon Hu (University of Notre Dame), Song Han (University of Connecticut)
  • Formal Timing Analysis of CQF Interference in TSN: A Network Calculus-Based Approach
    Luxi Zhao (Beihang University), Lei Rao (Beihang University), Qiao Li (Beihang University), Rubi Debnath (Technical University of Munich)
  • Grape: Efficient Spatiotemporal Prediction Services with Stale Sensing Streams
    Liekang Zeng (The Chinese University of Hong Kong), Yunchao Liu (Sun Yat-sen University), Shengyuan Ye (Sun Yat-sen University), Mu Yuan (The Chinese University of Hong Kong), Di Duan (The Chinese University of Hong Kong), Xu Chen (Sun Yat-sen University), Guoliang Xing (The Chinese University of Hong Kong)
  • HCInfer: Hierarchical Coordination for Real-Time Collaborative Inference of LLM on the Edge
    Kaiyuan Liu (University of Macau), Lizi Zhang (University of Macau), ChengZhong Xu (University of Macau), Li Li (University of Macau)
  • Investigating Jitter Propagation in Task Chains
    Shumo Wang (Northeastern University, Shenyang, China), Enrico Bini (University of Turin, Italy), Qingxu Deng (Northeastern University, Shenyang, China), Martina Maggio (Saarland University, Germany)
  • LEFT-RS: A Lock-Free Fault-Tolerant Resource Sharing Protocol for Multicore Real-Time Systems
    Nan Chen (University of York), Xiaotian Dai (University of York), Tong Cheng (Sun Yat-sen University), Alan Burns (University of York), Iain Bate (University of York), Shuai Zhao (Sun Yat-sen University)
  • LeMix: Unified Scheduling for LLM Training and Inference on Multi-GPU Systems
    Yufei Li (University of California, Riverside), Zexin Li (University of California, Riverside), Yinglun Zhu (University of California, Riverside), Cong Liu (University of California, Riverside)
  • Lyapunov-Based Stability and Delay Bounds for IEEE 802.1Qbv in Imperfectly Synchronized TSN
    Zhuangye Luo (Central South University), Feng Zeng (Corresponding Author) (Central South University), Xi Chen (Central South University)
  • MemScope: Open-Source Kernel-Level Framework for Heterogeneous Memory Characterization
    Golsana Ghaemi (Boston University), Gabriel Franco (Boston University), Kazem Taram (Purdue University), Renato Mancuso (Boston University)
  • Modern LLVM-based Compiler Autotuning for WCET Optimization
    Gabriele Magnani (Politecnico di Milano), Davide Baroffio (Politecnico di Milano), Federico Reghenzani (Politecnico di Milano), Giovanni Agosta (Politecnico di Milano), William Fornaciari (Politecnico di Milano)
  • Nova: Real-Time Agentic Vision-Language Model Serving with Adaptive Cross-Stage Parallelization
    Yuhang Xu (Shanghai Jiao Tong University), Shengzhong Liu (Shanghai Jiao Tong University), Dong Zhang (Inspur Data Co.,Ltd.), Bingheng Yan (Inspur Data Co.,Ltd.), Fan Wu (Shanghai Jiao Tong University), Guihai Chen (Shanghai Jiao Tong University)
  • On Synthesis of Timed Regular Expressions
    Ziran Wang (Institute of Software, Chinese Academy of Sciences), Jie An (Institute of Software, Chinese Academy of Sciences), Naijun Zhan (School of Computer Science, Peking University), Miaomiao Zhang (School of Computer Science and Technology, Tongji University), Zhenya Zhang (Kyushu University)
  • On the Scalability and Efficiency of Intra-Process Communication in ROS 2
    Xiantong Luo (Northeastern University(China)), Xu Jiang (University of Electronic Science and Technology of China), Yichen Liu (University of Electronic Science and Technology of China), Nan Guan (City University of Hong Kong), Tang Yue (Northeastern University), Shaoshuai Zhang (University of Electronic Science and Technology of China)
  • Partitioning kernel with capability controlled temporal and spatial partitioning
    Henrik Karlsson (KTH Royal Institute of Technology), Roberto Guanciale (KTH)
  • Predictable Real-Time Video Latency Control with Frame-level Collaboration
    Jiaxing Zhang (ICT/CAS;UCAS), Qinghua Wu (ICT/CAS), Gerui Lv (ICT, CAS), Wenji Du (Computer Network Information Center,Chinese Academy of Sciences), Qingyue Tan (ICT CAS), Wanghong Yang (Computer Network Information Center, Chinese Academy of Sciences), Kai Lv (Institute of Computing Technology, Chinese Academy of Sciences; University of Chinese Academy of Sciences.), Yuankang Zhao (Institute of Computing Technology, Chinese Academy of Sciences;University of Chinese Academy of Sciences), Yongmao Ren (Computer Network Information Center, Chinese Academy of Sciences), Zhenyu Li (ICT, CAS), Gaogang Xie (CNIC CAS; UCAS, China)
  • Predictable and Secure System Auditing for Real-Time Systems
    Peng Jiang (Southeast University), Fanhang Hu (Southeast University), Ruizhe Huang (Key Laboratory of High-Confidence Software Technologies (MOE), School of Computer Science, Peking University), Shuomin Xue (Southeast University), Zhaomeng Deng (Key Laboratory of High-Confidence Software Technologies (MOE), School of Computer Science, Peking University), Yuxin Ren (Huawei Technologies), Ning Jia (Huawei Technologies), Ding Li (Key Laboratory of High-Confidence Software Technologies (MOE), School of Computer Science, Peking University), Yao Guo (Key Laboratory of High-Confidence Software Technologies (MOE), School of Computer Science, Peking University), Xiangqun Chen (Key Laboratory of High-Confidence Software Technologies (MOE), School of Computer Science, Peking University), Guang Cheng (Southeast University)
  • Priority-Aware Attention Meets Generative Flow Networks for Global Fixed-Priority Assignment
    Shiwu Li (Huazhong University of Science and Technology), Jianjun Li (Huazhong University of Science and Technology), Quan Zhou (Huazhong University of Science and Technology), Yuan Fu (Huazhong University of Science and Technology)
  • Probabilistic Response-Time-Aware Search for Transient Astrophysical Phenomena
    Daisy Wang (Washington University in St. Louis), Marion Sudvarg (Washington University in St. Louis), Jeremy Buhler (Washington University in St. Louis), Sanjoy Baruah (Washington University in St. Louis), Gregory Kehne (Washington University in St. Louis), Filip Markovic (University of Southampton)
  • Real-Time Multitasking of Deep Neural Networks with Nvidia TensorRT
    Federico Aromolo (Scuola Superiore Sant’Anna – Pisa, Italy), Andrea Stevanato (Scuola Superiore Sant’Anna, Pisa, Italy; Evidence s.r.l., Pisa, Italy), Alessandro Biondi (Scuola Superiore Sant’Anna – Pisa), Giorgio Buttazzo (Scuola Superiore Sant’Anna – Pisa)
  • Real-Time Service Subscription and Adaptive Offloading Control in Vehicular Edge Computing
    Chuanchao Gao (Nanyang Technological University), Arvind Easwaran (Nanyang Technological University)
  • Recursive Partitioned Scheduling for Real-Time Gang Tasks
    Seongtae Lee (Sungkuynkwan University, department of comupter science and engineering), Nan Guan (City University of Hong Kong)
  • Reducing Worst-Case Deadline Failure Probability for EDF Scheduling
    Fei Guan (Northeast Forestry University), Xu Jiang (University of Electronic Science and Technology of China), Weipeng Jing (Northeast Forestry University), Nan Guan (City University of Hong Kong)
  • Response Time Analysis for Probabilistic DAG Tasks in Multicore Real-Time Systems
    Shuai Zhao (Sun Yat-sen University), Yiyang Gao (Sun Yat-sen University), Zhiyang Lin (Sun Yat-sen University), Boyang Li (Sun Yat-sen University), Xinwei Fang (University of York), Zhe Jiang (Southeast University), Nan Guan (City University of Hong Kong)
  • Requirement-Based Analysis of Self-Suspending Tasks under EDF
    Mario Guenzel (TU Dortmund), Federico Aromolo (Scuola Superiore Sant’Anna – Pisa, Italy), Alessandro Biondi (Scuola Superiore Sant’Anna – Pisa), Jian-Jia Chen (TU Dortmund)
  • ROSRT: Enabling Flexible Scheduling in ROS 2
    Sizhe Liu (University of North Carolina at Chapel Hill), Rohan Wagle (University of North Carolina at Chapel Hill), Shareef Ahmed (University of North Carolina at Chapel Hill), Zelin Tong (University of North Carolina at Chapel Hill), James H. Anderson (University of North Carolina at Chapel Hill)
  • Stability-Guaranteed Scheduling for Mesh Networked Control Systems with Fine-Grained Timing
    Ruijie Fu (Shanghai Jiao Tong University), Yehan Ma (Shanghai Jiao Tong University)
  • TSI: A Time-semantic Instruction Set for Deterministic Data-flow Execution in Real-time Embedded Systems
    YinKang Gao (University of Science and Technology of China), Bo Zhang (University of Science and Technology of China), Yixuan Zhu (University of Science and Technology of China), Lei Gong (University of Science and Technology of China), Teng Wang (University of Science and Technology of China), Wenqi Lou (University of Science and Technology of China), Chao Wang (University of Science and Technology of China), Xi Li (University of Science and Technology of China), Xuehai Zhou (University of Science and Technology of China)
  • Tight Cache Contention Analysis for WCET Estimation on Multicore Systems
    Shuai Zhao (Sun Yat-sen University), Jieyu Jiang (Sun Yat-sen University), Shenlin Cai (Sun Yat-sen University), Yaowei Liang (Sun Yat-sen University), Chen Jie (Sun Yat-sen University), Yinjie Fang (Hunan University), Wei Zhang (Shandong University), Guoquan Zhang (Xiaomi Corporation), Yaoyao Gu (Xiaomi Corporation), Xiang Xiao (Xiaomi Corporation), Wei Qin (Xiaomi Corporation), Xiangzhen Ouyang (Xiaomi Corporation), Wanli Chang (Hunan University)
  • Timely Classification of Hierarchical Classes
    Tarek Abdelzaher (UIUC), Sanjoy Baruah (Washington University in St. Louis), Alan Burns (University of York), Yigong Hu (University of Illinois Urbana-Champaign)
  • WCDFP Analysis for Real-Time Tasks with Stochastic Release Patterns using Chernoff Bound
    Shining Sun (Northeastern University), Chaohai Yu (Northeastern University), Xu Jiang (University of Electronic Science and Technology of China), Qingxu Deng (Northeastern University), Nan Guan (City University of Hong Kong)
  • WHAT-RTOS: A Framework for Whole-System Optimality Analysis and Tailoring of Energy-Constrained Real-Time Systems
    Tobias Häberlein (Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU)), Eva Dengler (Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU)), Phillip Raffeck (Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU)), Peter Wägemann (Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU))

NB: The list of accepted and conditionally accepted papers is prelimary and subject to change until all shepherding decisions are final.