We stand with Ukraine  

Yuanfeng Shi

Orcid: 0000-0002-3189-2713

According to our database1, Yuanfeng Shi authored at least 9 papers between 2020 and 2025.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2025
On Abstraction Refinement for Bayesian Program Analysis (Paper Artifact).
[BibTeX]
[DOI]
Yuanfeng Shi
,
Yifan Zhang
,
Xin Zhang
Dataset, August, 2025

On Abstraction Refinement for Bayesian Program Analysis.
[BibTeX]
[DOI]
Yuanfeng Shi
,
Yifan Zhang
,
Xin Zhang
Proc. ACM Program. Lang., 2025

2024
Learning Abstraction Selection for Bayesian Program Analysis (Paper Artifact).
[BibTeX]
[DOI]
Yifan Zhang
,
Yuanfeng Shi
,
Xin Zhang
Dataset, March, 2024

Learning Abstraction Selection for Bayesian Program Analysis (Paper Artifact).
[BibTeX]
[DOI]
Yifan Zhang
,
Yuanfeng Shi
,
Xin Zhang
Dataset, March, 2024

Learning Abstraction Selection for Bayesian Program Analysis (Paper Artifact).
[BibTeX]
[DOI]
Yifan Zhang
,
Yuanfeng Shi
,
Xin Zhang
Dataset, March, 2024

Learning Abstraction Selection for Bayesian Program Analysis (Paper Artifact).
[BibTeX]
[DOI]
Yifan Zhang
,
Yuanfeng Shi
,
Xin Zhang
Dataset, March, 2024

Learning Abstraction Selection for Bayesian Program Analysis.
[BibTeX]
[DOI]
Yifan Zhang
,
Yuanfeng Shi
,
Xin Zhang
Proc. ACM Program. Lang., 2024

2022
Oracle-free repair synthesis for floating-point programs.
[BibTeX]
[DOI]
Daming Zou
,
Yuchen Gu
,
Yuanfeng Shi
,
Mingzhe Wang
,
Yingfei Xiong
,
Zhendong Su
Proc. ACM Program. Lang., 2022

2020
A New Cable-Less Seismograph with Functions of Real-Time Data Transmitting and High-Precision Differential Self-Positioning.
[BibTeX]
[DOI]
Kang Liu
,
Qingyu You
,
Juan Wang
,
Xiqiang Xu
,
Pengcheng Shi
,
Kaoshan Dai
,
Zhenhua Huang
,
Shiquan Wang
,
Yuanfeng Shi
,
Zhibin Ding
Sensors, 2020


  Loading...