Zhuo Su

Orcid: 0000-0001-7083-2038

Affiliations:
  • Tsinghua University, School of Software, BNRist, Beijing, China


According to our database1, Zhuo Su authored at least 10 papers between 2019 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Building Dynamic System Call Sandbox with Partial Order Analysis.
Proc. ACM Program. Lang., October, 2023

PHCG: Optimizing Simulink Code Generation for Embedded System With SIMD Instructions.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., April, 2023

STCG: State-Aware Test Case Generation for Simulink Models.
Proceedings of the 60th ACM/IEEE Design Automation Conference, 2023

Phoenix: Detect and Locate Resilience Issues in Blockchain via Context-Sensitive Chaos.
Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023

2022
Mercury: Instruction Pipeline Aware Code Generation for Simulink Models.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022

MDD: A Unified Model-Driven Design Framework for Embedded Control Software.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022

Code Synthesis for Dataflow-Based Embedded Software Design.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022

HCG: optimizing embedded code generation of simulink with SIMD instruction synthesis.
Proceedings of the DAC '22: 59th ACM/IEEE Design Automation Conference, San Francisco, California, USA, July 10, 2022

2021
Formal Design of Multi-Function Vehicle Bus Controller.
IEEE Trans. Intell. Transp. Syst., 2021

2019
EnFuzz: Ensemble Fuzzing with Seed Synchronization among Diverse Fuzzers.
Proceedings of the 28th USENIX Security Symposium, 2019


  Loading...