BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
Collaborated with:
A.F.Donaldson C.Cadar J.R.Stinnett D.Schemmel R.Zähl K.Wehrle E.Bardsley A.Betts N.Chong P.Collingbourne P.Deligiannis J.Ketema S.Qadeer
Talks about:
point (2) float (2) fuzz (2) constraint (1) version (1) program (1) coverag (1) symbol (1) static (1) kernel (1)

Person: Daniel Liew

DBLP DBLP: Liew:Daniel

Contributed to:

CAV 20142014
ASE 20172017
ESEC/FSE 20192019

Wrote 3 papers:

CAV-2014-BardsleyBCCDDKLQ #gpu #kernel #verification
Engineering a Static Verification Tool for GPU Kernels (EB, AB, NC, PC, PD, AFD, JK, DL, SQ), pp. 226–242.
ASE-2017-LiewSCDZW #case study #execution #float #programming #symbolic computation
Floating-point symbolic execution: a case study in n-version programming (DL, DS, CC, AFD, RZ, KW), pp. 601–612.
ESEC-FSE-2019-LiewCDS #constraints #float #fuzzing #using
Just fuzz it: solving floating-point constraints using coverage-guided fuzzing (DL, CC, AFD, JRS), pp. 521–532.

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.