Daming Zou

According to our database, Daming Zou authored at least 5 papers between 2015 and 2022.

Collaborative distances:

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

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

2021

An Empirical Study of Fault Localization Families and Their Combinations.

Daming Zou, Jingjing Liang, Yingfei Xiong, Michael D. Ernst, Lu Zhang

IEEE Trans. Software Eng., 2021

2020

Detecting floating-point errors via atomic conditions.

Daming Zou, Muhan Zeng, Yingfei Xiong, Zhoulai Fu, Lu Zhang, Zhendong Su

Proc. ACM Program. Lang., 2020

2016

Detecting and fixing precision-specific operations for measuring floating-point errors.

Ran Wang, Daming Zou, Xinrui He, Yingfei Xiong, Lu Zhang, Gang Huang

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

2015

A Genetic Algorithm for Detecting Significant Floating-Point Inaccuracies.

Daming Zou, Ran Wang, Yingfei Xiong, Lu Zhang, Zhendong Su, Hong Mei

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015