Publications
I am fortunate to collaborate with many talented researchers and engineers. The list below is grouped by year; please see Google Scholar for the most up-to-date record.
2026
- Beyond Fuzzer Islands: CPU Fuzzing via Smart Coordination Design Automation Conference DAC 2026
- Prelude: Priming-Guided State Reconstruction for Efficient FPGA CPU Debugging Design Automation Conference DAC 2026
- Strix: Re-thinking NPU Reliability from a System Perspective Design Automation Conference DAC 2026
- From Characterisation to Microarchitecture: Designing an Elegant and Reliable BFP-Based NPU Design Automation Conference DAC 2026
- UVMarvel: An Automated LLM-aided UVM Machine for Subsystem-level RTL Verification Design Automation Conference DAC 2026
- AkiraRust: Re-thinking LLM-aided Rust Repair Using a Feedback-guided Thinking Switch Design Automation Conference DAC 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 Optimisation Reasoning on HLS Design-Space Exploration with LLMs Design Automation Conference DAC 2026
- ChipModeler: LLM-Aided Reference Model Design for Agile Hardware Verification Design Automation Conference DAC 2026
- LLMVA: LLMs-Empowered Verilog-A Iteration for MRAM Design–Technology Co-Optimisation Design Automation Conference DAC 2026
- ChipMind: Retrieval-Augmented Reasoning for Long-Context Circuit Design Specifications AAAI Conference on Artificial Intelligence AAAI 2026
- Towards End-to-End Benchmarking of LLM-Aided Design Verification AAAI Conference on Artificial Intelligence AAAI 2026
- CIM-Tuner: Balancing the Compute and Storage Capacity of SRAM-CIM Accelerator via Hardware–Mapping Co-exploration Design, Automation and Test in Europe DATE 2026
- ChatTest: Automated Test Generation for Agile Hardware Verification with LLMs Design, Automation and Test in Europe DATE 2026
- S2VD: A Subspace-Aware SVD Method for Efficient LLM Compression International Conference on Acoustics, Speech and Signal Processing ICASSP 2026
- NLI: Non-uniform Linear Interpolation Approximation of Nonlinear Operations for Efficient LLM Inference International Conference on Learning Representations ICLR 2026
- Joint Learning Video Segmentation with Different Prior Guidance Journal of Systems Architecture JSA 2026
- MCS3: A Mixed-Criticality System with Suspension-Awareness and Semi-Clairvoyance for Edge Computing Transactions on Computer-Aided Design of Integrated Circuits and Systems TCAD 2026
2025
- Response-Time Analysis for Probabilistic DAG Tasks in Multicore Real-Time Systems Real-Time Systems Symposium RTSS 2025
- Re-thinking Memory-Bound Limitations in CGRAs International Conference on Hardware/Software Codesign and System Synthesis CODES+ISSS 2025 Best Paper Award — well done, Xiangfeng!
- MERE: Hardware/Software Co-Design for Masking Cache-Miss Latency in Embedded Processors International Conference on Hardware/Software Codesign and System Synthesis CODES+ISSS 2025
- From Concept to Practice: An Automated LLM-aided UVM Machine for RTL Verification International Conference on Computer-Aided Design ICCAD 2025
- MEEK: Re-thinking Heterogeneous Parallel Error-Detection Architecture for Real-World Out-of-Order Superscalar Processors Design Automation Conference DAC 2025
- FireGuard: A Generalised Microarchitecture for Fine-Grained Security Analysis on Out-of-Order Superscalar Cores Design Automation Conference DAC 2025
- FlexStep: Enabling Flexible Error Detection in Multi/Many-core Real-time Systems Design Automation Conference DAC 2025
- NVR: Vector Runahead on NPUs for Sparse Memory Access Design Automation Conference DAC 2025
- BBAL: A Bidirectional Block Floating-Point-Based Quantisation Accelerator for Large Language Models 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
- Unlocking a New Rust Programming Experience: Fast and Slow Thinking with LLMs to Conquer Undefined Behaviours Design Automation Conference DAC 2025
- ReChisel: Effective Automatic Chisel Code Generation by LLM with Reflection Design Automation Conference DAC 2025
- Location is Key: Leveraging LLMs for Functional Bug Localisation in Verilog Design Design Automation Conference DAC 2025
- Age-of-Information Minimisation for Data Aggregation in Energy-Harvesting IoTs Design Automation Conference DAC 2025
- Large Language Model for Verilog Generation with Code-Structure-Guided Reinforcement Learning International Conference on LLM-Aided Design ICLAD 2025
- VeriDebug: A Unified LLM for Verilog Debugging via Contrastive Embedding and Guided Correction International Conference on LLM-Aided Design ICLAD 2025
- OstQuant: Refining Large Language Model Quantisation with Orthogonal and Scaling Transformations for Better Distribution Fitting International Conference on Learning Representations ICLR 2025
- Pushing the Limits of BFP on Narrow-Precision LLM Inference AAAI Conference on Artificial Intelligence AAAI 2025
- Brightness Control of Mn4+-Doped Ca2LaTaO6 Double-Perovskite Red Emitters in a Non-contact Circuit System ChemistrySelect CS 2025
- Multi-Path Bound for Parallel Tasks with Conditional Branches IEEE Transactions on Computers TC 2025
- Thetis-Lathe: Guidance on Reducing Residual Safety Obstacles in System Software from Rust Source Codes ACM Transactions on Embedded Computing Systems TECS 2025
2024
- A Cache/Algorithm Co-design for Parallel Real-Time Systems with Data Dependency on Multi/Many-core System-on-Chips Design Automation Conference DAC 2024
- ROTA-I/O: Hardware/Algorithm Co-design for Real-Time I/O Control with Improved Timing Accuracy and Robustness Real-Time Systems Symposium RTSS 2024
- MESC: Re-thinking Algorithmic Priority/Criticality Inversion for Heterogeneous MCSs Real-Time Systems Symposium RTSS 2024 First paper by my first student — congratulations, Jiapeng!
- Optimisation of NUMA-Aware DNN Computing Systems International Conference on Intelligent Computing ICIC 2024
- MEIC: Re-thinking RTL Debug Automation Using LLMs International Conference on Computer-Aided Design ICCAD 2024 First work supervised at Southeast University — great job, Ke, Jialin and Yuchen!
- Towards an Extensible Model-Based Digital-Twin Framework for Space Launch Vehicles Journal of Industrial Information Integration JIII 2024
- Hopscotch: A Hardware/Software Co-design for Efficient Cache Resizing on Multi-core SoCs IEEE Transactions on Parallel and Distributed Systems TPDS 2024
- Post-training Quantisation for Re-parameterisation via Coarse & Fine Weight Splitting Journal of Systems Architecture JSA 2024
- An Efficient Multi-task Learning CNN for Driver Attention Monitoring Journal of Systems Architecture JSA 2024
- On the Degree of Parallelism for Parallel Real-Time Tasks Journal of Systems Architecture JSA 2024
2023
- BlueFace: Integrating an Accelerator into the Core's Pipeline through Algorithm–Interface Co-Design for Real-Time SoCs Design Automation Conference DAC 2023
- A High-Resilience Imprecise Computing Architecture for Mixed-Criticality Systems IEEE Transactions on Computers TC 2023
- AXI-ICRT: Towards a Real-Time AXI Interconnect for Highly Integrated SoCs IEEE Transactions on Computers TC 2023
- NPRC-I/O: An NoC-Based Real-Time I/O System with Reduced Contention and Enhanced Predictability Transactions on Computer-Aided Design of Integrated Circuits and Systems TCAD 2023
- Automated Model-Based Assurance-Case Management Using Constrained Natural Language Transactions on Computer-Aided Design of Integrated Circuits and Systems TCAD 2023
- DECISIVE: Designing Critical Systems with Iterative Automated Safety Analysis Transactions on Computer-Aided Design of Integrated Circuits and Systems TCAD 2023
- Thetis: A Booster for Building Safer Systems Using the Rust Programming Language Applied Sciences AS 2023 First work supervised by me — good job, Renshuang!
2022
- Designing Critical Systems with Iterative Automated Safety Analysis Design Automation Conference DAC 2022
- BlueScale: Scalable Memory Architecture for Real-Time Computing on Highly Integrated SoCs Design Automation Conference DAC 2022
- Towards Time-Predictable Hardware Hypervisor for Many-core Embedded Systems IEEE Transactions on Computers TC 2022
- Towards Hard Real-Time and Energy-Efficient Virtualisation for Many-core Embedded Systems IEEE Transactions on Computers TC 2022
- Towards an Energy-Efficient Quarter-Clairvoyant Mixed-Criticality System Journal of Systems Architecture JSA 2022
- Schedulability Analysis and Stack-Size Minimisation for Adaptive Mixed-Criticality Scheduling with Clairvoyance Journal of Systems Architecture JSA 2022
2021
- I/O-GUARD: Hardware/Software Co-Design for Virtualisation with Guaranteed Real-time Performance Design Automation Conference DAC 2021
- HIART-MCS: High-Resilience and Approximate-Computing Architecture for Imprecise MCS Real-Time Systems Symposium RTSS 2021
- Adaptable Ensemble Distillation International Conference on Acoustics, Speech and Signal Processing ICASSP 2021
- Bridging the Pragmatic Gaps for Mixed-Criticality Systems in the Automotive Industry Transactions on Computer-Aided Design of Integrated Circuits and Systems TCAD 2021
- Towards an Analysable, Scalable, Energy-Efficient Virtualisation for Mixed-Criticality Systems Transactions on Computer-Aided Design of Integrated Circuits and Systems TCAD 2021
- PSpSys: Exploring Real-time Hybrid-Criticality Systems on Arm TrustZone Technology Journal of Systems Architecture JSA 2021
2020
- Timing-Accurate General-Purpose I/O for Multi- and Many-core Systems: Scheduling and Hardware Support Design Automation Conference DAC 2020
- Pythia-MCS: Enabling Quarter-Clairvoyance in Mixed-Criticality Systems Real-Time Systems Symposium RTSS 2020
- Re-thinking Mixed-Criticality Architecture for the Automotive Industry International Conference on Computer Design ICCD 2020
- All-in-One Network for Driver Attention Monitoring International Conference on Acoustics, Speech and Signal Processing ICASSP 2020
- Building Real-Time Communication for a Hybrid Dual-OS System Journal of Systems Architecture JSA 2020
2019
- MCS-IOV: Real-Time I/O Virtualisation for Mixed-Criticality Systems Real-Time Systems Symposium RTSS 2019
- BlueIO: A Scalable Real-Time Hardware I/O Virtualisation System for Many-core Embedded Systems ACM Transactions on Embedded Computing Systems TECS 2019
- How to Build a Mixed-Criticality System in Industry — from the Perspective of System Architecture Workshop on Mixed-Criticality Systems WMC 2019
2018
- BlueVisor: A Scalable Real-Time Hardware Hypervisor for Many-core Embedded Systems Real-Time and Embedded Technology and Applications Symposium RTAS 2018
- TZDKS: A New TrustZone-Based Dual-Criticality System with Balanced Performance International Conference on Embedded and Real-Time Computing Systems and Applications RTCSA 2018
2017
- VCDC: The Virtualised Complicated Device Control Euromicro Conference on Real-Time Systems ECRTS 2017
- GPIOCP: Timing-Accurate General-Purpose I/O Controller for Many-core Real-Time Systems Design, Automation and Test in Europe DATE 2017