Zehong Yu 喻泽弘

PhD student
School of Software, Tsinghua University
Room 11-301, East-Main Building Tsinghua University, Beijing
Email: yzhddding@gmail.com

About Me

My name is Zehong Yu. I am a PhD student at the Software System Security Assurance Group at Tsinghua University since September 2024, under the tutelage of Prof. Yu Jiang, currently. Before that, I received my bachelor degree from Southeast University in 2021 and master degree from Tsinghua University in 2024.

My works focus on improving the efficiency of code generation and test case generation for Simulink models. Besides, I’m also interested in the areas of model driven development and embedded software engineering.

Selected Publications

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

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

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

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

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