Yixiao Yang

According to our database, Yixiao Yang authored at least 34 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

HSTCG: State-Aware Simulink Model Test Case Generation With Heuristic Strategy.

Zhuo Su, Zehong Yu, Dongyan Wang, Yixiao Yang, Rui Wang, Wanli Chang, Aiguo Cui, Yu Jiang

IEEE Trans. Software Eng., December, 2024

A Dual-Layer Network Deep Reinforcement Learning Algorithm for Multi-objective Signal Temporal Logic Tasks.

Yixiao Yang, Tiange Yang, Yuanyuan Zou, Shaoyuan Li, Yaru Yang

Circuits Syst. Signal Process., April, 2024

Single-Shot Phase Retrieval From a Fractional Fourier Transform Perspective.

Yixiao Yang, Ran Tao, Kaixuan Wei, Jun Shi

IEEE Trans. Signal Process., 2024

Spectrum analysis for nonuniform sampling of bandlimited and multiband signals in the fractional Fourier domain.

Jinming Ma, Yixiao Yang, Ran Tao, Gang Li, Chang Gao

Signal Process., 2024

SQLPass: A Semantic Effective Fuzzing Method for DBMS.

Yu Li, Yixiao Yang, Yong Guan, Zhiping Shi, Rui Wang

Proceedings of the 48th IEEE Annual Computers, Software, and Applications Conference, 2024

2023

PHCG: Optimizing Simulink Code Generation for Embedded System With SIMD Instructions.

Zhuo Su, Dongyan Wang, Zehong Yu, Yixiao Yang, Yu Jiang, Rui Wang, Wanli Chang, Wen Li, Aiguo Cui, Jia-Guang Sun

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., April, 2023

Binary Level Concolic Execution on Windows with Rich Instrumentation Based Taint Analysis.

Yixiao Yang, Chen Gao, Zhiqi Li, Yifan Wang, Rui Wang

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2023

Single-Shot Fractional Fourier Phase Retrieval.

Yixiao Yang, Ran Tao

Proceedings of the IEEE International Conference on Acoustics, 2023

STCG: State-Aware Test Case Generation for Simulink Models.

Zhuo Su, Zehong Yu, Dongyan Wang, Yixiao Yang, Rui Wang, Wanli Chang, Aiguo Cui, Yu Jiang

Proceedings of the 60th ACM/IEEE Design Automation Conference, 2023

2022

Mercury: Instruction Pipeline Aware Code Generation for Simulink Models.

Zehong Yu, Zhuo Su, Yixiao Yang, Jie Liang, Yu Jiang, Aiguo Cui, Wanli Chang, Rui Wang

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022

MDD: A Unified Model-Driven Design Framework for Embedded Control Software.

Zhuo Su, Dongyan Wang, Yixiao Yang, Zehong Yu, Wanli Chang, Wen Li, Aiguo Cui, Yu Jiang, Jiaguang Sun

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022

Code Synthesis for Dataflow-Based Embedded Software Design.

Zhuo Su, Dongyan Wang, Yixiao Yang, Yu Jiang, Wanli Chang, Liming Fang, Wen Li, Jia-Guang Sun

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022

Dynamic proximal unrolling network for compressive imaging.

Yixiao Yang, Ran Tao, Kaixuan Wei, Ying Fu

Neurocomputing, 2022

Improve Model Testing by Integrating Bounded Model Checking and Coverage Guided Fuzzing.

Yixiao Yang

CoRR, 2022

CMB AI Lab at SemEval-2022 Task 11: A Two-Stage Approach for Complex Named Entity Recognition via Span Boundary Detection and Span Classification.

Keyu Pu, Hongyi Liu, Yixiao Yang, Jiangzhou Ji, Wenyi Lv, Yaohan He

Proceedings of the 16th International Workshop on Semantic Evaluation, SemEval@NAACL 2022, 2022

Retinex-Based Low-Light Hyperspectral Restoration Using Camera Response Model.

Na Liu, Yinjian Wang, Yixiao Yang, Wei Li, Ran Tao

Proceedings of the IEEE International Geoscience and Remote Sensing Symposium, 2022

