Publications

2024

1. TCAD ’24

   Knight: Optimizing Code Generation for Simulink Models With Loop Reshaping

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

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

   Bib PDF CCF-A

   @article{yu2024Knight,
     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 = {2024},
     volume = {},
     number = {},
     pages = {1-1},
     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},
   }

2. ASE ’24

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

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

   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},
   }

3. DAC ’24

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

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

   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},
   }

4. DAC ’24

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

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

   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},
   }

5. DAC ’24

   AccMoS: Accelerating Model Simulation for Simulink via Code Generation

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

   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

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

   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

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

   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

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

   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

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

   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

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

   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},
   }