Dan Liew

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

Published Work

Peer-Reviewed Conferences and Workshops

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.