Yuanfeng Shi

According to our database, Yuanfeng Shi authored at least 7 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

Learning Abstraction Selection for Bayesian Program Analysis (Paper Artifact).

Yifan Zhang, Yuanfeng Shi, Xin Zhang

Dataset, March, 2024

Learning Abstraction Selection for Bayesian Program Analysis (Paper Artifact).

Yifan Zhang, Yuanfeng Shi, Xin Zhang

Dataset, March, 2024

Learning Abstraction Selection for Bayesian Program Analysis (Paper Artifact).

Yifan Zhang, Yuanfeng Shi, Xin Zhang

Dataset, March, 2024

Learning Abstraction Selection for Bayesian Program Analysis (Paper Artifact).

Yifan Zhang, Yuanfeng Shi, Xin Zhang

Dataset, March, 2024

Learning Abstraction Selection for Bayesian Program Analysis.

Yifan Zhang, Yuanfeng Shi, Xin Zhang

Proc. ACM Program. Lang., 2024

2022

Oracle-free repair synthesis for floating-point programs.

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.

Kang Liu, Qingyu You, Juan Wang, Xiqiang Xu, Pengcheng Shi, Kaoshan Dai, Zhenhua Huang, Shiquan Wang, Yuanfeng Shi, Zhibin Ding

Sensors, 2020