-
[1]
Zhuo Su, Dongyan Wang, Yixiao Yang*, Zhehong Yu, Wanli Chang, Wen Li, Aiguo Cui, Yu Jiang* and Jiaguang Sun
.
"MDD: A Unified Model-Driven Design Framework for Embedded Control Software"
.
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 2022. Volume 4, Number 10, pp. 3252-3265
(TCAD 22, CCF-A)
[PDF]
-
[2]
Zhuo Su, Dongyan Wang, Yixiao Yang, Yu Jiang*, Wanli Chang, Liming Fang, Wen Li and Jiaguang Sun
.
"Code Synthesis for Dataflow Based Embedded Software Design"
.
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD). January 2022. Volume 41, Number 1, pp. 49-61
(TCAD 21, CCF-A)
[PDF]
-
[3]
Zhuo Su, Dongyan Wang, Yixiao Yang, Mingrui Zhang, Yu Jiang* and Jiaguang Sun
.
"Code Generation Method of Data Flow Model Based on Branch Marking"
.
Journal of Software (JOS). 2021. Volume 32, Number 6, pp. 1647-1662
(JoS 21, CCF-A)
[PDF]
-
[4]
Zhuo Su, Zehong Yu, Dongyan Wang, Yixiao Yang*, Yu Jiang*, Rui Wang, Wanli Chang and Jiaguang Sun
.
"HCG: Optimizing Embedded Code Generation of Simulink with SIMD Instruction Synthesis"
.
Proceeding of the 59th ACM/IEEE Design Automation Conference (DAC 22). San Francisco, CA, USA. July 10–14, 2022. pp.1033-1038
(DAC 22, CCF-A)
[PDF]
-
[5]
Zhuo Su, Dongyan Wang, Zehong Yu, Yixiao Yang, Yu Jiang*, Rui Wang, Wanli Chang, Wen Li, Aiguo Cui and Jiaguang Sun
.
"PHCG: Optimizing Simulink Code Generation for Embedded System with SIMD Instructions"
.
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD). 2023. Volume 42, Number 4, pp. 1072-1084
(TCAD 23, CCF-A)
[PDF]
-
[6]
Zhuo Su, Zehong Yu, Dongyan Wang, Yixiao Yang, Rui Wang, Wanli Chang, Aiguo Cui and Yu Jiang*
.
"STCG: State-Aware Test Case Generation for Simulink Models"
.
Proceeding of the 60th ACM/IEEE Design Automation Conference (DAC 23). San Francisco, CA, USA. July 9–14, 2023. pp. 1-6
(DAC 23, CCF-A)
[PDF]
-
[7]
Zhuo Su, Zehong Yu, Dongyan Wang, Yixiao Yang, Rui Wang, Wanli Chang, Aiguo Cui and Yu Jiang*
.
"HSTCG: State-Aware Simulink Model Test Case Generation with Heuristic Strategy"
.
IEEE Transactions on Software Engineering (TSE). 2024.
(TSE 24, CCF-A)
[PDF]
-
[8]
Zhuo Su, Zehong Yu, Dongyan Wang, Rui Wang, Yang Tao and Yu Jiang*
.
"CFTCG: Test Case Generation for Simulink Model through Code Based Fuzzing"
.
Proceeding of the 61th ACM/IEEE Design Automation Conference (DAC 24). San Francisco, CA, USA. June 23–27, 2024. 6 pages
(DAC 24, CCF-A)
[PDF]
-
[9]
Zhuo Su, Zehong Yu, Dongyan Wang, Wanli Chang, Bin Gu and Yu Jiang*
.
"Test Case Generation for Simulink Models using Model Fuzzing and State Solving"
.
The 39th IEEE/ACM International Conference on Automated Software Engineering (ASE 2024). Sacramento, California, USA. 27 October - 1 November 2024.
(ASE 24, CCF-A)
[PDF]
-
[10]
Zehong Yu, Zhuo Su*, Yixiao Yang, Jie Liang, Yu Jiang*, Aiguo Cui, Wanli Chang and Rui Wang
.
"Mercury: Instruction Pipeline Aware Code Generation for Simulink Models"
.
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD). 2022. Volume 41, Number 11, pp. 4504-4515
(EMSOFT 22, TCAD 22, CCF-A)
[PDF]
-
[11]
Zehong Yu, Zhuo Su*, Yu Jiang*, Aiguo Cui and Rui Wang
.
"Efficient Code Generation for Data-Intensive Simulink Models via Redundancy Elimination"
.
Proceeding of the 61th ACM/IEEE Design Automation Conference (DAC 24). San Francisco, CA, USA. June 23–27, 2024. 6 pages
(DAC 24, CCF-A)
[PDF]
-
[12]
Zehong Yu, Yixiao Yang, Zhuo Su*, Rui Wang, Yang Tao and Yu Jiang*
.
"Knight: Optimizing Code Generation for Simulink Models with Loop Reshaping"
.
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD). 2024.
(TCAD 24, CCF-A)
[PDF]
-
[13]
Yifan Cheng, Zehong Yu, Zhuo Su, Ting Chen*, Xiaosong Zhang and Yu Jiang*
.
"AccMoS: Accelerating Model Simulation for Simulink via Code Generation"
.
Proceeding of the 61th ACM/IEEE Design Automation Conference (DAC 24). San Francisco, CA, USA. June 23–27, 2024. 6 pages
(DAC 24, CCF-A)
[PDF]
-
[14]
Yu Jiang, Mingzhe Wang, Zhuo Su*, Yixiao Yang, and Huihui Wang
.
"Formal Design of Multi-Function Vehicle Bus Controller"
.
IEEE Transactions on Intelligent Transportation Systems (TITS). 2021. Volume 22, Number 6, pp. 3880 - 3889
(TITS 21, CCF-B)
[PDF]
-
[15]
Yuqiao Yang, Zhongjie Wu, Yongzhao Zhang, Ting Chen, Jun Li, Jie Yang, Wenhao Liu, Xiaosong Zhang, Ruicong Shi, Jingwei Li, Yu Jiang and Zhuo Su
.
"UWBAD: Towards Effective and Imperceptible Jamming Attacks Against UWB Ranging Systems with COTS Chips"
.
The 31th ACM Conference on Computer and Communications Security (CCS 2024). Salt Lake City, UT, USA. October 14-18, 2024. 15 pages
(CCS 24, CCF-A)
[PDF]
-
[16]
Fuchen Ma, Yuanliang Chen, Yuanhang Zhou, Jingxuan Sun, Zhuo Su, Yu Jiang, Jiaguang Sun and Huizhong Li
.
"Phoenix: Detect and Locate Resilience Issues in Blockchain via Context-Sensitive Chaos Submission"
.
The 30th ACM Conference on Computer and Communications Security (CCS 2023). November 26-30, 2023.
(CCS 24, CCF-A)
[PDF]
-
[17]
Mingzhe Wang, Jie Liang, Chijin Zhou, Zhiyong Wu, Jingzhou Fu, Zhuo Su, Qing Liao, Bin Gu, Bodong Wu and Yu Jiang*
.
"Data Coverage for Guided Fuzzing"
.
Proceeding of the 33th USENIX Security Symposium (USENIX Security 24). Philadelphia, PA, USA. August 14–16, 2024. 16 pages
(USENIX Security 24, CCF-A, Distinguished Paper Award)
[PDF]
-
[18]
Quan Zhang, Chijin Zhou, Yiwen Xu, Zijing Yin, Mingzhe Wang, Zhuo Su, Chengnian Sun, Yu Jiang* and Jiaguang Sun
.
"Building Dynamic System Call Sandbox with Partial Order Analysis"
.
Object-Oriented Programming Systems, Languages and Applications (OOPSLA 23). October 22–27, 2023.
(OOPSLA 21, CCF-A)
[PDF]
-
[19]
Yuanliang Chen, Yu Jiang*, Fuchen Ma, Jie Liang, Mingzhe Wang, Chijin Zhou, Xun Jiao and Zhuo Su
.
"EnFuzz: Ensemble Fuzzing with Seed Synchronization among Diverse Fuzzers"
.
Proceeding of the 28th USENIX Security Symposium (USENIX Security 19). Santa Clara, CA, USA. August 14-16, 2019. pp. 1967-1983
(USENIX Security 19, CCF-A)
[PDF]
|