---

---

General

Daming Zou is a postdoctoral researcher in the Advanced Software Technologies (AST) Lab at ETH Zurich, advised by Prof. Zhendong Su. He received his Ph.D. in Computer Science from Peking University, advised by Prof. Lu Zhang and Prof. Yingfei Xiong in 2020. Before that, He received a B.S. in Computer Science and a B.S. in Economics both from Peking University in 2015.

He was a visiting Ph.D. student advised by Prof. Zhendong Su in ETH Zurich, in the 2018-2019 academic year.

His research interests span programming languages and software engineering, especially floating-point analysis, fault localization, program analysis, and program comprehension.

---

Publications

• Oracle-Free Repair Synthesis for Floating-Point Programs.
  Daming Zou, Yuchen Gu, Yuanfeng Shi, Mingzhe Wang, Yingfei Xiong, and Zhendong Su
  OOPSLA'22: Proceedings of SPLASH/OOPSLA, Auckland, New Zealand, December 2022.
  [PDF]


• Detecting Floating-Point Errors via Atomic Conditions.
  Daming Zou, Muhan Zeng, Yingfei Xiong, Zhoulai Fu, Lu Zhang, and Zhendong Su
  POPL'20: Proceedings of the 47th ACM SIGPLAN Symposium on Principles of Programming Languages, New Orleans, USA, January 2020.
  [PDF] [Slides] [Tool: Atomu]


• An Empirical Study of Fault Localization Families and Their Combinations.
  Daming Zou, Jingjing Liang, Yingfei Xiong, Michael D. Ernst, and Lu Zhang
  TSE: IEEE Transactions on Software Engineering, Online First, January 2019.
  [PDF] [Slides] [Tool: CombineFL]


• Detecting and Fixing Precision-Specific Operations for Measuring Floating-Point Errors.
  Ran Wang, Daming Zou, Xinrui He, Yingfei Xiong, Lu Zhang, Gang Huang
  FSE'16: Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, Pages 619-630, Seattle, WA, USA, November, 2016
  [PDF] [Artifact] [Brief (in Chinese)]


• A Genetic Algorithm for Detecting Significant Floating-Point Inaccuracies.
  Daming Zou, Ran Wang, Yingfei Xiong, Lu Zhang, Zhendong Su, Hong Mei.
  ICSE'15: Proceedings of the 37th International Conference on Software Engineering, Pages 529-539, Florence, Italy, May, 2015
  [PDF] [Data]

---

Honors and Awards

• Outstanding Doctoral Dissertation Award, Peking University

  2020
• President Scholarship, Peking University

  2019
• President Scholarship, Peking University

  2018
• President Scholarship, Peking University

  2017
• Award for Scientific Research, Peking University

  2017
• CCF Outstanding Undergraduate Award, China Computer Federation

  2015
• New Star Scholar Award, Peking University

  2015
• Top 10 Graduation Thesis, EECS, Peking University

  2015
• Excellent Academic Award, Peking University

  2014
• Star of Tomorrow, Microsoft Research Asia

  2014

---

Academic Services

PC Member

• OOPSLA External Review Committee & AEC

  2022
• POPL AEC

  2022
• ICFP SRC

  2021
• PLDI AEC

  2021
• ECOOP AEC

  2020

Reviewer

• IEEE Transactions on Software Engineering

  2021
• Empirical Software Engineering

  2021

External Reviewer

• ICSE

  2019
• ASE, APSEC, JOS

  2018
• SPLC, ICSME

  2017
• ASE, FASE

  2016
• OOPSLA

  2013

---

Last modified: 2022.09.03

---