Publications

Conferences and Journals

• Ziliang Zhang, Zexin Li, Hyoseung Kim, Cong Liu
  BOXR: Body and head motion Optimization framework for eXtended Reality.
  In IEEE Real-Time Systems Symposium (RTSS), 2024.
  
• Ziliang Zhang, Cong Liu, Hyoseung Kim.
  MII: A Multifaceted Framework for Intermittence-aware Inference and Scheduling.
  In ACM International Conference on Embedded Software (EMSOFT), 2024.
  [ Paper ]
• Dionisio de Niz, Bjorn Andersson, Mark H. Klein, John Lehoczky, Hyoseung Kim, George Romanski, Jonathan Preston, Floyd Fazi, Daniel Shapiro, Douglas C. Schmidt, Ronald Koontz, and Sam Procter.
  Flight Incident Analysis Through Symbolic Argumentation.
  In the 43rd AIAA DATC/IEEE Digital Avionics Systems Conference (DASC), 2024.
  
• Youngbin Kim and Hyoseung Kim.
  Rapid Hardware/Software Design Space Exploration for Efficient Intermittent Systems.
  In ACM/IEEE International Symposium on Low Power Electronics and Design (ISLPED), 2024.
  [ Paper ]
• Yidi Wang, Cong Liu, Daniel Wong, and Hyoseung Kim.
  GCAPS: GPU Context-Aware Preemptive Priority-based Scheduling for Real-Time Tasks.
  In Euromicro Conference on Real-Time Systems (ECRTS), 2024.
  [ Paper | Slides | Source Code ]
• Abdulrahman Bukhari, Seyedmehdi Hosseinimotlagh, Hyoseung Kim.
  OpenSense: An Open-World Sensing Framework for Incremental Learning and Dynamic Sensor Scheduling on Embedded Edge Devices.
  IEEE Internet of Things Journal, vol. 11, no. 15, pp. 25880-25894, 2024.
  [ Publisher | Paper (Postprint) ]
• Daniel Enright, Yecheng Xiang, Hyunjong Choi, Hyoseung Kim.
  PAAM: A Framework for Coordinated and Priority-Driven Accelerator Management in ROS 2.
  In IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), CPS-IoT Week, 2024.
  [ Paper | Slides | Source Code ] Best Paper Award & Best Student Paper Award
• Mst. Shamima Hossain, Christos Faloutsos, Boris Baer, Hyoseung Kim, Vassilis J. Tsotras.
  EBV: Electronic Bee-Veterinarian for Principled Mining and Forecasting of Honeybee Time Series.
  In SIAM International Conference on Data Mining (SDM), 2024.
  [ Paper | Slides | Source code ]
• Dionisio de Niz, Bjorn Andersson, Mark Klein, John Lehoczky, Amit Vasudevan, Hyoseung Kim, Gabriel Moreno.
  Mixed-Trust Computing: Safe and Secure Real-Time Systems.
  ACM Transactions on Cyber-Physical Systems, 2023. (Just Accepted)
  [ Paper ]
• Zexin Li, Aritra Samanta, Yufei Li, Andrea Soltoggio, Hyoseung Kim, Cong Liu.
  R3: On-device Real-Time Deep Reinforcement Learning for Autonomous Robotics.
  In IEEE Real-Time Systems Symposium (RTSS), 2023.
  
• Hoora Sobhani, Hyunjong Choi, and Hyoseung Kim.
  Timing Analysis and Priority-driven Enhancements of ROS 2 Multi-threaded Executors.
  In IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), CPS-IoT Week, 2023.
  [ Paper (revision 1) ]  Revision note: This paper has been updated to revise issues with Lemma 1 and Theorems 5 and 6. Details are provided as footnotes in the paper.
• Yidi Wang, Mohsen Karimi, and Hyoseung Kim.
  Towards Energy-Efficient Real-Time Scheduling of Heterogeneous Multi-GPU Systems.
  In IEEE Real-Time Systems Symposium (RTSS), 2022.
  [ Paper | Slides | Source code ]
