Sledovat
Zhuo Su
Zhuo Su
E-mailová adresa ověřena na: mails.tsinghua.edu.cn
Název
Citace
Citace
Rok
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
1362019
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
102021
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
82022
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
52022
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
52021
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
42022
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
32023
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
12023
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
12023
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
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
Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.
Články 1–13