Daniel Liew
Daniel Liew
Apple Inc.
Verified email at - Homepage
Cited by
Cited by
Floating-point symbolic execution: a case study in n-version programming
D Liew, D Schemmel, C Cadar, AF Donaldson, R Zahl, K Wehrle
2017 32nd IEEE/ACM International Conference on Automated Software …, 2017
Engineering a static verification tool for GPU kernels
E Bardsley, A Betts, N Chong, P Collingbourne, P Deligiannis, ...
Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014
Mining scientific articles powered by machine learning techniques
CASJ Gulo, TRPM Rúbio, S Tabassum, SGD Prado
2015 Imperial College computing student workshop (ICCSW 2015), 2015
Just fuzz it: solving floating-point constraints using coverage-guided fuzzing
D Liew, C Cadar, AF Donaldson, JR Stinnett
Proceedings of the 2019 27th ACM Joint Meeting on European Software …, 2019
Symbooglix: A symbolic execution engine for boogie programs
D Liew, C Cadar, AF Donaldson
2016 IEEE International Conference on Software Testing, Verification and …, 2016
STP constraint solver
V Ganesh, T Hansen, M Soos, D Liew, R Govostes, 2015
Symbolic execution of verification languages and floating-point code
DS Liew
Imperial College London, UK, 2017
2015 Imperial College Computing Student Workshop (ICCSW 2015)
C Schulz, D Liew
Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2015
OASIcs, Volume 49, ICCSW'15, Complete Volume
C Schulz, D Liew
2015 Imperial College Computing Student Workshop (ICCSW 2015), 2015
STP in the SMTCOMP 2018
V Ganesh, T Hansen, M Soos, D Liew, R Govostes, N Manthey
The system can't perform the operation now. Try again later.
Articles 1–10