• Abdulrahman Bukhari, Seyedmehdi Hosseinimotlagh, and Hyoseung Kim.
  An Open-World Time-Series Sensing Framework for Embedded Edge Devices.
  In IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), 2022.
  [ Paper | Slides ]
• Mohsen Karimi, Yidi Wang, and Hyoseung Kim.
  Energy-Adaptive Real-time Sensing for Batteryless Devices.
  In IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), 2022.
  [ Paper | Slides ]
• Kacper Wardega, Wenchao Li, Hyoseung Kim, Yawen Wu, Zhenge Jia, Jingtong Hu.
  Opportunistic Communication with Latency Guarantees for Intermittently-Powered Devices.
  In Design, Automation and Test in Europe Conference & Exhibition (DATE), 2022.
  
• Yecheng Xiang, Yidi Wang, Hyunjong Choi, Mohsen Karimi and Hyoseung Kim.
  AegisDNN: Dependable and Timely Execution of DNN Tasks with SGX.
  In IEEE Real-Time Systems Symposium (RTSS), 2021.
  [ Paper | Slides ]
• Yidi Wang, Mohsen Karimi, Yecheng Xiang and Hyoseung Kim.
  Balancing Energy Efficiency and Real-Time Performance in GPU Scheduling.
  In IEEE Real-Time Systems Symposium (RTSS), 2021.
  [ Paper | Slides ]
• Seyedmehdi Hosseinimotlagh, Daniel Enright, Christian Shelton and Hyoseung Kim.
  Data-Driven Structured Thermal Modeling for COTS Multi-Core Processors.
  In IEEE Real-Time Systems Symposium (RTSS), 2021.
  [ Paper | Slides ]
• Hyoseung Kim, Dionisio de Niz, Bjorn Andersson, Mark Klein and John Lehoczky.
  Addressing Multi-Core Timing Interference using Co-Runner Locking.
  In IEEE Real-Time Systems Symposium (RTSS), 2021.
  [ Paper | Slides ]
• Dionisio de Niz, Bjorn Andersson, Hyoseung Kim, John Lehoczky and Mark Klein.
  Resilient Mixed-Trust Scheduling.
  In IEEE Real-Time Systems Symposium (RTSS), 2021.
  [ Paper ]
• Zhilu Wang, Chao Huang, Hyoseung Kim, Wenchao Li, and Qi Zhu.
  Cross-Layer Adaptation with Safety-Assured Proactive Task Job Skipping.
  In ACM International Conference on Embedded Software (EMSOFT), 2021.
  [ Paper ]
• Hyunjong Choi, Yecheng Xiang, and Hyoseung Kim.
  PiCAS: New Design of Priority-Driven Chain-Aware Scheduling for ROS2.
  In IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), CPS-IoT Week, 2021.
  [ Paper | Slides | Talk | Source Code ]
  PiCAS was introduced at the ROS World 2021 ROS2 Executor Workshop [ Slides | Source Code ]
  
• Mohsen Karimi, Hyunjong Choi, Yidi Wang, Yecheng Xiang, and Hyoseung Kim.
  Real-Time Task Scheduling on Intermittently Powered Batteryless Devices.
  IEEE Internet of Things Journal, vol. 8, no. 17, pp. 13328-13342, 2021.
  [ Publisher | Paper (Postprint) ]
• Hyunjong Choi, Hyoseung Kim, and Qi Zhu.
  Toward Practical Weakly Hard Real-Time Systems: A Job-Class-Level Scheduling Approach.
  IEEE Internet of Things Journal, vol. 8, no. 8, pp. 6692-6708, 2021.
  [ Publisher | Paper (Postprint) ]
