Daming Zou

Publication Activity (10 Years)

Years Active: 2015-2022
Publications (10 Years): 5

Top Topics

Fault Localization

Instruction Set

Sparse Matrices

Top Venues

Proc. ACM Program. Lang.

Publications

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)
Daming Zou, Jingjing Liang, Yingfei Xiong, Michael D. Ernst, Lu Zhang
An Empirical Study of Fault Localization Families and Their Combinations. IEEE Trans. Software Eng. 47 (2) (2021)
Daming Zou, Muhan Zeng, Yingfei Xiong, Zhoulai Fu, Lu Zhang, Zhendong Su
Detecting floating-point errors via atomic conditions. Proc. ACM Program. Lang. 4 (POPL) (2020)
Daming Zou, Jingjing Liang, Yingfei Xiong, Michael D. Ernst, Lu Zhang
An Empirical Study of Fault Localization Families and Their Combinations. CoRR (2018)
Ran Wang, Daming Zou, Xinrui He, Yingfei Xiong, Lu Zhang, Gang Huang
Detecting and fixing precision-specific operations for measuring floating-point errors. SIGSOFT FSE (2016)
Daming Zou, Ran Wang, Yingfei Xiong, Lu Zhang, Zhendong Su, Hong Mei
A Genetic Algorithm for Detecting Significant Floating-Point Inaccuracies. ICSE (1) (2015)