personal and research notes
I am working at the School of Computing
at the University of Kent.
My work focuses on programming language implementation techniques
and concurrent and parallel programming.
In my dissertation,
I proposed an ownership-based metaobject protocol
as a unifying substrate for concurrency support in multi-language VMs.
Currently, I am working on combining concurrency models in a safe manner
and to enable developers to make sense of complex concurrent programs
with appropriate tools.
When we have to debug applications that use concurrency,
perhaps written in Java,
all we get from the debugger is a list of threads,
perhaps some information about held locks,
and the ability to step through each thread separately.