BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Zou:Daming

Contributed to:

ICSE 20152015
FSE 20162016
POPL 20202020

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.