Dan Liew

Email daniel.liew_ZZ@imperial.ac.uk (remove the _ZZ)
GitHub delcypher
Twitter @dan_liew
LinkedIn Dan Liew
Imperial College London
Department of Computing
South Kensington Campus
London SW7 2AZ
United Kingdom

Published Work

Peer-Reviewed Conferences and Workshops

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.