Dan Liew

Email dan_ZZ@su-root.co.uk (remove the _ZZ)
GitHub delcypher
Twitter @dan_liew
LinkedIn Dan Liew

Published Work

PhD Thesis

Symbolic execution of verification languages and floating-point code

Daniel Liew

Imperial College London

Peer-Reviewed Conferences and Workshops

Just Fuzz It: Solving Floating-point Constraints Using Coverage-guided Fuzzing

Daniel Liew, Cristian Cadar, Alastair Donaldson, J. Ryan Stinnett


Floating-Point Symbolic Execution: A Case Study in N-Version Programming

Daniel Liew, Daniel Schemmel, Cristian Cadar, Rafael Zähl, Alastair Donaldson, Klaus Wehrle


This paper was awarded “Best experience paper” at ASE2017.

Symbooglix: A Symbolic Execution Engine for Boogie Programs

Daniel Liew, Cristian Cadar, Alastair Donaldson


This paper was one of three papers awarded “Best Paper Award” at ICST2016. The slides used to present this paper at ICST2016 can be found here.

Engineering a Static Verification Tool for GPU Kernels

Ethel Bardsley, Adam Betts, Nathan Chong, Peter Collingbourne, Pantazis Deligiannis, Alastair F. Donaldson, Jeroen Ketema, Daniel Liew, Shaz Qadeer



Finding data races in OpenCL kernels

Presented at the Department of Computing (Imperial College) Google poster competition 2014. It won first prize in the second year PhD student category.