HCG: optimizing embedded code generation of simulink with SIMD instruction synthesis.

Zhuo Su, Zehong Yu, Dongyan Wang, Yixiao Yang, Yu Jiang, Rui Wang, Wanli Chang, Jia-Guang Sun

Proceedings of the DAC '22: 59th ACM/IEEE Design Automation Conference, San Francisco, California, USA, July 10, 2022

Financial Event Extraction of NEC Dataset Based on Pointer Network.

Keyu Pu, Hongyi Liu, Yixiao Yang, Yaohan He, Jinlong Li

Proceedings of the CCKS 2022 - Evaluation Track, 2022

2021

Formal Design of Multi-Function Vehicle Bus Controller.

Yu Jiang, Mingzhe Wang, Zhuo Su, Yixiao Yang, Huihui Wang

IEEE Trans. Intell. Transp. Syst., 2021

Rtkaller: State-aware Task Generation for RTOS Fuzzing.

Yuheng Shen, Hao Sun, Yu Jiang, Heyuan Shi, Yixiao Yang, Wanli Chang

ACM Trans. Embed. Comput. Syst., 2021

Dynamic Proximal Unrolling Network for Compressive Sensing Imaging.

Yixiao Yang, Ran Tao, Kaixuan Wei, Ying Fu

CoRR, 2021

Integrating Circle Kernels into Convolutional Neural Networks.

Kun He, Chao Li, Yixiao Yang, Gao Huang, John E. Hopcroft

CoRR, 2021

Multi-label Fine-Grained Entity Typing for Baidu Wikipedia Based on Pre-trained Model.

Keyu Pu, Hongyi Liu, Yixiao Yang, Wenyi Lv, Jinlong Li

Proceedings of the CCKS 2021 - Evaluation Track, 2021

Attention-Based Multi-level Network for Text Matching with Feature Fusion.

Yixiao Yang, Chongyang Zhang

Proceedings of the ACAI 2021: 4th International Conference on Algorithms, Computing and Artificial Intelligence, Sanya, China, December 22, 2021

2020

Corrigendum to Improve Language Modelling for Code Completion through Learning General Token Repetition of Source Code.

Yixiao Yang

CoRR, 2020

Improving the Robustness to Data Inconsistency between Training and Testing for Code Completion by Hierarchical Language Model.

Yixiao Yang

CoRR, 2020

Single Image Reflection Removal Through Cascaded Refinement.

Chao Li, Yixiao Yang, Kun He, Stephen Lin, John E. Hopcroft

Proceedings of the 2020 IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2020

2019

Dependable Model-driven Development of CPS: From Stateflow Simulation to Verified Implementation.

Yu Jiang, Houbing Song, Yixiao Yang, Han Liu, Ming Gu, Yong Guan, Jiaguang Sun, Lui Sha

ACM Trans. Cyber Phys. Syst., 2019

Improve Language Modeling for Code Completion Through Learning General Token Repetition of Source Code with Optimized Memory.

Yixiao Yang, Xiang Chen, Jiaguang Sun

Int. J. Softw. Eng. Knowl. Eng., 2019

Improve Language Modelling for Code Completion by Tree Language Model with Tree Encoding of Context (S).

Yixiao Yang, Chen Xiang

Proceedings of the 31st International Conference on Software Engineering and Knowledge Engineering, 2019

Improve Language Modelling for Code Completion through Learning General Token Repetition of Source Code.

Yixiao Yang, Chen Xiang

Proceedings of the 31st International Conference on Software Engineering and Knowledge Engineering, 2019

2017

A language model for statements of software code.

Yixiao Yang, Yu Jiang, Ming Gu, Jiaguang Sun, Jian Gao, Han Liu

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

2016

From Stateflow Simulation to Verified Implementation: A Verification Approach and A Real-Time Train Controller Design.

Yu Jiang, Yixiao Yang, Han Liu, Hui Kong, Ming Gu, Jia-Guang Sun, Lui Sha

Proceedings of the 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2016

Verifying simulink stateflow model: timed automata approach.

Yixiao Yang, Yu Jiang, Ming Gu, Jia-Guang Sun

Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016