David White

Manager - Peanuts Education (after-school education institute), Taiwan

Researcher - Computer Science

Teacher - Computer Science and English

Curriculum vitae


Current Research

My current research concerns the development of techniques to automatically learn the dynamic data structure behaviour in a program by analysing traces of its execution. For example, when considering a program that employs a linked list to implement a queue, we would like to automatically learn information such as the shape of the data structure (singly linked list), its behaviour (only operations consistent with a queue are permitted) and any relevant additional information (such as whether the list is implemented using a header node). The information determined from such an analysis will be used to inform formal verification, understand legacy code and aid in reverse engineering. More details about our current reserach in this field can be found here.

Keywords: program comprehension, dynamic analysis, pointer programs, machine learning, pattern recognition

Academic Publications

Thesis and Projects

Grants and Scholarships

Archived Research