Gang Fan

Career Profile

Gang Fan is a staff software engineer at Ant Financial Services Group. Before this, he obtained his Ph.D. degree in 2020, under the supervision of Charles Zhang and received his master’s degree at the Hong Kong University of Science and Technology.

His main area of research is programming languages, static analysis, and testing. He is current research mainly focuses on solving memory safety problems in industry-sized projects. His industry experiences mostly come from Baidu, Tencent, Vlintech, and Sourcebrella, where he is also a co-founder.

Publications

CodeFuse-13B: A Pretrained Multi-lingual Code Large Language Model

Peng Di, Jianguo Li, Hang Yu, Wei Jiang, Wenting Cai, Yang Cao, Chaoyu Chen, Dajun Chen, Hongwei Chen, Liang Chen, Gang Fan, Jie Gong, Zi Gong, Wen Hu, Tingting Guo, Zhichao Lei, Ting Li, Zheng Li, Ming Liang, Cong Liao, Bingchang Liu, Jiachen Liu, Zhiwei Liu, Shaojun Lu, Min Shen, Guangpei Wang, Huan Wang, Zhi Wang, Zhaogui Xu, Jiawei Yang, Qing Ye, Gehao Zhang, Yu Zhang, Zelin Zhao, Xunjin Zheng, Hailian Zhou, Lifu Zhu, Xianying Zhu

ICSE-SEIP~2024

DCLink: Bridging Data Constraint Changes and Implementations in FinTech Systems

Wensheng Tang, Chengpeng Wang, Peisen Yao, Rongxin Wu, Xianjin Fu, Gang Fan, Charles Zhang

Synthesizing Conjunctive Queries for Code Search

Chengpeng Wang, Peisen Yao, Wensheng Tang, Gang Fan, Charles Zhang

Verifying Data Constraint Equivalence in FinTech Systems

Chengpeng Wang, Gang Fan, Peisen Yao, Fuxiong Pan, Charles Zhang

Accelerating Build Dependency Error Detection via Virtual Build

Rongxin Wu, Minglei Chen, Chengpeng Wang, Gang Fan, Jiguang Qiu, Charles Zhang

Transcode: Detecting Status Code Mapping Errors in Large-Scale Systems

Wensheng Tang, Yikun Hu, Gang Fan, Peisen Yao, Rongxin Wu, Guangyuan Bai, Pengcheng Wang and Charles Zhang

Escaping Dependency Hell: Finding Build Dependency Errors with the Unified Dependency Graph

Gang Fan, Chengpeng Wang, Rongxin Wu, Xiao Xiao, Qingkai Shi and Charles Zhang

Conquering the Extensional Scalability Problem for Value-Flow Analysis Frameworks

Qingkai Shi, Rongxin Wu, Gang Fan, and Charles Zhang

SMOKE: Scalable Path-Sensitive Memory Leak Detection for Millions of Lines of Code

ACM SIGSOFT Distinguished Paper Award

ACM Artifacts Evaluated REUSABLE Award

Gang Fan, Rongxin Wu, Qingkai Shi, Xiao Xiao, Jinguo Zhou, and Charles Zhang

Pinpoint: Fast and Precise Sparse Value Flow Analysis for Million Lines of code

ACM Artifacts Evaluated Functional Award

Qingkai Shi, Xiao Xiao, Rongxin Wu, Jinguo Zhou, Gang Fan, and Charles Zhang

Snagle: A lightweight sparse conditional null pointer analysis and unreachable code detection

Gang Fan and Charles Zhang

Pinpoint源代码静态缺陷分析系统

NASAC 2016 Research Prototype First Class Award

Xiao Xiao, Gang Fan, Jinguo Zhou, Qingkai Shi, and Charles Zhang

National Software Application Conference (NASAC) 2016

Awards

Some Awards.

2018 First Class Prize

NASAC 2018 Research Prototype (Propositional) Competition

2018 First Class Prize

NASAC 2018 Research Prototype (Free Topic) Competition

2017 The first fifteen in GMIC G-Startup Entrepreneur Competition

2016 Baidu First-Class Intern Award

2016 First Class Prize

NASAC 2016 Research Prototype Competition

2010 Tencent Campus Star

2009 Kwang-Hua Scholarship for excellent students

2009 First-Class Scholarship for excellent students of DUT

Experiences

Staff Software Engineer

2020 - Present

Ant Financial Services Group

www.antfin.com.

Co-Founder & Software Engineer

2016 - 2020

Shenzhen Qianhai Sourcebrella Inc.

www.sourcebrella.com.

Internship in Baidu

2016 - 2018

Baidu, Shenzhen

In Baidu, I helped integrate static analysis into the code review workflow.

Software Engineer

2012 - 2012

Vlintech, Shanghai

In Vlin, we built a smarthome system.

iOS Developer

2010 - 2011

Xiaohe Tech, Shenzhen

We published several top-ranking iOS apps.