• Ruben Martins, Michael McCall, Dionisio de Niz, Amit Vasudevan, Bjorn Andersson, Mark Klein, John Lehoczky, and Hyoseung Kim.
  Formal Verification of a Mixed-Trust Synchronization Protocol.
  In the 29th International Conference on Real-Time Networks and Systems (RTNS), 2021.
  
• Qi Zhu, Wenchao Li, Hyoseung Kim, Yecheng Xiang, Kacper Wardega, Zhilu Wang, Yixuan Wang, Hengyi Liang, Chao Huang, Jiameng Fan, Hyunjong Choi.
  Know the Unknowns: Addressing Disturbances and Uncertainties in Autonomous Systems.
  In ACM/IEEE International Conference on Computer-Aided Design (ICCAD), 2020.
  [ Paper ]
• Hyunjong Choi, Mohsen Karimi, and Hyoseung Kim.
  Chain-Based Fixed-Priority Scheduling of Loosely-Dependent Tasks.
  In IEEE International Conference on Computer Design (ICCD), 2020.
  [ Paper | Slides ]
• Seyedmehdi (Mehdi) Hosseinimotlagh, Ali Ghahremannezhad, and Hyoseung Kim.
  On Dynamic Thermal Conditions in Mixed-Criticality Systems.
  In IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), CPS Week, 2020.
  [ Paper | Slides ]
• Yecheng Xiang and Hyoseung Kim.
  Pipelined Data-Parallel CPU/GPU Scheduling for Multi-DNN Real-Time Inference.
  In IEEE Real-Time Systems Symposium (RTSS), 2019.
  [ Paper | Slides ]
• Yoojin Lim and Hyoseung Kim.
  Cache-Aware Real-Time Virtualization for Clustered Multi-Core Platforms.
  IEEE Access, vol. 7, pp. 128628-128640, 2019.
  [ Publisher | Paper ]
• Dionisio de Niz, Bjorn Andersson, Mark Klein, John Lehoczky, Amit Vasudevan, Hyoseung Kim, and Gabriel A. Moreno.
  Mixed-Trust Computing for Real-Time Systems.
  In IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), 2019.
  [ Paper | Slides ]
• Sujan Saha, Yecheng Xiang, and Hyoseung Kim.
  STGM: Spatio-Temporal GPU Management for Real-Time Tasks.
  In IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), 2019.
  [ Paper | Slides ]
• Zeyu Sun, Taeyoung Kim, Marcus Chow, Shaoyi Peng, Han Zhou, Hyoseung Kim, Daniel Wong and Sheldon Tan.
  Long-Term Reliability Management For Multitasking GPGPUs.
  In International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design (SMACD), 2019.
  [ Paper ]
• Seyedmehdi (Mehdi) Hosseinimotlagh and Hyoseung Kim.
  Thermal-Aware Servers for Real-Time Tasks on Multi-Core GPU-Integrated Embedded Systems.
  In IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), CPS Week, 2019.
  [ Paper | Slides ]
• Hyunjong Choi, Hyoseung Kim, and Qi Zhu.
  Job-Class-Level Fixed Priority Scheduling of Weakly-Hard Real-Time Systems.
  In IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), CPS Week, 2019.
  [ Paper | Slides ]
• Hyoseung Kim, Pratyush Patel, Shige Wang, and Ragunathan (Raj) Rajkumar.
  A Server-based Approach for Predictable GPU Access with Improved Analysis.
  Journal of Systems Architecture, 88, pp 97-109, 2018.
  [ Publisher | Paper (Postprint) ]
• Bjorn Andersson, Hyoseung Kim, Dionisio de Niz, Mark Klein, Ragunathan (Raj) Rajkumar, and John Lehoczky.
  Schedulability Analysis of Tasks with Co-Runner-Dependent Execution Times.
  ACM Transactions on Embedded Computing Systems (TECS), 17(3):71, 29 pages, 2018.
  [ Paper ]
