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 003; Shiquan Wang; Yuanfeng Shi; Zhibin Ding (Sensors, 2020)

Oracle-free repair synthesis for floating-point programs. - Daming Zou; Yuchen Gu; Yuanfeng Shi; Mingzhe Wang; Yingfei Xiong 001; Zhendong Su 001 (Proc. ACM Program. Lang., 2022)

Learning Abstraction Selection for Bayesian Program Analysis. - Yifan Zhang; Yuanfeng Shi; Xin Zhang 035 (Proc. ACM Program. Lang., 2024)