Chrome Extension
WeChat Mini Program
Use on ChatGLM
VIPCreated with Sketch.
Research Interests

Papers共 171 篇Author StatisticsCo-AuthorSimilar Experts

By YearBy Citation主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
C*: Unifying Programming and Verification in C
Yiyuan Cao, Jiayi Zhuang, Houjin Chen, Jinkai Fan, Wenbo Xu, Zhiyi Wang, Di Wang,Qinxiang Cao,Yingfei Xiong,Haiyan Zhao,Zhenjiang Hu
arxiv（2025）
Cited0Views0Bibtex
0
0
SmartFL: Semantics Based Probabilistic Fault Localization
Yiqian Wu, Yujie Liu, Yi Yin, Muhan Zeng, Zhentao Ye,Xin Zhang,Yingfei Xiong,Lu Zhang
arxiv（2025）
Cited0Views0Bibtex
0
0
HoarePrompt: Structural Reasoning about Program Correctness in Natural Language
Dimitrios Stamatios Bouras, Yihan Dai, Tairan Wang,Yingfei Xiong,Sergey Mechtaev
arxiv（2025）
Cited0Views0Bibtex
0
0
Proving Functional Program Equivalence Via Directed Lemma Synthesis
Yican Sun,Ruyi Ji, Jian Fang, Xuanlin Jiang,Mingshuai Chen,Yingfei Xiong
FORMAL METHODS, PT I, FM 2024 (2025): 538-557
Cited0Views0EIBibtex
0
0
PredicateFix: Repairing Static Analysis Alerts with Bridging Predicates
Yuan-An Xiao, Weixuan Wang, Dong Liu, Junwei Zhou, Shengyu Cheng,Yingfei Xiong
CoRR (2025)
Cited0Views0EIBibtex
0
0
Grammar-Based Code Representation: is It a Worthy Pursuit for LLMs
Qingyuan Liang, Zhao Zhang,Zeyu Sun, Zheng Lin, Qi Luo, Yueyi Xiao, Yizhou Chen,Yuqun Zhang, Haotian Zhang,Lu Zhang, Bin Chen,Yingfei Xiong
CoRR (2025)
Cited0Views0EIBibtex
0
0
Condor: A Code Discriminator Integrating General Semantics with Code Details
Qingyuan Liang, Zhao Zhang, Chen Liu,Zeyu Sun,Wenjie Zhang, Yizhou Chen, Zixiao Zhao, Qi Luo, Wentao Wang, Yanjie Jiang,Yingfei Xiong,Lu Zhang
CoRR (2024)
Cited0Views0EIBibtex
0
0
Load More
Author Statistics

#Papers: 172

#Citation: 6046

H-Index: 41

G-Index: 75

Sociability: 6

Diversity: 2

Activity: 20

  • 合作者
  • 学生
  • 导师
No result temporarily, you can search similar Scholar with the same research interest
Data Disclaimer
The page data are from open Internet sources, cooperative publishers and automatic analysis results through AI technology. We do not make any commitments and guarantees for the validity, accuracy, correctness, reliability, completeness and timeliness of the page data. If you have any questions, please contact us by email: report@aminer.cn