| EnFuzz: Ensemble Fuzzing with Seed Synchronization among Diverse Fuzzers Y Chen, Y Jiang, F Ma, J Liang, M Wang, C Zhou, X Jiao, Z Su (USENIX Security 19, CCF-A) 28th USENIX Security Symposium, 1967-1983, 2019 | 131 | 2019 |
| Code Synthesis for Dataflow-Based Embedded Software Design Z Su, D Wang, Y Yang, Y Jiang, W Chang, L Fang, W Li, J Sun (TCAD 21, CCF-A) IEEE Transactions on Computer-Aided Design of Integrated …, 2021 | 10 | 2021 |
| MDD: A Unified Model-driven Design Framework for Embedded Control Software Z Su, D Wang, Y Yang, Z Yu, W Chang, W Li, A Cui, Y Jiang, J Sun (TCAD 22, CCF-A) IEEE Transactions on Computer-Aided Design of Integrated …, 2022 | 8 | 2022 |
| HCG: Optimizing Embedded Code Generation of Simulink with SIMD Instruction Synthesis Z Su, Z Yu, D Wang, Y Yang, Y Jiang, R Wang, W Chang, J Sun (DAC 22, CCF-A) Proceeding of the 59th ACM/IEEE Design Automation Conference, 2022 | 5 | 2022 |
| Formal Design of Multi-Function Vehicle Bus Controller Y Jiang, M Wang, Z Su*, Y Yang, H Wang (TITS 21, CCF-B) IEEE Transactions on Intelligent Transportation Systems 22 …, 2021 | 5 | 2021 |
| Mercury: Instruction Pipeline Aware Code Generation for Simulink Models Z Yu, Z Su*, Y Yang, J Liang, Y Jiang, A Cui, W Chang, R Wang (EMSOFT 22, TCAD 22, CCF-A) IEEE Transactions on Computer-Aided Design of …, 2022 | 4 | 2022 |
| PHCG: Optimizing Simulink Code Generation for Embedded System with SIMD Instructions Z Su, D Wang, Z Yu, Y Yang, Y Jiang, R Wang, W Chang, W Li, A Cui, ... (TCAD 23, CCF-A) IEEE Transactions on Computer-Aided Design of Integrated …, 2023 | 3 | 2023 |
| Code Generation Method of Data Flow Model Based on Branch Marking Zhuo Su, Dongyan Wang, Yixiao Yang, Mingrui Zhang, Yu Jiang, Jiaguang Sun (JOS 21, CCF-A) Journal of Software 32 (6), 1647-1662, 2021 | 1* | 2021 |
| STCG: State-Aware Test Case Generation for Simulink Models Zhuo Su, Zehong Yu, Dongyan Wang, Yixiao Yang, Rui Wang, Wanli Chang, Aiguo ... (DAC 23, CCF-A) Proceeding of the 60th ACM/IEEE Design Automation Conference, 2023 | | 2023 |
