Publications

2026

1. ICSE ’26

   Synthesizing Hardware-Specific Instructions for Efficient Code Generation of Simulink

   Zehong Yu, Zhuo Su, Wang Rui, and Yu Jiang

   In 48th International Conference on Software Engineering 2026

   CCF-A

2025

1. TCAD ’25

   Knight: Optimizing Code Generation for Simulink Models With Loop Reshaping

   Zehong Yu, Yixiao Yang, Zhuo Su, Rui Wang, Yang Tao, and Yu Jiang

   IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 2025

   Bib PDF CCF-A

   @article{yu2025Knight,
     author = {Yu, Zehong and Yang, Yixiao and Su, Zhuo and Wang, Rui and Tao, Yang and Jiang, Yu},
     journal = {IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems},
     title = {Knight: Optimizing Code Generation for Simulink Models With Loop Reshaping},
     year = {2025},
     volume = {44},
     number = {2},
     pages = {444-457},
     keywords = {Codes;Software packages;Analytical models;Semantics;Generators;Data models;Switches;Simulink Models;Loop-Semantic;Code Generation},
     doi = {10.1109/TCAD.2024.3438691},
     ccf_rank = {CCF-A},
   }

2024

1. ASE ’24

   Test Case Generation for Simulink Models using Model Fuzzing and State Solving

   Zhuo Su,  Zehong Yu, Dongyan Wang, Wanli Chang, Bin Gu, and Yu Jiang

   In Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering 2024

   Bib PDF CCF-A

   @inproceedings{su2024HybridTCG,
     author = {Su, Zhuo and Yu, Zehong and Wang, Dongyan and Chang, Wanli and Gu, Bin and Jiang, Yu},
     title = {Test Case Generation for Simulink Models using Model Fuzzing and State Solving},
     year = {2024},
     isbn = {9798400712487},
     publisher = {Association for Computing Machinery},
     address = {New York, NY, USA},
     url = {https://doi.org/10.1145/3691620.3694991},
     doi = {10.1145/3691620.3694991},
     booktitle = {Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering},
     pages = {117–128},
     numpages = {12},
     keywords = {test case generation, simulink, constraint solving, model fuzzing},
     location = {Sacramento, CA, USA},
     series = {ASE '24},
     ccf_rank = {CCF-A},
   }

2. DAC ’24

   Efficient Code Generation for Data-Intensive Simulink Models via Redundancy Elimination

   Zehong Yu, Zhuo Su, Yu Jiang, Aiguo Cui, and Rui Wang

   In Proceedings of the 61st ACM/IEEE Design Automation Conference 2024

   Bib PDF CCF-A

   @inproceedings{yu2024Frodo,
     author = {Yu, Zehong and Su, Zhuo and Jiang, Yu and Cui, Aiguo and Wang, Rui},
     title = {Efficient Code Generation for Data-Intensive Simulink Models via Redundancy Elimination},
     year = {2024},
     isbn = {9798400706011},
     publisher = {Association for Computing Machinery},
     address = {New York, NY, USA},
     url = {https://doi.org/10.1145/3649329.3656217},
     doi = {10.1145/3649329.3656217},
     booktitle = {Proceedings of the 61st ACM/IEEE Design Automation Conference},
     articleno = {20},
     numpages = {6},
     location = {San Francisco, CA, USA},
     series = {DAC '24},
     ccf_rank = {CCF-A},
   }

3. DAC ’24

   CFTCG: Test Case Generation for Simulink Model through Code Based Fuzzing

   Zhuo Su,  Zehong Yu, Dongyan Wang, Rui Wang, Yang Tao, and Yu Jiang

   In Proceedings of the 61st ACM/IEEE Design Automation Conference 2024

   Bib PDF CCF-A

   @inproceedings{su2024CFTCG,
     author = {Su, Zhuo and Yu, Zehong and Wang, Dongyan and Wang, Rui and Tao, Yang and Jiang, Yu},
     title = {CFTCG: Test Case Generation for Simulink Model through Code Based Fuzzing},
     year = {2024},
     isbn = {9798400706011},
     publisher = {Association for Computing Machinery},
     address = {New York, NY, USA},
     url = {https://doi.org/10.1145/3649329.3656216},
     doi = {10.1145/3649329.3656216},
     booktitle = {Proceedings of the 61st ACM/IEEE Design Automation Conference},
     articleno = {16},
     numpages = {6},
     location = {San Francisco, CA, USA},
     series = {DAC '24},
     ccf_rank = {CCF-A},
   }

4. DAC ’24

   AccMoS: Accelerating Model Simulation for Simulink via Code Generation

   Yifan Cheng,  Zehong Yu, Zhuo Su, Ting Chen, Xiaosong Zhang, and Yu Jiang

   In Proceedings of the 61st ACM/IEEE Design Automation Conference 2024

   Bib PDF CCF-A

   @inproceedings{cheng2024AccMoS,
     author = {Cheng, Yifan and Yu, Zehong and Su, Zhuo and Chen, Ting and Zhang, Xiaosong and Jiang, Yu},
     title = {AccMoS: Accelerating Model Simulation for Simulink via Code Generation},
     year = {2024},
     isbn = {9798400706011},
     publisher = {Association for Computing Machinery},
     address = {New York, NY, USA},
     url = {https://doi.org/10.1145/3649329.3656218},
     doi = {10.1145/3649329.3656218},
     booktitle = {Proceedings of the 61st ACM/IEEE Design Automation Conference},
     articleno = {21},
     numpages = {6},
     location = {San Francisco, CA, USA},
     series = {DAC '24},
     ccf_rank = {CCF-A},
   }

2023

1. DAC ’23

   STCG: State-Aware Test Case Generation for Simulink Models

   Zhuo Su,  Zehong Yu, Dongyan Wang, Yixiao Yang, Rui Wang, Wanli Chang, Aiguo Cui, and Yu Jiang

   In 2023 60th ACM/IEEE Design Automation Conference (DAC) 2023

   Bib PDF CCF-A

   @inproceedings{su2023STCG,
     author = {Su, Zhuo and Yu, Zehong and Wang, Dongyan and Yang, Yixiao and Wang, Rui and Chang, Wanli and Cui, Aiguo and Jiang, Yu},
     booktitle = {2023 60th ACM/IEEE Design Automation Conference (DAC)},
     title = {STCG: State-Aware Test Case Generation for Simulink Models},
     year = {2023},
     volume = {},
     number = {},
     pages = {1-6},
     keywords = {Design automation;Software packages;Benchmark testing;Space exploration;Complexity theory;System analysis and design;Test case generation;Simulink;Constraint solving},
     doi = {10.1109/DAC56929.2023.10247787},
     ccf_rank = {CCF-A}
   }

2022

1. EMSOFT ’22

   Mercury: Instruction Pipeline Aware Code Generation for Simulink Models

   Zehong Yu, Zhuo Su, Yixiao Yang, Jie Liang, Yu Jiang, Aiguo Cui, Wanli Chang, and Rui Wang

   IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 2022

   Bib PDF CCF-A

   @article{yu2022mercury,
     title = {Mercury: Instruction Pipeline Aware Code Generation for Simulink Models},
     author = {Yu, Zehong and Su, Zhuo and Yang, Yixiao and Liang, Jie and Jiang, Yu and Cui, Aiguo and Chang, Wanli and Wang, Rui},
     journal = {IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems},
     volume = {41},
     number = {11},
     pages = {4504--4515},
     year = {2022},
     publisher = {IEEE},
     dimensions = {true},
     ccf_rank = {CCF-A},
   }

2. TCAD ’22

   PHCG: Optimizing Simulink Code Generation for Embedded System with SIMD Instructions

   Zhuo Su, Dongyan Wang,  Zehong Yu, Yixiao Yang, Yu Jiang, Rui Wang, Wanli Chang, Wen Li, Aiguo Cui, and Jiaguang Sun

   IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 2022

   Bib PDF CCF-A

   @article{su2022phcg,
     title = {PHCG: Optimizing Simulink Code Generation for Embedded System with SIMD Instructions},
     author = {Su, Zhuo and Wang, Dongyan and Yu, Zehong and Yang, Yixiao and Jiang, Yu and Wang, Rui and Chang, Wanli and Li, Wen and Cui, Aiguo and Sun, Jiaguang},
     journal = {IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems},
     year = {2022},
     publisher = {IEEE},
     ccf_rank = {CCF-A},
   }

3. DAC ’22

   HCG: optimizing embedded code generation of simulink with SIMD instruction synthesis

   Zhuo Su,  Zehong Yu, Dongyan Wang, Yixiao Yang, Yu Jiang, Rui Wang, Wanli Chang, and Jiaguang Sun

   In Proceedings of the 59th ACM/IEEE Design Automation Conference 2022

   Bib PDF CCF-A

   @inproceedings{su2022hcg,
     author = {Su, Zhuo and Yu, Zehong and Wang, Dongyan and Yang, Yixiao and Jiang, Yu and Wang, Rui and Chang, Wanli and Sun, Jiaguang},
     booktitle = {Proceedings of the 59th ACM/IEEE Design Automation Conference},
     pages = {1033--1038},
     year = {2022},
     ccf_rank = {CCF-A},
   }

2021

1. TCAD ’21

   Mdd: A unified model-driven design framework for embedded control software

   Zhuo Su, Dongyan Wang, Yixiao Yang,  Zehong Yu, Wanli Chang, Wen Li, Aiguo Cui, Yu Jiang, and Jiaguang Sun

   IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 2021

   Bib PDF CCF-A

   @article{su2021mdd,
     title = {Mdd: A unified model-driven design framework for embedded control software},
     author = {Su, Zhuo and Wang, Dongyan and Yang, Yixiao and Yu, Zehong and Chang, Wanli and Li, Wen and Cui, Aiguo and Jiang, Yu and Sun, Jiaguang},
     journal = {IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems},
     volume = {41},
     number = {10},
     pages = {3252--3265},
     year = {2021},
     publisher = {IEEE},
     ccf_rank = {CCF-A},
   }