I am Kevin Zhou, currently a first year phD research student in the Computer Architecture Group supervised by Dr Timothy Jones.

My research objectives and interests are in computer architecture related areas, in particular automatic parallelization.

I received the Benefactors' Scholarship from St John's College, University of Cambridge.

My research on automatic binary parallelisation is also sponsored by ARM Ltd.

Researches


GABP - Guided Automatic Binary Parallelisation

GABP is a proof-of-concept tool that seeks to parallelise applications from binaries without needing their source code. The GABP modifies application binaries as they execute using dynamic binary rewriting engine. To reduce runtime instrumentation overheads, the GABP performs aggressive static analysis on the binary and appends hints along with the binary for runtime modification.

To avoid complicated dependency analysis, GABP also employs thread-level speculation techniques to enforce various dependencies between threads. With the help of speculation, GABP is able to recognise more parallelism from application to achieve better applicability

GABP is source agnostic and it only depends on the underlying ISAs. Currently the tool is being investigated on top of both ARM and x86-64 architectures.

A proof-of-concept model: SGABP

For more details, please check my MPhil disseration.