About Me
I'm a Professor at the Department of Computer Science, City University of Hong Kong. I received my PhD from Uppsala University, Sweden. Before joining CityU, I worked in The Hong Kong Polytechnic University and Northeastern University, China. My research interests include real-time systems, embedded systems, cyber-physical systems and internet-of-things. Apart from doing theoretical research, I'm also involved in some projects building cool systems, together with my industry partners.
Recruiting! Our research group has multiple openings of PhD Student, Research Assistant/Associate, Post-Doc Fellow and Software Engineer for the following exciting projects:
- LLM-aided System Design
- Autonomous Driving Systems
- Real-Time Intelligence on Edge/Device
- Real-Time Robotic Operating System (ROS)
Both theoretical and system guys are welcome! Do not hesitate to contact me if you have interests.
Research Interests
- Real-Time Systems
- Embedded Systems
- Cyber-Physical Systems
- Internet-of-Things
News
- Outstanding Paper Award of RTSS 2025. Our paper "WCDFP Analysis for Real-Time Tasks with Stochastic Release Patterns using Chernoff Bound" received the Outstanding Paper Award of RTSS 2025 (IEEE Real-Time Systems Symposium).
- Best Paper Award of CODES+ISSS 2025. Our paper "Re-thinking Memory-Bound Limitations in CGRAs" received the Best Paper Award of CODES+ISSS 2025 (International Conference on Hardware/Software Codesign and System Synthesis).
- Outstanding Paper Award of RTAS 2025. Our paper "Jointly Ensuring Timing Disparity and End-to-End Latency Constraints in Hybrid DAGs" received the Outstanding Paper Award of RTAS 2025 (IEEE Real-Time and Embedded Technology and Applications Symposium).
- General Co-Chair of MEMOCODE 2025 (details). MEMOCODE's objective is to emphasize the importance of models and methodologies in correct system design and development. MEMOCODE'25 is a part of ESWEEK 2025, which will take place in Taipei, Taiwan during Sep 28 - Oct 3 2025.
- General Co-Chair of SETTA 2024 (details). SETTA brings international researchers to exchange results and ideas with the Chinese computer science and software engineering community. SETTA 2024 was held in Hong Kong, Nov 26-28, 2024.
- Best Paper Award of RTSS 2023. Our paper "SEAM: An Optimal Message Synchronizer in ROS with Well-Bounded Time Disparity" wins the Best Paper Award of RTSS 2023 (IEEE Real-Time Systems Symposium), the flagship conference in real-time systems.
- Local Arrangement Chair of CPS-IoT Week 2024 (details). CPS-IoT Week brings together five top conferences: HSCC, ICCPS, IoTDI, IPSN and RTAS. CPS-IoT Week 2024 was held in Hong Kong, May 13-16, 2024.
- Design and Application Track Chair of RTSS 2023 (details). The 44th IEEE RTSS was held in Taipei from Dec. 5 to 8, 2023.
- Program Co-Chair of RTCSA 2023 (details). The 29th IEEE RTCSA 2023 was held from Aug. 30 to Sep. 01, 2023, in TOKI MESSE, Niigata, Japan.
- Outstanding Paper Award of RTSS 2022. Our paper "Bounding the Response Time of DAG Tasks Using Long Paths" wins the Outstanding Paper Award of RTSS 2022 (43rd IEEE Real-Time Systems Symposium).
- Keynote Talk at MEMOCODE 2022 (details). I gave a keynote titled "Towards a Theoretical Foundation for Real-Time Robotic Operating System (ROS)" at MEMOCODE 2022.
- Selection Committee Chair of SIGBED-SIGSOFT Frank Anger Memorial Award 2022 (details).
- General Co-Chair of ISORC 2023 (details). The 26th IEEE ISORC was held from May 23 to 25 in Nashville, Tennessee, USA.
- General Chair of RTAS 2022 (details). RTAS is a flagship conference in real-time and embedded computing systems.
- Program Co-Chair of ISORC 2022 (details).
- Selection Committee Chair of SIGBED-SIGSOFT Frank Anger Memorial Award 2021 (details).
- Industry Chair of RTSS 2021 (details).
- Best Paper Award of EMSOFT 2020. Our paper "Efficient Feasibility Analysis for Graph-based Real-Time Task Systems" wins the Best Paper Award of EMSOFT 2020 (International Conference on Embedded Software).
- PC Chair of RTAS 2021.
- Deputy Track Chair of RTSS 2020 Track 2.
- 2020 ACM SIGBED Early Career Researcher Award.
- Track Co-Chair of ICPADS 2020, Architecture Track.
- Outstanding Paper Award of RTSS 2019. Our paper "Mixed-Criticality Multicore Scheduling of Real-Time Gang Task Systems" wins the Outstanding Paper Award and Best Student Paper Award of RTSS 2019.
- Serving on the TCRTS Executive Committee. IEEE Technical Committee on Real-Time Systems.
- Best Paper Award of ISORC 2019. Our paper "Improving Multiprocessor Real-Time Systems with Bursty Inputs under Global EDF using Shapers" wins the Best Paper Award of ISORC 2019.
- PC Chair of SETTA 2019. SETTA took place in Shanghai, China, Nov. 28-29, 2019.
- Best Paper Award of e-Energy 2018. Our paper "Data Driven Chiller Sequencing for Reducing HVAC Electricity Consumption in Commercial Buildings" wins the Best Paper Award of e-Energy 2018.
Awards
- ACM SIGBED Early Career Researcher Award, 2020
- EDAA Outstanding Dissertation Award, 2014
- Best Paper Award, RTSS 2009
- Best Paper Award, DATE 2013
- Best Paper Award, ACM e-Energy 2018
- Best Paper Award, ISORC 2019
- Outstanding Paper Award, RTSS 2019
- Best Paper Award, EMSOFT 2020
- Outstanding Paper Award, RTSS 2022
- Best Paper Award, RTSS 2023
- Outstanding Paper Award, RTAS 2025
- Best Paper Award, CODES+ISSS 2025
- Outstanding Paper Award, RTSS 2025
Service
- Track Chair of RTSS 2023
- Program Co-Chair of RTCSA 2023
- General Co-Chair of ISORC 2023
- General Co-Chair of RTAS 2022
- Selection Committee Chair of SIGBED-SIGSOFT Frank Anger Memorial Award 2022
- Program Co-Chair of ISORC 2022
- Selection Committee Chair of SIGBED-SIGSOFT Frank Anger Memorial Award 2021
- Program Chair of RTAS 2021
- Program Co-Chair of SETTA 2019
- Program Co-Chair of EMSOFT 2015
- Track Chair of RTAS 2018
- Program Co-Chair of ICESS 2017
- Topic Co-Chair of Euro-Par 2018
- Local Chair of RTSS 2019
- Local Chair of ISVLSI 2018
- Publicity Co-Chair of RTNS 2022
- Publicity Co-Chair of RTSS 2017
- Publicity Co-Chair of EUC 2016
- Executive Committee Member of IEEE TCRTS, since 2020 (TCRTS: Technical Committee of Real-Time Systems)
- Steering Committee member of EMSOFT, since 2015
Publications
2026
- ProsaBuddy: Assisting Mechanized Real-Time Schedulability Analysis with LLM-based Agents. 47th IEEE Symposium on Real-Time Systems (RTSS), 2026.
- RT-MoE: Real-Time Expert Management for Memory-Constrained MoE Decoding. 47th IEEE Symposium on Real-Time Systems (RTSS), 2026.
- Query-Centric Adaptive Scheduling of BEV Perception for Real-Time Autonomous Driving. 47th IEEE Symposium on Real-Time Systems (RTSS), 2026.
- Reintegrating ROS 2 into RTOS: A Native Deterministic Real-Time Execution Scheme. 47th IEEE Symposium on Real-Time Systems (RTSS), 2026.
- Regular: User Space Buffer Cache with the Bells and Whistles of a Kernel Page Cache. ACM Workshop on Hot Topics in Storage and File Systems (HotStorage), 2026.
- ARSP: Automated Repair of Verilog Design via Semantic Partitioning. The IEEE/ACM International Conference on Codesign of Embedded Systems (CODES), 2026.
- RIDE: Runtime-Adaptive Inference Depth for Efficient VLA in Autonomous Driving. The IEEE/ACM International Conference on Embedded Software (EMSOFT), 2026.
- SymNLO: Automated and High-Accuracy Hardware Synthesis for General Nonlinear Operators. International Conference on Compilers, Architecture, and Synthesis for Embedded Systems (CASES), 2026.
- Stay on the Right Track: A Reasoning-Aware Dual-Agent Framework for Automated RTL Debugging. IEEE/ACM International Conference On Computer Aided Design (ICCAD), 2026.
- Work Smarter, Not Harder: An LLM-Enabled Agentic Framework for Automated RTL Generation and Debugging. IEEE/ACM International Conference On Computer Aided Design (ICCAD), 2026.
- CircuitDiff: Bridging Netlist Knowledge with RTL based on Graph Denoising Diffusion. Design Automation Conference (DAC), 2026.
- Insights from Verification: Training a Verilog Generation LLM using Reinforcement Learning with Testbench Feedback. Design Automation Conference (DAC), 2026.
- ParetoPilot: Global Optimization Reasoning on HLS Design Space Exploration with LLMs. Design Automation Conference (DAC), 2026.
- ZK-Tracer: A High-Performance Heterogeneous Accelerator for Zero-Knowledge VM Trace Generation. Design Automation Conference (DAC), 2026.
- ChatSVA: Bridging SVA Generation for Hardware Verification via Task-Specific LLMs. Design Automation Conference (DAC), 2026.
- On-Demand Multi-Task Sparsity for Efficient Large-Model Deployment on Edge Devices. Design Automation Conference (DAC), 2026.
- ChipModeler: LLM-Aided Reference Model Design for Agile Hardware Verification. Design Automation Conference (DAC), 2026.
- Beyond Fuzzer Islands: CPU Fuzzing via Smart Coordination. Design Automation Conference (DAC), 2026.
- UVMarvel: an Automated LLM-aided UVM Machine for Subsystem-level RTL Verification. Design Automation Conference (DAC), 2026.
- ECM: Enhancing Compressibility of Quantized Vision Encoder and LLM for Large Vision-Language Models. IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP), 2026.
- BAHOP: Similarity-based Basin Hopping for A fast hyper-parameter search in WSI classification. IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP), 2026.
- GenBen: A Generative Benchmark for LLM-Aided Design. International Conference on LLM-Aided Design (ICLAD), 2026.
- GM-Skip: Metric-Guided Transformer Block Skipping for Efficient Vision-Language Models. Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition Findings (CVPR Findings), 2026.
- Parallel-SA: Point Cloud Processing Acceleration via Parallel Set Abstraction. Design, Automation and Test in Europe Conference (DATE), 2026.
- LaPOD: Latency Prediction for Real-Time LiDAR Object Detection. Asia and South Pacific Design Automation Conference (ASP-DAC), 2026.
- ChipMind: Retrieval-Augmented Reasoning for Long-Context Circuit Design Specifications. Annual AAAI Conference on Artificial Intelligence (AAAI), 2026.
- FIXME: Towards End-to-End Benchmarking of LLM-Aided Design Verification. Annual AAAI Conference on Artificial Intelligence (AAAI), 2026.
- UnICom: A Universally High-Performant I/O Completion Mechanism for Modern Computer Systems. USENIX Conference on File and Storage Technologies (FAST), 2026.
- QoS-aware Rendering Task Migration. ACM Symposium on Applied Computing (SAC), 2026.
- Edge-AdaptiveKG: Resource-Efficient Knowledge Graph Construction for RAG on Edge Devices. IEEE International Conference on Embedded and Real-Time Computing Systems and Application (RTCSA), 2026.
- Nav-EE: Navigation-Guided Early Exiting for Efficient Vision-Language Models in Autonomous Driving. IEEE International Conference on Embedded and Real-Time Computing Systems and Application (RTCSA), 2026.
- QGHNN: A Quantum Graph Hamiltonian Neural Network. IEEE Trans. Emerg. Top. Comput. Intell., 2026.
- Time-Sensitive Multi-DNN Inference on CPU-GPU Edge Platforms. IEEE Trans. Mob. Comput., 2026.
2025
- WCDFP Analysis for Real-Time Tasks with Stochastic Release Patterns using Chernoff Bound. IEEE Real-Time Systems Symposium (RTSS), 2025. Outstanding Paper Award
- Recursive Partitioned Scheduling for Real-Time Gang Tasks. IEEE Real-Time Systems Symposium (RTSS), 2025.
- Reducing Worst-Case Deadline Failure Probability for EDF Scheduling. IEEE Real-Time Systems Symposium (RTSS), 2025.
- On the Scalability and Efficiency of Intra-Process Communication in ROS 2. IEEE Real-Time Systems Symposium (RTSS), 2025.
- Response Time Analysis for Probabilistic DAG Tasks in Multicore Real-Time Systems. IEEE Real-Time Systems Symposium (RTSS), 2025.
- Location is Key: Leveraging LLM for Functional Bug Localization in Verilog Design. Design Automation Conference (DAC), 2025.
- Easz: An Agile Transformer-based Image Compression Framework for Resource-constrained IoTs. Design Automation Conference (DAC), 2025.
- UVLLM: An Automated Universal RTL Verification Framework using LLMs. Design Automation Conference (DAC), 2025.
- Insights from Rights and Wrongs: A Large Language Model for Solving Assertion Failures in RTL Design. Design Automation Conference (DAC), 2025.
- ReChisel: Effective Automatic Chisel Code Generation by LLM with Reflection. Design Automation Conference (DAC), 2025.
- DAWN: Accelerating Point Cloud Object Detection via Object-Aware Partitioning and 3D Similarity-Based Filtering. Design Automation Conference (DAC), 2025.
- Age-of-Information Minimization for Data Aggregation in Energy-Harvesting IoTs. Design Automation Conference (DAC), 2025.
- Large Language Model for Verilog Generation with Code-Structure-Guided Reinforcement Learning. IEEE International Conference on LLM-Aided Design (ICLAD), 2025.
- VeriDebug: A Unified LLM for Verilog Debugging via Contrastive Embedding and Guided Correction. IEEE International Conference on LLM-Aided Design (ICLAD), 2025.
- WISE: A Framework for Gigapixel Whole-Slide-Image Lossless Compression. Conference on Computer Vision and Pattern Recognition (CVPR), 2025.
- Designing and Implementing AoI-Optimized Scheduling for Autonomous Driving Systems. IEEE International Conference on Computer Communications (INFOCOM), 2025.
- Jointly Ensuring Timing Disparity and End-to-End Latency Constraints in Hybrid DAGs. IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2025. Outstanding Paper Award
- Autoware.Flex: Human-Instructed Dynamically Reconfigurable Autonomous Driving Systems. IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), 2025.
- ATER: Adaptive Task Execution Rate Regulation for Enhanced Real-Time Performance in ROS 2. IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), 2025.
- REMUS: Efficient Multi-Request Scheduling in Computational Storage Devices. IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), 2025.
- FlexInfer: Breaking Memory Constraint via Flexible and Efficient Offloading for On-Device LLM Inference. Workshop on Machine Learning and Systems (EuroMLSys), 2025.
- FlexPB: Achieving Flexible and Efficient Persistent User Buffers for Mobile Systems. The 14th Non-Volatile Memory Systems and Applications Symposium (NVMSA), 2025.
- LongliveSSD: Maximizing Lifetime Minimizing Tail-latency for Multi-Mode SSDs. The 14th Non-Volatile Memory Systems and Applications Symposium (NVMSA), 2025.
- Reliability Architectures for High-Performance Processors: A Survey and Outlook. International Conference on Research in Adaptive and Convergent Systems (RACS), 2025.
- Grade Like a Human: Rethinking Automated Assessment with Large Language Models. International Conference on Research in Adaptive and Convergent Systems (RACS), 2025.
- EvoP: Robust LLM Inference via Evolutionary Pruning. Natural Language Processing and Chinese Computing (NLPCC), 2025.
- From Concept to Practice: an Automated LLM-aided UVM Machine for RTL Verification. International Conference on Computer-Aided Design (ICCAD), 2025.
- Re-thinking Memory-Bound Limitations in CGRAs. The International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS), 2025. Best Paper Award
- An Online Auction Approach to Computing Resource Allocation in Mobile AIGC Networks. IEEE Internet of Things Journal, 2025.
- A Systematic Flexible-Window-Based Scheduling Framework for Time-Sensitive Networking. IEEE Internet of Things Journal, 2025.
- Analysis and optimization of communication delay in multi-subscriber environments of ROS 2. Journal of System Architectures, 2025.
- Risk-Constrained LQR Design Framework for Non-Gaussian Interconnected Systems Defined Over a Digraph. IEEE Transactions on Automatic Control, 2025.
- Multipath Bound for DAG Tasks. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2025.
- WCET Estimation for CNN Inference on FPGA SoC With Multi-DPU Engines. IEEE Transactions on Parallel and Distributed Systems, 2025.
- Blocking analysis of real-time tasks with parallel critical sections under federated scheduling. Journal of System Architectures, 2025.
- LiDAR localization using position-encoded landmarks without point cloud maps. Journal of System Architectures, 2025.
- Multi-Path Bound for Parallel Tasks With Conditional Branches. IEEE Transactions on Computers, 2025.
- New Scheduling Algorithm and Analysis for Partitioned Periodic DAG Tasks on Multiprocessors. IEEE Transactions on Parallel Distributed Systems, 2025.
2024
- Mixed-Criticality Federated Scheduling for Relaxed-Deadline DAG Tasks. IEEE Real-Time Systems Symposium (RTSS), 2024.
- ROTA-I/O: Hardware/Algorithm Co-design for Real-Time I/O Control with Improved Timing Accuracy and Robustness. IEEE Real-Time Systems Symposium (RTSS), 2024.
- Priority Optimization for Autonomous Driving Systems to Meet End-to-End Latency Constraints. IEEE Real-Time Systems Symposium (RTSS), 2024.
- Enhancing ROS System Fuzzing through Callback Tracing. ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), 2024.
- Finding Correctness Bugs in eBPF Verifier with Structured and Sanitized Program. European Conference on Computer Systems (EuroSys), 2024.
- Is Low Similarity Threshold A Bad Idea in Delta Compression? ACM/USENIX Workshop on Hot Topics in Storage and File Systems (HotStorage), 2024.
- Ghostbuster: A Software Approach for Reducing Ghosting Effect on Electrophoretic Displays. International Conference on Embedded Software (EMSOFT), 2024.
- Modelling and Analysis of the LatestTime Message Synchronization Policy in ROS. International Conference on Embedded Software (EMSOFT), 2024.
- Near-Free Life-time Extension for 3D NAND Flash via Opportunistic Self-Healing. International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS), 2024.
- Timely Fusion of Surround Radar/Lidar for Object Detection in Autonomous Driving Systems. IEEE International Conference on Embedded and Real-Time Computing Systems and Application (RTCSA), 2024.
- RTiL: Real-Time Inference of Large Language Models on Memory-Constrained GPU Devices. IEEE International Conference on Embedded and Real-Time Computing Systems and Application (RTCSA), 2024.
- Improving the Reaction Latency Analysis of Message Synchronization in ROS. IEEE International Conference on Embedded and Real-Time Computing Systems and Application (RTCSA), 2024.
- Tianshu: Towards Accurate Measuring, Modeling and Simulation of Deep Neural Networks. International Multidisciplinary Modeling and Simulation Multiconference (I3M), 2024.
- Adaptive Checkpointing Method for Intermittent Computing Systems. International Symposium on Industrial Embedded Systems (SIES), 2024.
- Enabling Online Fault Prediction in Adaptive Control: A Model Checker and Controller Co-Designed CPS Solution. International Symposium on Industrial Embedded Systems (SIES), 2024.
- When Compression Meets Model Compression: Memory-Efficient Double Compression for Large Language Models. International Symposium on Industrial Embedded Systems (EMNLP), 2024.
- BehaviorGPT: Smart Agent Simulation for Autonomous Driving with Next-Patch Prediction. The Thirty-eighth Annual Conference on Neural Information Processing Systems (NeurIPS), 2024.
- Timing analysis of processing chains with data refreshing in ROS 2. Journal of System Architecture (JSA), 2024.
- On the degree of parallelism for parallel real-time tasks. Journal of System Architecture (JSA), 2024.
- Connecting the physical space and cyber space of autonomous systems more closely. Real-Time Systems (RTS), 2024.
- IRFS: A CQF Scheduling Method Integrating Queue Resources and Flow Features in Time-Sensitive Networking. IEEE Transactions on Vehicular Technology (TVT), 2024.
- Longer Is Shorter: Making Long Paths to Improve the Worst-Case Response Time of DAG Tasks. IEEE Transactions on Computer-Aided Design of Integrated Circuits Systems (TCAD), 2024.
- The Shape of a DAG: Bounding the Response Time Using Long Paths. Real-Time Systems (RTS), 2024.
- Real-Time Scheduling for Parallel Tasks with Resource Reclamation. Real-Time Systems (RTS), 2024.
- RTeX: an Efficient and Timing-Predictable Multi-threaded Executor for ROS 2. IEEE Transactions on Computer-Aided Design of Integrated Circuits Systems (TCAD), 2024.
- DAG-Order: An Order-Based Dynamic DAG Scheduling for Real-Time Networks-on-Chip. ACM Transactions on Architecture and Code Optimization (TACO), 2024.
- Hopscotch: A Hardware-Software Co-Design for Efficient Cache Resizing on Multi-Core SoCs. IEEE Transactions on Parallel and Distributed Systems (TPDS), 2024.
2023
- Worst-Case Latency Analysis of Message Synchronization in ROS. IEEE Real-Time Systems Symposium (RTSS), 2023.
- Optimizing End-to-End Latency of Sporadic Cause-Effect Chains Using Priority Inheritance. IEEE Real-Time Systems Symposium (RTSS), 2023.
- Modeling and Analysis of Inter-Process Communication Delay in ROS 2. IEEE Real-Time Systems Symposium (RTSS), 2023.
- SEAM: An Optimal Message Synchronizer in ROS with Well-Bounded Time Disparity. IEEE Real-Time Systems Symposium (RTSS), 2023. Best Paper Award
- Stealing Static Slack via WCRT and Sporadic P-Servers in Deadline-Driven Scheduling. IEEE Real-Time Systems Symposium (RTSS), 2023.
- Miriam: Exploiting Elastic Kernels for Real-time Multi-DNN Inference on Edge GPU. ACM Conference on Embedded Networked Sensor Systems (SenSys), 2023.
- Poster Abstract: Unifying On-device Tensor Program Optimization through Large Foundation Model. ACM Conference on Embedded Networked Sensor Systems (SenSys), 2023, Poster.
- Reaction Time Analysis of Event-Triggered Processing Chains with Data Refreshing. Design Automation Conference (DAC), 2023.
- BlueFace: Integrating an Accelerator into the Core's Pipeline through Algorithm-Interface Co-Design for Real-Time SoCs. Design Automation Conference (DAC), 2023.
- Response Time Analysis and Optimization of DAG Tasks Exploiting Mutually Exclusive Execution. Design Automation Conference (DAC), 2023.
- Fault Tolerance in Time-Sensitive Networking with Mixed-Critical Traffic. Design Automation Conference (DAC), 2023.
- ROSGM: A Real-Time GPU Management Framework with Plug-In Policies for ROS 2. IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2023.
- Real-Time Scheduling of Autonomous Driving System with Guaranteed Timing Correctness. IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2023.
- Real-Time Performance Analysis of Processing Systems on ROS2 Executors. IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2023.
- Modeling and Property Analysis of the Message Synchronization Policy in ROS. IEEE International Conference on Mobility: Operations, Services, and Technologies (MOST), 2023. Best Paper Runner-up
- Timely Fusion of Surround Radar/Lidar for Object Detection in Autonomous Driving Systems. Design, Automation and Test in Europe (DATE), 2023.
- Parallelism in Real-Time Scheduling of DAG Tasks. Design, Automation and Test in Europe (DATE), 2023.
- Light Flash Write for Efficient Firmware Update on Energy-harvesting IoT Devices. Design, Automation and Test in Europe (DATE), 2023. Best Paper Nomination
- Analysis and Optimization of Worst-Case Time Disparity in Cause-Effect Chains. Design, Automation and Test in Europe (DATE), 2023.
- SERICO: Scheduling Real-Time I/O Requests in Computational Storage Drives. Design, Automation and Test in Europe (DATE), 2023.
- Moses: Efficient Exploitation of Cross-device Transferable Features for On-device Tensor Program Optimization. The 24th International Workshop on Mobile Computing Systems and Applications (HotMobile), 2023.
- CrossChat: Instant Messaging across Different Apps on Mobile Devices. The 38th ACM/SIGAPP Symposium On Applied Computing (SAC), 2023.
- A multi-step estimation approach for optimal control strategies of interconnected systems with weakly connected topology. Automatica, 2023.
- Scheduling Parallel Real-Time Tasks on Virtual Processors. IEEE Transactions on Parallel and Distributed Systems (TPDS), 2023.
- A Unified Blocking Analysis for Parallel Tasks With Spin Locks Under Global Fixed Priority Scheduling. IEEE Transactions on Computers (TC), 2023.
- Real-Time Scheduling of Parallel Task Graphs With Critical Sections Across Different Vertices. IEEE Transactions on Parallel and Distributed Systems (TPDS), 2023.
- Comparing Communication Paradigms in Cause-Effect Chains. IEEE Transactions on Computers (TC), 2023.
- Reliable Dynamic Packet Scheduling with Slot Sharing for Real-Time Wireless Networks. IEEE Transactions on Mobile Computing (TMC), 2023.
- Real-Time Scheduling of Conditional DAG Tasks with Intra-Task Priority Assignment. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), 2023.
2022
- Bounding the Response Time of DAG Tasks Using Long Paths. IEEE Real-Time Systems Symposium (RTSS), 2022. Outstanding Paper Award
- Worst-Case Time Disparity Analysis of Message Synchronization in ROS. IEEE Real-Time Systems Symposium (RTSS), 2022.
- Task Allocation for Real-time Earth Observation Service with LEO Satellites. IEEE Real-Time Systems Symposium (RTSS), 2022.
- Real-Time Scheduling and Analysis of Processing Chains on Multi-threaded Executor in ROS 2. IEEE Real-Time Systems Symposium (RTSS), 2022.
- Response Time Analysis for Prioritized DAG Task with Mutually Exclusive Vertices. IEEE Real-Time Systems Symposium (RTSS), 2022.
- Design and Timing Guarantee for Non-Preemptive Gang Scheduling. IEEE Real-Time Systems Symposium (RTSS), 2022.
- BlastNet: Exploiting Duo-Blocks for Cross-Processor Real-Time DNN Inference. The 20th ACM Conference on Embedded Networked Sensor Systems (SenSys), 2022. Best Paper Nomination
- Dataset: An Indoor Smart Traffic Dataset and Data Collection System. The 5th International SenSys/BuildSys Workshop on Data (DATA), 2022.
- Poster Abstract: Aaron: Compile-time Kernel Adaptation for Multi-DNN Inference Acceleration on Edge GPU. The 20th ACM Conference on Embedded Networked Sensor Systems (SenSys), 2022. Best Poster Award
- Scheduling and Analysis of Real-Time Tasks with Parallel Critical Sections. Design Automation Conference (DAC), 2022.
- Accelerating LPAQ compression algorithm on FPGA. International Conference on Field Programmable Technology (FPT), 2022.
- TICK: Tiny Client for Blockchains. IEEE Internet of Things Journal, 2022.
- ANT-UNet: Accurate and Noise-Tolerant Segmentation for Pathology Image Processing. ACM Journal of Emerging Technology of Computing Systems, 2022.
- Computing exact WCRT for typed DAG tasks on heterogeneous multi-core processors. Journal of System Architecture, 2022.
- ompTG: From OpenMP Programs to Task Graphs. Journal of System Architecture, 2022.
- Improving Interference Analysis for Real-Time DAG Tasks Under Partitioned Scheduling. IEEE Transactions on Computers, 2022.
- Contention Minimization in Emerging SMART NoC via Direct and Indirect Routes. IEEE Transactions on Computers, 2022.
- Toward an Analysable, Scalable, Energy-Efficient I/O Virtualization for Mixed-Criticality Systems. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2022.
- Bridging the Pragmatic Gaps for Mixed-Criticality Systems in the Automotive Industry. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2022.
2021
- Virtually-Federated Scheduling of Parallel Real-Time Tasks. IEEE Real-Time Systems Symposium (RTSS), 2021.
- Calculating Worst-Case Response Time Bounds for OpenMP Programs with Loop Structures. IEEE Real-Time Systems Symposium (RTSS), 2021.
- PRUID: Practical User Interface Distribution for Multi-surface Computing. Design Automation Conference (DAC), 2021.
- Schedulability Analysis for Timed Automata With Tasks. International Conference on Embedded Software (EMSOFT), 2021, published in ACM Transactions on Embedded Computing Systems.
- Response Time Analysis of Lazy Round Robin. Design Automation and Test In Europe (DATE), 2021.
- Surviving Transient Power Failures with SRAM Data Retention. Design Automation and Test In Europe (DATE), 2021.
- Intermittent Computing with Efficient State Backup by Asynchronous DMA. Design Automation and Test In Europe (DATE), 2021.
- Response Time Bounds for DAG Tasks with Arbitrary Intra-Task Priority Assignment. Euromicro Conference on Real-Time Systems (ECRTS), 2021.
- Partial order based non-preemptive communication scheduling towards real-time networks-on-chip. ACM Symposium on Applied Computing (SAC), 2021.
- Algorithms for Computing the WCRT bound of OpenMP Task Systems with Conditional Branches. IEEE Transactions on Computers, 2021.
- On the Analysis of Parallel Real-Time Tasks with Spin Locks. IEEE Transactions on Computers, 2021.
- Priority Assignment on Partitioned Multiprocessor Systems with Shared Resources. IEEE Transactions on Computers, 2021.
- Reduced Worst-Case Communication Latency Using Single-Cycle Multi-Hop Traversal Network-on-Chip. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2021.
- TICK: Tiny Client for Blockchains. IEEE Internet of Things Journal, 2021.
- An Edge Based Data-Driven Chiller Sequencing Framework for HVAC Electricity Consumption Reduction in Commercial Buildings. IEEE Transactions on Sustainable Computing, 2021.
- Joint Algorithm of Message Fragmentation and No-Wait Scheduling for Time-Sensitive Networks. IEEE CAA J. Autom. Sinica, 2021.
- Queue assignment for fixed-priority real-time flows in time-sensitive networks: Hardness and algorithm. Journal of System Architecture, 2021.
- Efficient runtime slack management for EDF-VD-based mixed-criticality scheduling. Journal of System Architecture, 2021.
- Mixed-criticality real-time scheduling of gang task systems. Real Time Systems, 2021.
- Partitioning-Based Scheduling of OpenMP Task Systems With Tied Tasks. IEEE Transactions on Parallel Distributed Systems, 2021.
2020
- Response Time Analysis and Priority Assignment of Processing Chains on ROS2 Executors. IEEE Real-Time Systems Symposium (RTSS), 2020.
- Efficient Feasibility Analysis for Graph-based Real-Time Task Systems. International Conference on Embedded Software (EMSOFT), 2020, published in IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. Best Paper Award
- LATICS: A Low-overhead Adaptive Task-based Intermittent Computing System. International Conference on Embedded Software (EMSOFT), 2020, published in IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
- Re-Thinking Mixed-Criticality Architecture for Automotive Industry. IEEE International Conference on Computer Design (ICCD), 2020.
- On Computing Exact WCRT for DAG Task. 57th Design Automation Conference (DAC), 2020.
- DPCP-p: A Distributed Locking Protocol for Parallel Real-Time Tasks. 57th Design Automation Conference (DAC), 2020.
- On the Volume Calculation for Conditional DAG Tasks: Hardness and Algorithms. Design Automation and Test in Europe (DATE), 2020.
- Boyi: A Systematic Framework for Automatically Deciding the Best Execution Model for OpenCL Applications on FPGAs. 28th ACM/SIGDA International Symposium on Field-Programmable Gate Arrays (FPGA), 2020.
- Contention Minimized Bypassing in SMART NoC. 25th Asia and South Pacific Design Automation Conference (ASP-DAC), 2020.
- Utilization-Tensity Bound for Real-Time DAG Tasks under Global EDF Scheduling. IEEE Transactions on Computers, 2020.
- Real-time Scheduling and Analysis of OpenMP DAG Tasks Supporting Nested Parallelism. IEEE Transactions on Computers, 2020.
- Energy-Efficient Parallel Real-Time Scheduling on Clustered Multi-Core. IEEE Transactions on Parallel and Distributed Systems, 2020.
- Decomposition-based Real-Time Scheduling of Parallel Tasks on Multi-core Platforms. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2020.
- Capacity Augmentation Function for Real-Time Parallel Tasks with Constrained Deadlines under GEDF Scheduling. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2020.
- Scope-Aware Useful Cache Block Calculation for Cache-Related Preemption Delay Analysis with Set-Associative Data Caches. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2020.
- Hardware-Software Collaborative Thermal Sensing in Optical Network-on-Chip-based Manycore Systems. ACM Transactions on Embedded Computing Systems, 2020.
- Real-Time Scheduling of DAG Tasks with Arbitrary Deadlines. ACM Transactions on Design Automation of Electronic Systems, 2020.
- Which is the Best PID Variant for Pneumatic Soft Robots? An Experimental Study. IEEE/CAA Journal of Automatica Sinica, 2020.
- Real-Time Scheduling of Massive Data in Time Sensitive Networks With a Limited Number of Schedule Entries. IEEE Access, 2020.
- Fault-tolerant real-time tasks scheduling with dynamic fault handling. Journal of Systems Architecture - Embedded Systems Design, 2020.
- Efficient drone hijacking detection using two-step GA-XGBoost. Journal of Systems Architecture - Embedded Systems Design, 2020.
- Real-time Scheduling of Parallel Tasks with Tight Deadlines. Journal of Systems Architecture - Embedded Systems Design, 2020.
2019
- Mixed-Criticality Multicore Scheduling of Real-Time Gang Task Systems. 40th IEEE Real-Time Systems Symposium (RTSS), 2019. Outstanding Paper Award & Best Student Paper Award
- Suspension-Based Locking Protocols for Parallel Real-Time Tasks. 40th IEEE Real-Time Systems Symposium (RTSS), 2019.
- MCS-IOV: Real-time I/O Virtualization System for Mixed-Criticality Systems. 40th IEEE Real-Time Systems Symposium (RTSS), 2019.
- Scheduling and Analysis of Parallel Real-Time Tasks with Semaphores. Design Automation Conference (DAC), 2019.
- Real-Time Scheduling and Analysis of Synchronous OpenMP Task Systems with Tied Tasks. Design Automation Conference (DAC), 2019.
- Calculating Response-Time Bounds for OpenMP Task Systems with Conditional Branches. IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2019.
- Energy-Efficient Real-Time Scheduling of DAGs on Clustered Multi-Core Platforms. IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2019.
- Analyzing GEDF Scheduling for Parallel Real-Time Tasks with Arbitrary Deadlines. Design Automation and Test In Europe (DATE), 2019.
- Thermal Sensing Using Micro-ring Resonators in Optical Network-on-Chip. Design Automation and Test In Europe (DATE), 2019.
- Routing in optical network-on-chip: minimizing contention with guaranteed thermal reliability. 24th Asia and South Pacific Design Automation Conference (ASP-DAC), 2019. Best Paper Award Nomination
- Detecting and Predicting Performance Degradation Caused by Impaired Cache Isolation. The 25th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), 2019.
- Pay-Burst-Only-Once in Real-Time Calculus. IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), 2019.
- Improving the Analysis of GPC in Real-Time Calculus. Symposium on Dependable Software Engineering Theories, Tools and Applications (SETTA), 2019.
- Semi-Federated Scheduling of Mixed-Criticality Systems for Sporadic DAG Tasks. IEEE International Symposium on Real-Time Distributed Computing (ISORC), 2019.
- Improving Multiprocessor Real-Time Systems with Bursty Inputs under Global EDF using Shapers. IEEE International Symposium on Real-Time Distributed Computing (ISORC), 2019. Best Paper Award
- Optimal Application Mapping and Scheduling for Network-on-Chips with Computation in STT-RAM based Router. IEEE Transactions on Computers, 2019.
- Intra-Task Priority Assignment in Real-Time Scheduling of DAG Tasks on Multi-cores. IEEE Transactions on Parallel and Distributed Systems, 2019.
- Response Time Bounds for Typed DAG Parallel Tasks on Heterogeneous Multi-Cores. IEEE Transactions on Parallel and Distributed Systems, 2019.
- An Efficient UAV Hijacking Detection Method using Onboard Inertial Measurement Unit. ACM Transactions on Embedded Computing Systems, 2019.
- Leaking Your Engine Speed By Spectrum Analysis of Real-Time Scheduling Sequences. Journal of System Architectures, 2019.
- Scope-aware Data Cache Analysis for OpenMP Programs on Multi-core Processors. Journal of System Architectures, 2019.
- Abdominal-Waving Control of Tethered Bumblebees Based on Sarsa With Transformed Reward. IEEE Transactions on Cybernetics, 2019.
2018
- Utilization-Based Scheduling of Flexible Mixed-Criticality Real-Time Tasks. IEEE Transactions on Computers, 2018.
- Scheduling Analysis of Imprecise Mixed-Criticality Real-Time Tasks. IEEE Transactions on Computers, 2018.
- Thermal-aware Task Mapping on Dynamically Reconfigurable Network-on-Chip based Multi-processor System-on-Chip. IEEE Transactions on Computers, 2018.
- A Capacity Augmentation Bound for Real-Time Constrained-Deadline Parallel Tasks under GEDF. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, as proceedings of ACM International Conference on Embedded Software (EMSOFT), 2018.
- EDF-VD Scheduling of Flexible Mixed-Criticality System with Multiple-Shot Transitions. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, as proceedings of ACM International Conference on Embedded Software (EMSOFT), 2018.
- Analyzing Data Cache Related Preemption Delay with Multiple Preemptions. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, as proceedings of International Conference on Compilers, Architecture, and Synthesis for Embedded Systems (CASES), 2018.
- Abdominal-Waving Control of Tethered Bumblebees Based on Sarsa With Transformed Reward. ACM Transactions on Embedded Computing Systems, 2018.
- Energy-Efficient Multi-Core Scheduling for Real-Time DAG Tasks. ACM Transactions on Embedded Computing Systems, 2018.
- Data Driven Chiller Sequencing for Reducing HVAC Electricity Consumption in Commercial Buildings. The 9th International Conference on Future Energy Systems (e-Energy), 2018. Best Paper Award
- On the Consensus Mechanisms of Blockchain/DLT for Internet of Things. The 13th International Symposium on Industrial Embedded Systems (SIES), 2018.
2017
- Semi-Federated Scheduling of Parallel Real-Time Tasks on Multiprocessors. IEEE Real-Time Systems Symposium (RTSS), 2017.
- Revisiting GPC and AND Connector in Real-Time Calculus. IEEE Real-Time Systems Symposium (RTSS), 2017.
- Scheduling and Analysis of Real-Time OpenMP Task Systems with Tied Tasks. IEEE Real-Time Systems Symposium (RTSS), 2017.
- Benchmarking OpenMP Programs for Real-Time Scheduling. The 23rd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), 2017.
- Efficient and Balanced Charging of Reconfigurable Battery with Variable Power Supply. The 23rd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), 2017.
- Energy-Efficient Multi-Core Scheduling for Real-Time DAG Tasks. The 29th Euromicro Conference on Real-Time Systems (ECRTS), 2017.
- Towards a Tool: TIMES-Pro for Modeling, Analysis, Simulation and Implementation of Cyber-Physical Systems. Models, Algorithms, Logics and Tools, 2017.
- Task Mapping on SMART NoC: Contention Matters, Not the Distance. The 54th IEEE/ACM Design Automation Conference (DAC), 2017.
- Generalized Finitary Real-Time Calculus. IEEE International Conference on Computer Communications (INFOCOM), 2017.
- Scope-aware Useful Cache Block Analysis for Data Cache Related Preemption Delay. The 23rd IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2017.
- Efficient Drone Hijacking Detection using Onboard Motion Sensors. Design Automation and Test in Europe (DATE), 2017.
- Dark Silicon-Aware Hardware-Software Collaborated Design for Heterogeneous Many-Core Systems. The 22nd Asia and South Pacific Design Automation Conference (ASP-DAC), 2017.
- Quantitative Modeling of Thermal-Optical Effects in Optical Networks-on-Chip. The 27th ACM Great Lakes Symposium on VLSI (GLSVLSI), 2017.
- A Robust Algorithm for State-of-Charge Estimation With Gain Optimization. IEEE Transactions on Industrial Informatics, 2017.
2016
- A Survey on Static Cache Analysis for Real-Time Systems. Leibniz Transactions on Embedded Systems, 2016.
- Start time configuration for strictly periodic real-time task systems. Journal of Systems Architecture - Embedded Systems Design, 2016.
- Feasibility of Fork-Join Digraph Real-Time Task Model: Hardness and Algorithms. ACM Transactions on Embedded Computing Systems, 2016.
- On the Decomposition-based Global EDF Scheduling of Parallel Real-Time Tasks. The 37th IEEE Real-Time Systems Symposium (RTSS), 2016.
- EDF-VD Scheduling of Mixed-Criticality Systems with Degraded Quality Guarantees. The 37th IEEE Real-Time Systems Symposium (RTSS), 2016.
- Speed Planning for Solar-Powered Electric Vehicles. The Seventh ACM International Conference on Future Energy Systems (e-Energy), 2016.
- Schedulability Analysis of synchronous Digraph Real-Time Tasks. The 28th Euromicro Conference on Real-Time Systems (ECRTS), 2016.
- Transforming Real-Time Task Graphs to Improve Schedulability. The 22nd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), 2016. Best Paper Nomination
2015 and before
- Modular Performance of Energy Harvesting Real-Time Networked Systems. The 36th IEEE Real-Time Systems Symposium (RTSS), 2015.
- Inter-Cell Channel Time-Slot Scheduling for Multichannel Multiradio Cellular Fieldbuses. The 36th IEEE Real-Time Systems Symposium (RTSS), 2015.
- Scalable Timing Analysis with Refinement. The 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2015.
- Delay Analysis of Structural Real-Time Workload. Design, Automation and Test in Europe (DATE), 2015.
- Noninvasive and Continuous Blood Pressure Monitoring using Wearable Body Sensor Networks. IEEE Intelligent Systems, 2015.
- AutoDietary: A Wearable Acoustic Sensor System for Food Intake Recognition in Daily Life. IEEE Sensors Journal, 2015.
- An Optimal Resource Sharing Protocol for Generalized Multiframe Tasks. Journal of Logical and Algebraic Method of Programming, 2015.
- Approximate Response Time Analysis of Real-Time Task Graphs. The 35th IEEE Real-Time Systems Symposium (RTSS), 2014.
- Refinement-based Exact Response-Time Analysis. Euromicro Conference on Real-Time Systems (ECRTS), 2014.
- General and Efficient Response Time Analysis for EDF Scheduling. Design, Automation and Test in Europe (DATE), 2014.
- Partitioned Scheduling of Sporadic Mixed-Criticality Systems on Multiprocessor Platforms. Design, Automation and Test in Europe (DATE), 2014.
- WCET Analysis with MRU Cache: Challenging LRU for Predictability. ACM Transactions on Embedded Computing Systems, 2014.
- Building Timing Predictable Embedded Systems. ACM Transactions on Embedded Computing Systems, 2014.
- Finitary Real-Time Calculus: Efficient Performance Analysis of Distributed Embedded Systems. The 34th IEEE Real-Time Systems Symposium (RTSS), 2013.
- FIFO Cache Analysis for WCET Estimation: A Quantitative Approach. Design, Automation and Test in Europe (DATE), 2013. Best Paper Award
- WCET Analysis with MRU Cache: Challenging LRU for Predictability. The 18th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2012.
- Parametric Utilization Bounds for Fixed-Priority Multiprocessor Scheduling. The 26th IEEE International Parallel and Distributed Processing Symposium (IPDPS), 2012.
- Effective and Efficient Scheduling for Certifiable Mixed Criticality Sporadic Task Systems. The 32nd IEEE Real-Time Systems Symposium (RTSS), 2011.
- The Digraph Real-Time Task Model. The 16th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2011. Best Paper Nomination
- Resource Sharing Protocols for Real-Time Task Graph Systems. The 23rd Euromicro Conference on Real-Time Systems (ECRTS), 2011.
- Schedulability Analysis for Non-preemptive Fixed-Priority Multiprocessor Scheduling. Journal of Systems Architecture, 2011.
- On the Tractability of Digraph-Based Task Model. The 23rd Euromicro Conference on Real-Time Systems (ECRTS), 2011.
- Combining Abstract Interpretation with Model Checking for Timing Analysis of Multicore Software. The 31st IEEE Real-Time Systems Symposium (RTSS), 2010. Best Paper Nomination
- Fixed Priority Multiprocessor Scheduling with Liu and Layland's Utilization Bound. The 16th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2010. Best Paper Nomination
- New Response Time Bounds of Fixed Priority Multiprocessor Scheduling. The 30th IEEE Real-Time Systems Symposium (RTSS), 2009. Best Paper Award
- Cache-Aware Scheduling and Analysis for Multicores. The 7th International Conference on Embedded Software (EMSOFT), 2009.
- New Schedulability Test Conditions for Non-Preemptive Scheduling on Multiprocessor Platforms. The 29th IEEE Real-Time Systems Symposium (RTSS), 2008.
- Schedulability Analysis of Preemptive and Non-preemptive EDF on Partially Runtime Reconfigurable FPGAs. ACM Transactions on Design Automation of Electronic Systems, 2008.
- Static Scheduling and Software Synthesis of Dataflow Models with Symbolic Model-Checking. The 28th IEEE Real-Time Systems Symposium (RTSS), 2007.