<?xml version="1.0"?>
<dblpperson name="Fengjuan Gao" pid="184/8092" n="20">
<person key="homepages/184/8092" mdate="2016-08-29">
<author pid="184/8092">Fengjuan Gao</author>
</person>
<r><article key="journals/bspc/YuanGFQLNG26" mdate="2025-12-07">
<author pid="227/7234">Jiahui Yuan</author>
<author orcid="0000-0001-9314-7383" pid="34/8779">Weiwei Gao</author>
<author pid="88/3790">Yu Fang</author>
<author pid="37/11359">Pengjiang Qian</author>
<author pid="00/4050">Xintian Liu</author>
<author pid="71/8348">Saisai Niu</author>
<author pid="184/8092">Fengjuan Gao</author>
<title>An unsupervised image generation method for translation from fundus structure image to fluorescein angiography with fusion of hard exudates.</title>
<pages>109030</pages>
<year>2026</year>
<volume>113</volume>
<journal>Biomed. Signal Process. Control.</journal>
<ee>https://doi.org/10.1016/j.bspc.2025.109030</ee>
<url>db/journals/bspc/bspc113.html#YuanGFQLNG26</url>
<stream>streams/journals/bspc</stream>
</article>
</r>
<r><article key="journals/pacmse/GaoZZWLW26" mdate="2026-08-22">
<author pid="184/8092">Fengjuan Gao</author>
<author pid="36/8538">Qingjie Zhu</author>
<author orcid="0009-0001-8159-9160" pid="64/6544-153">Yi Zhang 0153</author>
<author pid="02/5889-93">Yu Wang 0093</author>
<author pid="76/5446">Xuandong Li</author>
<author pid="181/2613-22" type="noshow">Ke Wang 0022</author>
<title>Semantics-Guided Control-Flow Reconstruction for Firmware Binaries via Static Analysis.</title>
<pages>766-785</pages>
<year>2026</year>
<volume>3</volume>
<journal>Proc. ACM Softw. Eng.</journal>
<number>FSE</number>
<ee>https://doi.org/10.1145/3797130</ee>
<url>db/journals/pacmse/pacmse3.html#GaoZZWLW26</url>
</article>
</r>
<r><article key="journals/imst/ZongGFGW25" mdate="2026-02-03">
<author pid="423/2153">Chenglu Zong</author>
<author orcid="0009-0005-0684-4292" pid="34/8779">Weiwei Gao</author>
<author pid="88/3790">Yu Fang</author>
<author pid="184/8092">Fengjuan Gao</author>
<author pid="412/7393">Zuxiang Wang</author>
<title>Integrating Cross-Scale Attention With Atrous Spatial Pyramid Pooling for Accurate Optic Disc and Cup Segmentation.</title>
<year>2025</year>
<volume>35</volume>
<journal>Int. J. Imaging Syst. Technol.</journal>
<number>5</number>
<ee>https://doi.org/10.1002/ima.70204</ee>
<url>db/journals/imst/imst35.html#ZongGFGW25</url>
<stream>streams/journals/imst</stream>
</article>
</r>
<r><article key="journals/pacmpl/ChenCGWWW25" mdate="2025-12-04">
<author orcid="0009-0005-0312-0571" pid="11/1394">Qian Chen</author>
<author orcid="0009-0006-0696-6975" pid="391/4394">Chenqi Cui</author>
<author orcid="0000-0001-8185-0573" pid="184/8092">Fengjuan Gao</author>
<author orcid="0000-0002-7216-6929" pid="02/5889-93">Yu Wang 0093</author>
<author pid="181/2613-22" type="noshow">Ke Wang 0022</author>
<author orcid="0000-0003-4794-1652" pid="63/829">Linzhang Wang</author>
<title>Solving Floating-Point Constraints with Continuous Optimization.</title>
<pages>725-747</pages>
<year>2025</year>
<volume>9</volume>
<journal>Proc. ACM Program. Lang.</journal>
<number>PLDI</number>
<ee type="oa">https://doi.org/10.1145/3729279</ee>
<url>db/journals/pacmpl/pacmpl9.html#ChenCGWWW25</url>
<stream>streams/journals/pacmpl</stream>
</article>
</r>
<r><inproceedings key="conf/internetware/GaoZZ0L25" mdate="2026-03-05">
<author orcid="0000-0001-8185-0573" pid="184/8092">Fengjuan Gao</author>
<author orcid="0009-0001-5681-6434" pid="427/6578">Mumu Zhang</author>
<author orcid="0009-0009-2973-5127" pid="304/8566">Zixiao Zhao</author>
<author orcid="0000-0002-7216-6929" pid="02/5889-93">Yu Wang 0093</author>
<author orcid="0000-0003-3090-9568" pid="76/5446">Xuandong Li</author>
<title>Modeling Go Concurrency: A Static Analysis Approach to Data Race Detection.</title>
<pages>209-219</pages>
<year>2025</year>
<booktitle>Internetware</booktitle>
<ee>https://doi.org/10.1145/3755881.3755914</ee>
<crossref>conf/internetware/2025</crossref>
<url>db/conf/internetware/internetware2025.html#GaoZZ0L25</url>
</inproceedings>
</r>
<r><inproceedings key="conf/kbse/GaoCZW24" mdate="2025-12-04">
<author pid="184/8092">Fengjuan Gao</author>
<author orcid="0009-0004-3204-7636" pid="28/3046">Hongyu Chen</author>
<author pid="87/4320">Yuewei Zhou</author>
<author pid="181/2613-22" type="noshow">Ke Wang 0022</author>
<title>Shoot Yourself in the Foot - Efficient Code Causes Inefficiency in Compiler Optimizations.</title>
<pages>1846-1857</pages>
<year>2024</year>
<booktitle>ASE</booktitle>
<ee>https://doi.org/10.1145/3691620.3695548</ee>
<ee>https://www.wikidata.org/entity/Q130811437</ee>
<crossref>conf/kbse/2024</crossref>
<url>db/conf/kbse/ase2024.html#GaoCZW24</url>
</inproceedings>
</r>
<r><article key="journals/pacmpl/Gao0W23" mdate="2025-05-18">
<author orcid="0000-0001-8185-0573" pid="184/8092">Fengjuan Gao</author>
<author orcid="0000-0002-7216-6929" pid="02/5889-93">Yu Wang 0093</author>
<author pid="181/2613-22" type="noshow">Ke Wang 0022</author>
<title>Discrete Adversarial Attack to Models of Code.</title>
<pages>172-195</pages>
<year>2023</year>
<volume>7</volume>
<journal>Proc. ACM Program. Lang.</journal>
<number>PLDI</number>
<ee type="oa">https://doi.org/10.1145/3591227</ee>
<ee>https://www.wikidata.org/entity/Q130859119</ee>
<url>db/journals/pacmpl/pacmpl7.html#Gao0W23</url>
</article>
</r>
<r><article publtype="informal" key="journals/corr/abs-2305-17869" mdate="2025-05-19">
<author pid="02/5889-93">Yu Wang 0093</author>
<author pid="184/8092">Fengjuan Gao</author>
<author pid="63/829">Linzhang Wang</author>
<author pid="51/8403-1">Tingting Yu 0001</author>
<author pid="181/2613-22" type="noshow">Ke Wang 0022</author>
<author pid="31/5664">Jianhua Zhao</author>
<author pid="76/5446">Xuandong Li</author>
<title>Automatic Detection, Validation and Repair of Race Conditions in Interrupt-Driven Embedded Software.</title>
<year>2023</year>
<volume>abs/2305.17869</volume>
<journal>CoRR</journal>
<ee type="oa">https://doi.org/10.48550/arXiv.2305.17869</ee>
<url>db/journals/corr/corr2305.html#abs-2305-17869</url>
</article>
</r>
<r><article key="journals/tse/WangGWYZL22" mdate="2025-05-18">
<author orcid="0000-0002-7216-6929" pid="02/5889-93">Yu Wang 0093</author>
<author orcid="0000-0001-8185-0573" pid="184/8092">Fengjuan Gao</author>
<author orcid="0000-0003-4794-1652" pid="63/829">Linzhang Wang</author>
<author orcid="0000-0002-9461-4251" pid="51/8403-1">Tingting Yu 0001</author>
<author pid="31/5664">Jianhua Zhao</author>
<author pid="76/5446">Xuandong Li</author>
<title>Automatic Detection, Validation, and Repair of Race Conditions in Interrupt-Driven Embedded Software.</title>
<pages>346-363</pages>
<year>2022</year>
<volume>48</volume>
<journal>IEEE Trans. Software Eng.</journal>
<number>2</number>
<ee>https://doi.org/10.1109/TSE.2020.2989171</ee>
<url>db/journals/tse/tse48.html#WangGWYZL22</url>
</article>
</r>
<r><article key="journals/ijsi/GaoWCSWL21" mdate="2023-08-14">
<author pid="184/8092">Fengjuan Gao</author>
<author pid="02/5889-93">Yu Wang 0093</author>
<author pid="65/10976">Tianjiao Chen</author>
<author pid="179/7572">Lingyun Situ</author>
<author pid="63/829">Linzhang Wang</author>
<author pid="76/5446">Xuandong Li</author>
<title>Static Checking of Array Index Out-of-Bounds Defects in C Programs Based on Taint Analysis.</title>
<pages>121-147</pages>
<year>2021</year>
<volume>11</volume>
<journal>Int. J. Softw. Informatics</journal>
<number>2</number>
<ee>https://doi.org/10.21655/ijsi.1673-7288.00246</ee>
<url>db/journals/ijsi/ijsi11.html#GaoWCSWL21</url>
</article>
</r>
<r><article key="journals/ijsi/GaoWSW21" mdate="2023-08-14">
<author pid="184/8092">Fengjuan Gao</author>
<author pid="02/5889-93">Yu Wang 0093</author>
<author pid="179/7572">Lingyun Situ</author>
<author pid="63/829">Linzhang Wang</author>
<title>Deep Learning-Based Hybrid Fuzz Testing.</title>
<pages>335-355</pages>
<year>2021</year>
<volume>11</volume>
<journal>Int. J. Softw. Informatics</journal>
<number>3</number>
<ee>https://doi.org/10.21655/ijsi.1673-7288.00261</ee>
<url>db/journals/ijsi/ijsi11.html#GaoWSW21</url>
</article>
</r>
<r><article publtype="informal" key="journals/corr/abs-2102-04625" mdate="2021-04-13">
<author pid="02/5889-93">Yu Wang 0093</author>
<author pid="184/8092">Fengjuan Gao</author>
<author pid="63/829">Linzhang Wang</author>
<title>Demystifying Code Summarization Models.</title>
<year>2021</year>
<volume>abs/2102.04625</volume>
<journal>CoRR</journal>
<ee type="oa">https://arxiv.org/abs/2102.04625</ee>
<url>db/journals/corr/corr2102.html#abs-2102-04625</url>
</article>
</r>
<r><article key="journals/jcst/GaoWWYL20" mdate="2022-08-11">
<author pid="184/8092">Fengjuan Gao</author>
<author pid="02/5889-93">Yu Wang 0093</author>
<author pid="63/829">Linzhang Wang</author>
<author pid="97/3485-6">Zijiang Yang 0006</author>
<author pid="76/5446">Xuandong Li</author>
<title>Automatic Buffer Overflow Warning Validation.</title>
<pages>1406-1427</pages>
<year>2020</year>
<volume>35</volume>
<journal>J. Comput. Sci. Technol.</journal>
<number>6</number>
<ee>https://doi.org/10.1007/s11390-020-0525-z</ee>
<url>db/journals/jcst/jcst35.html#GaoWWYL20</url>
</article>
</r>
<r><article key="journals/pacmpl/WangWGW20" mdate="2025-05-18">
<author pid="02/5889-93">Yu Wang 0093</author>
<author pid="181/2613-22" type="noshow">Ke Wang 0022</author>
<author pid="184/8092">Fengjuan Gao</author>
<author pid="63/829">Linzhang Wang</author>
<title>Learning semantic program embeddings with graph interval neural network.</title>
<pages>137:1-137:27</pages>
<year>2020</year>
<volume>4</volume>
<journal>Proc. ACM Program. Lang.</journal>
<number>OOPSLA</number>
<ee type="oa">https://doi.org/10.1145/3428205</ee>
<ee>https://www.wikidata.org/entity/Q130975261</ee>
<url>db/journals/pacmpl/pacmpl4.html#WangWGW20</url>
</article>
</r>
<r><article publtype="informal" key="journals/corr/abs-2005-09997" mdate="2025-05-18">
<author pid="02/5889-93">Yu Wang 0093</author>
<author pid="184/8092">Fengjuan Gao</author>
<author pid="63/829">Linzhang Wang</author>
<author pid="181/2613-22" type="noshow">Ke Wang 0022</author>
<title>Learning Semantic Program Embeddings with Graph Interval Neural Network.</title>
<year>2020</year>
<volume>abs/2005.09997</volume>
<journal>CoRR</journal>
<ee type="oa">https://arxiv.org/abs/2005.09997</ee>
<url>db/journals/corr/corr2005.html#abs-2005-09997</url>
</article>
</r>
<r><article publtype="informal" key="journals/corr/abs-1907-05579" mdate="2025-05-18">
<author pid="02/5889-93">Yu Wang 0093</author>
<author pid="184/8092">Fengjuan Gao</author>
<author pid="63/829">Linzhang Wang</author>
<author pid="181/2613-22" type="noshow">Ke Wang 0022</author>
<title>Learning a Static Bug Finder from Data.</title>
<year>2019</year>
<volume>abs/1907.05579</volume>
<journal>CoRR</journal>
<ee type="oa">http://arxiv.org/abs/1907.05579</ee>
<url>db/journals/corr/corr1907.html#abs-1907-05579</url>
</article>
</r>
<r><inproceedings key="conf/internetware/WangGSW0LZL18" mdate="2023-06-26">
<author pid="02/5889-93">Yu Wang 0093</author>
<author pid="184/8092">Fengjuan Gao</author>
<author pid="179/7572">Lingyun Situ</author>
<author pid="238/8883">Lingzhang Wang</author>
<author pid="61/9197">Bihuan Chen 0001</author>
<author orcid="0000-0001-7300-9215" pid="51/3710-3">Yang Liu 0003</author>
<author pid="31/5664">Jianhua Zhao</author>
<author pid="76/5446">Xuandong Li</author>
<title>DangDone: Eliminating Dangling Pointers via Intermediate Pointers.</title>
<pages>6:1-6:10</pages>
<year>2018</year>
<booktitle>Internetware</booktitle>
<ee>https://doi.org/10.1145/3275219.3275231</ee>
<crossref>conf/internetware/2018</crossref>
<url>db/conf/internetware/internetware2018.html#WangGSW0LZL18</url>
</inproceedings>
</r>
<r><inproceedings key="conf/internetware/GaoCWSWL16" mdate="2025-01-19">
<author pid="184/8092">Fengjuan Gao</author>
<author pid="65/10976">Tianjiao Chen</author>
<author pid="02/5889-93">Yu Wang 0093</author>
<author pid="179/7572">Lingyun Situ</author>
<author pid="63/829">Linzhang Wang</author>
<author pid="76/5446">Xuandong Li</author>
<title>Carraybound: static array bounds checking in C programs based on taint analysis.</title>
<pages>81-90</pages>
<year>2016</year>
<booktitle>Internetware</booktitle>
<ee>https://doi.org/10.1145/2993717.2993724</ee>
<ee>https://www.wikidata.org/entity/Q131125577</ee>
<crossref>conf/internetware/2016</crossref>
<url>db/conf/internetware/internetware2016.html#GaoCWSWL16</url>
</inproceedings>
</r>
<r><inproceedings key="conf/internetware/SituWGWBZL16" mdate="2023-11-12">
<author pid="179/7572">Lingyun Situ</author>
<author pid="02/5889-93">Yu Wang 0093</author>
<author pid="184/8092">Fengjuan Gao</author>
<author pid="63/829">Linzhang Wang</author>
<author orcid="0000-0003-0517-7801" pid="64/5155">Lei Bu</author>
<author pid="31/5664">Jianhua Zhao</author>
<author pid="76/5446">Xuandong Li</author>
<title>ACSPChecker: an ASP based CSP model checking tool.</title>
<pages>99-102</pages>
<year>2016</year>
<booktitle>Internetware</booktitle>
<ee>https://doi.org/10.1145/2993717.2993730</ee>
<crossref>conf/internetware/2016</crossref>
<url>db/conf/internetware/internetware2016.html#SituWGWBZL16</url>
</inproceedings>
</r>
<r><inproceedings key="conf/kbse/GaoWL16" mdate="2025-01-19">
<author pid="184/8092">Fengjuan Gao</author>
<author pid="63/829">Linzhang Wang</author>
<author pid="76/5446">Xuandong Li</author>
<title>BovInspector: automatic inspection and repair of buffer overflow vulnerabilities.</title>
<pages>786-791</pages>
<year>2016</year>
<booktitle>ASE</booktitle>
<ee>https://doi.org/10.1145/2970276.2970282</ee>
<ee>https://ieeexplore.ieee.org/document/7582816/</ee>
<ee>https://www.wikidata.org/entity/Q130916385</ee>
<crossref>conf/kbse/2016</crossref>
<url>db/conf/kbse/ase2016.html#GaoWL16</url>
</inproceedings>
</r>
<coauthors n="29" nc="2">
<co c="0"><na f="b/Bu:Lei" pid="64/5155">Lei Bu</na></co>
<co c="0"><na f="c/Chen_0001:Bihuan" pid="61/9197">Bihuan Chen 0001</na></co>
<co c="0"><na f="c/Chen:Hongyu" pid="28/3046">Hongyu Chen</na></co>
<co c="0"><na f="c/Chen:Qian" pid="11/1394">Qian Chen</na></co>
<co c="0"><na f="c/Chen:Tianjiao" pid="65/10976">Tianjiao Chen</na></co>
<co c="0"><na f="c/Cui:Chenqi" pid="391/4394">Chenqi Cui</na></co>
<co c="1"><na f="f/Fang:Yu" pid="88/3790">Yu Fang</na></co>
<co c="1"><na f="g/Gao:Weiwei" pid="34/8779">Weiwei Gao</na></co>
<co c="0"><na f="l/Li:Xuandong" pid="76/5446">Xuandong Li</na></co>
<co c="1"><na f="l/Liu:Xintian" pid="00/4050">Xintian Liu</na></co>
<co c="0"><na f="l/Liu_0003:Yang" pid="51/3710-3">Yang Liu 0003</na></co>
<co c="1"><na f="n/Niu:Saisai" pid="71/8348">Saisai Niu</na></co>
<co c="1"><na f="q/Qian:Pengjiang" pid="37/11359">Pengjiang Qian</na></co>
<co c="0"><na f="s/Situ:Lingyun" pid="179/7572">Lingyun Situ</na></co>
<co c="0"><na f="w/Wang_0022:Ke" pid="181/2613-22" type="noshow">Ke Wang 0022</na></co>
<co c="0"><na f="w/Wang:Lingzhang" pid="238/8883">Lingzhang Wang</na></co>
<co c="0"><na f="w/Wang:Linzhang" pid="63/829">Linzhang Wang</na></co>
<co c="0"><na f="w/Wang_0093:Yu" pid="02/5889-93">Yu Wang 0093</na></co>
<co c="1"><na f="w/Wang:Zuxiang" pid="412/7393">Zuxiang Wang</na></co>
<co c="0"><na f="y/Yang_0006:Zijiang" pid="97/3485-6">Zijiang Yang 0006</na></co>
<co c="0"><na f="y/Yu_0001:Tingting" pid="51/8403-1">Tingting Yu 0001</na></co>
<co c="1"><na f="y/Yuan:Jiahui" pid="227/7234">Jiahui Yuan</na></co>
<co c="0"><na f="z/Zhang:Mumu" pid="427/6578">Mumu Zhang</na></co>
<co c="0"><na f="z/Zhang_0153:Yi" pid="64/6544-153">Yi Zhang 0153</na></co>
<co c="0"><na f="z/Zhao:Jianhua" pid="31/5664">Jianhua Zhao</na></co>
<co c="0"><na f="z/Zhao:Zixiao" pid="304/8566">Zixiao Zhao</na></co>
<co c="0"><na f="z/Zhou:Yuewei" pid="87/4320">Yuewei Zhou</na></co>
<co c="0"><na f="z/Zhu:Qingjie" pid="36/8538">Qingjie Zhu</na></co>
<co c="1"><na f="z/Zong:Chenglu" pid="423/2153">Chenglu Zong</na></co>
</coauthors>
</dblpperson>

