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 (CAV, 2014)

Symbooglix: A Symbolic Execution Engine for Boogie Programs. - Daniel Liew; Cristian Cadar; Alastair F. Donaldson (ICST, 2016)

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 (ASE, 2017)

Symbolic execution of verification languages and floating-point code. - Daniel Liew (2017)

Just fuzz it: solving floating-point constraints using coverage-guided fuzzing. - Daniel Liew; Cristian Cadar; Alastair F. Donaldson; J. Ryan Stinnett (ESEC/SIGSOFT FSE, 2019)