Fengjuan Gao

19 papers A* 2Journal 13Unranked 4
YearRankTypeTitle / Venue / Authors
2026 J jnl
An unsupervised image generation method for translation from fundus structure image to fluorescein angiography with fusion of hard exudates.
Biomed. Signal Process. Control.
Jiahui Yuan, Weiwei Gao, Yu Fang, Pengjiang Qian, Xintian Liu, Saisai Niu, Fengjuan Gao
2025 J jnl
Integrating Cross-Scale Attention With Atrous Spatial Pyramid Pooling for Accurate Optic Disc and Cup Segmentation.
Int. J. Imaging Syst. Technol.
Chenglu Zong, Weiwei Gao, Yu Fang, Fengjuan Gao, Zuxiang Wang
2025 — conf
Modeling Go Concurrency: A Static Analysis Approach to Data Race Detection.
Internetware
Fengjuan Gao, Mumu Zhang, Zixiao Zhao, Yu Wang, Xuandong Li
2025 J jnl
Solving Floating-Point Constraints with Continuous Optimization.
Proc. ACM Program. Lang.
Qian Chen, Chenqi Cui, Fengjuan Gao, Yu Wang, Ke Wang, Linzhang Wang
2024 A* conf
Shoot Yourself in the Foot - Efficient Code Causes Inefficiency in Compiler Optimizations.
ASE
Fengjuan Gao, Hongyu Chen, Yuewei Zhou, Ke Wang
2023 J jnl
Automatic Detection, Validation and Repair of Race Conditions in Interrupt-Driven Embedded Software.
CoRR
Yu Wang, Fengjuan Gao, Linzhang Wang, Tingting Yu, Ke Wang, Jianhua Zhao, Xuandong Li
2023 J jnl
Discrete Adversarial Attack to Models of Code.
Proc. ACM Program. Lang.
Fengjuan Gao, Yu Wang, Ke Wang
2022 J jnl
Automatic Detection, Validation, and Repair of Race Conditions in Interrupt-Driven Embedded Software.
IEEE Trans. Software Eng.
Yu Wang, Fengjuan Gao, Linzhang Wang, Tingting Yu, Jianhua Zhao, Xuandong Li
2021 J jnl
Deep Learning-Based Hybrid Fuzz Testing.
Int. J. Softw. Informatics
Fengjuan Gao, Yu Wang, Lingyun Situ, Linzhang Wang
2021 J jnl
Demystifying Code Summarization Models.
CoRR
Yu Wang, Fengjuan Gao, Linzhang Wang
2021 J jnl
Static Checking of Array Index Out-of-Bounds Defects in C Programs Based on Taint Analysis.
Int. J. Softw. Informatics
Fengjuan Gao, Yu Wang, Tianjiao Chen, Lingyun Situ, Linzhang Wang, Xuandong Li
2020 J jnl
Automatic Buffer Overflow Warning Validation.
J. Comput. Sci. Technol.
Fengjuan Gao, Yu Wang, Linzhang Wang, Zijiang Yang, Xuandong Li
2020 J jnl
Learning Semantic Program Embeddings with Graph Interval Neural Network.
CoRR
Yu Wang, Fengjuan Gao, Linzhang Wang, Ke Wang
2020 J jnl
Learning semantic program embeddings with graph interval neural network.
Proc. ACM Program. Lang.
Yu Wang, Ke Wang, Fengjuan Gao, Linzhang Wang
2019 J jnl
Learning a Static Bug Finder from Data.
CoRR
Yu Wang, Fengjuan Gao, Linzhang Wang, Ke Wang
2018 — conf
DangDone: Eliminating Dangling Pointers via Intermediate Pointers.
Internetware
Yu Wang, Fengjuan Gao, Lingyun Situ, Lingzhang Wang, Bihuan Chen, Yang Liu, Jianhua Zhao, Xuandong Li
2016 — conf
ACSPChecker: an ASP based CSP model checking tool.
Internetware
Lingyun Situ, Yu Wang, Fengjuan Gao, Linzhang Wang, Lei Bu, Jianhua Zhao, Xuandong Li
2016 A* conf
BovInspector: automatic inspection and repair of buffer overflow vulnerabilities.
ASE
Fengjuan Gao, Linzhang Wang, Xuandong Li
2016 — conf
Carraybound: static array bounds checking in C programs based on taint analysis.
Internetware
Fengjuan Gao, Tianjiao Chen, Yu Wang, Lingyun Situ, Linzhang Wang, Xuandong Li