• Pratyush Patel, Iljoo Baek, Hyoseung Kim, and Ragunathan (Raj) Rajkumar.
  Analytical Enhancements and Practical Insights for MPCP with Self-Suspensions.
  In IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2018.
  [ Paper | Slides ]  Best Presentation Award
• Hyoseung Kim, Pratyush Patel, Shige Wang, and Ragunathan (Raj) Rajkumar.
  A Server-based Approach for Predictable GPU Access Control.
  In IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), 2017.
  [ Paper | Slides ]  Best Paper Award
• Dionisio de Niz, Bjorn Andersson, Hyoseung Kim, Mark Klein, Linh Thi Xuan Phan, and Raj Rajkumar.
  Mixed-Criticality Processing Pipelines.
  In Design, Automation and Test in Europe Conference & Exhibition (DATE), 2017.
  [ Paper ]
• Hyoseung Kim and Ragunathan (Raj) Rajkumar.
  Predictable Shared Cache Management for Multi-Core Real-Time Virtualization.
  ACM Transactions on Embedded Computing Systems (TECS), 17(1):22, 27 pages, 2017.
  [ Publisher | Paper (Postprint) ]
• Hyoseung Kim and Ragunathan (Raj) Rajkumar.
  Real-Time Cache Management for Multi-Core Virtualization.
  In ACM SIGBED International Conference on Embedded Software (EMSOFT), 2016.
  [ Paper | Slides ]  Best Paper Nomination
• Hyoseung Kim, Dionisio de Niz, Bjorn Andersson, Mark Klein, Onur Mutlu, and Ragunathan (Raj) Rajkumar.
  Bounding and Reducing Memory Interference Delay in COTS-based Multi-Core Systems.
  Journal of Real-Time Systems, 52(3), pp 356-395, 2016.
  [ Publisher | Paper (Postprint) ]
• Hyoseung Kim, Shige Wang, and Ragunathan (Raj) Rajkumar.
  Responsive and Enforced Interrupt Handling for Real-Time System Virtualization.
  In IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), 2015.
  [ Paper | Slides ]
• Hyoseung Kim, Shige Wang, and Ragunathan (Raj) Rajkumar.
  vMPCP: A Synchronization Framework for Multi-Core Virtual Machines.
  In IEEE Real-Time Systems Symposium (RTSS), 2014.
  [ Paper | Slides | Revised Paper (see footnotes 6 and 7) ]
• Hyoseung Kim, Dionisio de Niz, Bjorn Andersson, Mark Klein, Onur Mutlu, and Ragunathan (Raj) Rajkumar.
  Bounding Memory Interference Delay in COTS-based Multi-Core Systems.
  In IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2014.
  [ Paper | Slides ]  Best Paper Award
• Hyoseung Kim and Ragunathan (Raj) Rajkumar.
  Memory Reservation and Shared Page Management for Real-Time Systems.
  Journal of Systems Architecture, 60(2), pp 165-178, 2014.
  [ Paper ]
• Noriaki Suzuki, Hyoseung Kim, Dionisio de Niz, Bjorn Andersson, Lutz Wrage, Mark Klein, and Raj Rajkumar.
  Coordinated Bank and Cache Coloring for Temporal Protection of Memory Accesses.
  In IEEE International Conference on Embedded Software and Systems (ICESS), 2013.
  [ Paper ]
• Hyoseung Kim, Arvind Kandhalu, and Ragunathan (Raj) Rajkumar.
  A Coordinated Approach for Practical OS-Level Cache Management in Multi-Core Real-Time Systems.
  In Euromicro Conference on Real-Time Systems (ECRTS), 2013.
  [ Paper | Slides ]
• Junsung Kim, Hyoseung Kim, Karthik Lakshmanan, and Ragunathan (Raj) Rajkumar.
  Parallel Scheduling for Cyber-Physical Systems: Analysis and Case Study on a Self-Driving Car.
  In ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), 2013.
  [ Paper ]  Best Paper Nomination
