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: Liew:Daniel
Contributed to:
2014
2017
2019Wrote 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.