Daniel Liew

According to our database, Daniel Liew authored at least 5 papers between 2014 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Just fuzz it: solving floating-point constraints using coverage-guided fuzzing.

Daniel Liew, Cristian Cadar, Alastair F. Donaldson, J. Ryan Stinnett

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

2017

Symbolic execution of verification languages and floating-point code.

Daniel Liew

PhD thesis, 2017

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

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

2016

Symbooglix: A Symbolic Execution Engine for Boogie Programs.

Daniel Liew, Cristian Cadar, Alastair F. Donaldson

Proceedings of the 2016 IEEE International Conference on Software Testing, 2016

2014

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

Proceedings of the Computer Aided Verification - 26th International Conference, 2014