| 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 | 141 | 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 | 11 | 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 |
| 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 | 5 | 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 |
| 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 |
| Phoenix: Detect and locate resilience issues in blockchain via context-sensitive chaos F Ma, Y Chen, Y Zhou, J Sun, Z Su, Y Jiang, J Sun, H Li Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications …, 2023 | 2 | 2023 |
| STCG: state-aware test case generation for simulink models Z Su, Z Yu, D Wang, Y Yang, R Wang, W Chang, A Cui, Y Jiang 2023 60th ACM/IEEE Design Automation Conference (DAC), 1-6, 2023 | 2 | 2023 |
| Building Dynamic System Call Sandbox with Partial Order Analysis Q Zhang, C Zhou, Y Xu, Z Yin, M Wang, Z Su, C Sun, Y Jiang, J Sun Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 1253-1280, 2023 | 1 | 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 |
| HSTCG: State-Aware Simulink Model Test Case Generation with Heuristic Strategy Z Su, Z Yu, D Wang, Y Yang, R Wang, W Chang, A Cui, Y Jiang IEEE Transactions on Software Engineering, 2024 | | 2024 |
| UWBAD: Towards Effective and Imperceptible Jamming Attacks Against UWB Ranging Systems with COTS Chips Y Yang, Z Wu, Y Zhang, T Chen, J Li, J Yang, W Liu, X Zhang, R Shi, J Li, ... arXiv preprint arXiv:2407.00682, 2024 | | 2024 |
| Data Coverage for Guided Fuzzing M Wang, J Liang, C Zhou, Z Wu, J Fu, Z Su, Q Liao, B Gu, B Wu, Y Jiang | | |
| CFTCG: Test Case Generation for Simulink Model through Code Based Fuzzing Z Su, Z Yu, D Wang, R Wang, Y Tao, Y Jiang | | |
| AccMoS: Accelerating Model Simulation for Simulink via Code Generation Y Cheng, Z Yu, Z Su, T Chen, X Zhang, Y Jiang | | |
| Efficient Code Generation for Data-Intensive Simulink Models via Redundancy Elimination Z Yu, Z Su, Y Jiang, A Cui, R Wang | | |
