百晓学者学者目录

苏卓

副教授、副研究员、助理教授、博士生导师、教授、研究员、硕士生导师、讲师，北京航空航天大学

精选作品

期刊论文

2026

UCT: A Versatile Code Translation Framework Based on a Unified Intermediate Representation

Li Wangcai, Dongyan Wang, Zehong Yu, Yong-Kun Cheng, Ning Ge, Chunming Hu, Zhuo Su

IEEE/ACM International Conference on Automated Software Engineering (ASE)

DOI

2026

DiverFPS: Generating Diverse Solutions for Floating-Point SMT Formulas

Shuangyu Lyu, Chuan Wen Luo, Ruizhi Shi, Zhuo Su, Chunming Hu

Proceedings of the ACM on software engineering.

DOI

2026

Synthesizing Hardware-Specific Instructions for Efficient Code Generation of Simulink

Zehong Yu, Zhuo Su, Rui Wang, Yu Jiang

IEEE/ACM International Conference on Software Engineering (ICSE)

DOI

2026

GATES: Accelerating Solving-based Testing through Adaptive Solving and Guided Execution

Haowei Qiu, Zhuo Su, Zehong Yu, 同新 賀, Dongyi Yu, Yu Jiang

IEEE Transactions on Software Engineering

DOI

2025

MFrodo: Efficient and Memory-Sensitive Simulink Code Generation via Redundancy Elimination

Zehong Yu, Yixiao Yang, Zhuo Su, Haowei Qiu, Rui Wang, Aiguo Cui, Zhan Shu, Yu Jiang

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

DOI

预印本

2018

EnFuzz: Ensemble Fuzzing with Seed Synchronization among Diverse Fuzzers

Yuanliang Chen, Yu Jiang, Fuchen Ma, Jie Liang, Mingzhe Wang, Chijin Zhou, Zhuo Su, Xun Jiao

arXiv preprint

研究方向

模型驱动软件开发软件系统安全保障AI模型构建/代码生成/仿真测试验证

此主页由公开资料整理，尚未经学者本人认领。