Yuanfeng Shi

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 3

Top Topics

Interval Arithmetic

Functional Programs

Fast Fourier Transform

Sparse Matrices

Top Venues

Proc. ACM Program. Lang.

Publications

Yifan Zhang, Yuanfeng Shi, Xin Zhang
Learning Abstraction Selection for Bayesian Program Analysis. Proc. ACM Program. Lang. 8 (OOPSLA1) (2024)
Daming Zou, Yuchen Gu, Yuanfeng Shi, Mingzhe Wang, Yingfei Xiong, Zhendong Su
Oracle-free repair synthesis for floating-point programs. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Kang Liu, Qingyu You, Juan Wang, Xiqiang Xu, Pengcheng Shi, Kaoshan Dai, Zhenhua Huang, Shiquan Wang, Yuanfeng Shi, Zhibin Ding
A New Cable-Less Seismograph with Functions of Real-Time Data Transmitting and High-Precision Differential Self-Positioning. Sensors 20 (14) (2020)