• Hyoseung Kim and Ragunathan (Raj) Rajkumar.
  Shared-Page Management for Improving the Temporal Isolation of Memory Reservations in Resource Kernels.
  In IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), 2012.
  [ Paper ]  Invited to a special issue of the Journal of Systems Architecture (JSA)
• Hyoseung Kim, Shinyoung Yi, Wonwoo Jung, and Hojung Cha.
  A Decentralized Approach for Monitoring Timing Constraints of Event Flows.
  In IEEE Real-Time Systems Symposium (RTSS), 2010.
  [ Paper | Slides ]
• Hojung Cha, Sukwon Choi, Inuk Jung, Hyoseung Kim, Hyojeong Shin, Jaehyun Yoo, and Chanmin Yoon.
  RETOS: Resilient, Expandable, and Threaded Operating System for Wireless Sensor Networks.
  In ACM/IEEE International Conference on Information Processing in Sensor Networks (IPSN), 2007.
  [ Paper ]
• Hyoseung Kim, Hojung Cha, and Rhan Ha.
  Dynamic refresh-rate scaling via frame buffer monitoring for power-aware LCD management.
  Journal of Software - Practice and Experience, 37(2), pp 193-206, 2007.
  [ Paper ]
• Hyoseung Kim and Hojung Cha.
  Multithreading Optimization Techniques for Sensor Network Operating Systems.
  In European conference on Wireless Sensor Networks (EWSN), 2007.
  [ Paper | Slides ]
• Hyoseung Kim and Hojung Cha.
  Towards a Resilient Operating System for Wireless Sensor Networks.
  In USENIX Annual Technical Conference (USENIX ATC), 2006.
  [ Paper | Slides ]

Peer-reviewed Workshop and Work-in-Progress Papers

• Hoora Sobhani, Daniel Enright, Tejas Milind Deshpande, and Hyoseung Kim.
  Exploring Partitioned and Semi-partitioned Callback Scheduling on ROS 2 Multi-threaded Executors.
  In the 13th International Real-Time Scheduling Open Problems Seminar (RTSOPS), held in conjunction with ECRTS, 2024.
  [ Paper | Slides ]
• Hyunjong Choi, Daniel Enright, Hoora Sobhani, Yecheng Xiang, and Hyoseung Kim.
  Priority-Driven Real-Time Scheduling in ROS 2: Potential and Challenges.
  In the 1st International Workshop on Real-time And intelliGent Edge computing (RAGE), held in conjunction with DAC, 2022.
  [ Paper | Slides | Source Code ]
• Dionisio de Niz, Bjorn Andersson, Hyoseung Kim, Mark Klein, and John Lehoczky.
  Work-in-Progress: Toward Precomputation in Real-Time Mixed-Trust Scheduling.
  In Brief Presentation Session of IEEE Real-Time Systems Symposium (RTSS), 2020.
  [ Paper ]
• Yidi Wang and Hyoseung Kim.
  Work-in-Progress: Understanding the Effect of Kernel Scheduling on GPU Energy Consumption.
  In Brief Presentation Session of IEEE Real-Time Systems Symposium (RTSS), 2019.
  [ Paper ]
• Mohsen Karimi and Hyoseung Kim.
  Energy Scheduling for Task Execution on Intermittently-Powered Devices.
  In Embedded Operating Systems Workshop (EWiLi), ES Week, 2019.
  [ Paper | Slides ]
• Hyunjong Choi and Hyoseung Kim.
  Work-in-Progress: A Unified Runtime Framework for Weakly-hard Real-time Systems.
  In Brief Presentations Session of IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), CPS Week, 2019.
  [ Paper | Slides ]
• Bjorn Andersson, Hyoseung Kim, John Lehoczky, and Dionisio de Niz.
  Deriving the Average-case Performance of Bandwidth-like Interfaces for Tasksets with Infinite Minimum Inter-Arrival Time, Equal Task Density, Uniformly Distributed Deadlines, and Infinite Number of Tasks.
  In International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS), 2016.
  [ Paper ]

