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.
Writing specializations is generally pretty straight forward,
but there is at least one common pitfall.
When designing specializations,
we need to remind ourselves that type-based specializations are technically guards.