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.
Debugging concurrent systems is pretty hard,
and we worked already for a while to make things a
However, a big remaining problem is that bugs are not easily reproduced.