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

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

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

ASE2017


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


Symbooglix: A Symbolic Execution Engine for Boogie Programs

Daniel Liew, Cristian Cadar, Alastair Donaldson

ICST2016


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

CAV2014

Posters

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.