Dan‘s research interests include software verification using symbolic execution and static analysis. He received an MSc in Computing from Imperial College during which he contributed to the KLEE project. Prior to this he studied Physics at the University of Bristol which included an industrial placement with Sharp laboratories of Europe. Daniel’s PhD studies are generously funded by the EPSRC industrial case studentship with ARM.
Daniel is also a member of the Software Reliability Group.
Just Fuzz It: Solving Floating-Point Constraints Using Coverage-Guided Fuzzing
Daniel Liew, Cristian Cadar, Alastair F. Donaldson, J. Ryan Stinnett
ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE'19)
Floating-Point Symbolic Execution: A Case Study in N-version Programming
Daniel Liew, Daniel Schemmel, Cristian Cadar, Alastair F. Donaldson, Rafael Zähl, Klaus Wehrle
IEEE/ACM International conference on Automated Software Engineering (ASE 2017)
Symbooglix: A Symbolic Execution Engine for Boogie Programs
Daniel Liew, Cristian Cadar, Alastair F. Donaldson
IEEE International Conference on Software Testing, Verification and Validation (ICST'16)
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
26th International Conference on Computer Aided Verification (CAV'14)