Abstracts and Demonstrations

• Abdulrahman Bukhari and Hyoseung Kim.
  Poster Abstract: Learning-based Sensor Scheduling for Event Classification on Embedded Edge Devices.
  In ACM/IEEE International Conference on Internet of Things Design and Implementation (IoTDI), 2023.
  [ Paper ]
• Mohsen Karimi, Yidi Wang, and Hyoseung Kim.
  An Open-Source Power Monitoring Framework for Real-Time Energy-Aware GPU Scheduling Research.
  In Open Demo Session of IEEE Real-Time Systems Symposium (RTSS@Work), 2022.
  [ Paper | Poster | Slides | Source Code ]
• Hyoseung Kim and Ragunathan (Raj) Rajkumar.
  Virt/RK: A Real-Time Virtualization Framework for Multi-Core Platforms.
  In Open Demo Session of IEEE Real-Time Systems Symposium (RTSS@Work), 2015.
  [ Paper | Poster | Slides | Video ]
• Junsung Kim, Young-Woo Seo, Hyoseung Kim, and Ragunathan (Raj) Rajkumar.
  Can Cyber-Physical Systems be Predictable? Inferring Cyber-Workloads from Physical Attributes.
  In Work-in-Progress Session of ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), 2014.
  [ Paper ]
• Hyoseung Kim, Junsung Kim, and Ragunathan (Raj) Rajkumar.
  A Profiling Framework in Linux/RK and its Application.
  In Open Demo Session of IEEE Real-Time Systems Symposium (RTSS@Work), 2012.
  [ Paper ]
• Hojung Cha, Sukwon Choi, Inuk Jung, Hyoseung Kim, Hyojung Shin, Jaehyun Yoo, and Chanmin Yoon.
  The RETOS Operaging System: Kernel, Tools and Applications.
  In ACM/IEEE International Conference on Information Processing in Sensor Networks (IPSN), 2007.
  [ Paper ]
• Jaehyun Yoo, Youngbin You, Hyoseung Kim, Sukwon Choi, and Hojung Cha.
  RETOS-based Distributed Acoustic Source Detection.
  In European conference on Wireless Sensor Networks (EWSN), 2007.
  [ Paper ]

Books

• Joonhee Lee and Hyoseung Kim.
  Linux Kernel Programming.
  Kyohak Publishing Co.,Ltd., ISBN 978-89-09-15055-2, 2009, 398 pp. (in Korean)

Technical Reports

• Dionisio de Niz, Bjorn Andersson, Mark Klein, John Lehoczky, Hyoseung Kim, George Romanski, et al.
  Encoding Verification Arguments to Analyze High-Level Design Certification Claims: Experiment Zero (E0).
  Technical Report, Software Engineering Institute, 2024.
  [ Paper ]
• Dionisio de Niz, Bjorn Andersson, Mark Klein, Hyoseung Kim, John Lehoczky, Doug Schmidt, George Romanski, et al.
  Assurance Evidence of Continuous Evolving Real-Time Systems.
  Technical Report, Software Engineering Institute | Vanderbilt University | Federal Aviation Administration, 2022.
  [ Paper | Workgroup Website ]
• Hyoseung Kim, Dionisio de Niz, Bjorn Andersson, Mark Klein, Onur Mutlu, and Ragunathan (Raj) Rajkumar.
  Bounding Memory Interference Delay in COTS-based Multi-Core Systems.
  Technical Report CMU/SEI-2014-TR-003, Software Engineering Institute, Carnegie Mellon University, 2014.
• Hyoseung Kim, Arvind Kandhalu, and Ragunathan (Raj) Rajkumar.
  Coordinated Cache Management for Predictable Multi-Core Real-Time Systems.
  Technical Report, Carnegie Mellon University, 2013.
  [ Paper ]