Travelled to:1 × Italy
Collaborated with:Y.Xiong R.Wang Z.Su L.Z.0023 L.Zhang H.Mei X.He G.H.0001 Muhan Zeng Z.Fu
Talks about:detect (3) point (3) float (3) error (2) inaccuraci (1) algorithm (1) signific (1) specif (1) precis (1) measur (1)
Person: Daming Zou
DBLP: Zou:Daming
Contributed to:
2015
2016
2020Wrote 3 papers:
- ICSE-v1-2015-ZouWXZSM #algorithm #detection #float #search-based
- A Genetic Algorithm for Detecting Significant Floating-Point Inaccuracies (DZ, RW, YX, LZ, ZS, HM), pp. 529–539.
- FSE-2016-WangZHXZ0 #detection #fault #float
- Detecting and fixing precision-specific operations for measuring floating-point errors (RW, DZ, XH, YX, LZ0, GH0), pp. 619–630.
- POPL-2020-ZouZXFZS #detection #fault #float
- Detecting floating-point errors via atomic conditions (DZ, MZ, YX, ZF, LZ0, ZS), p. 27.