Primarily interested in compilers, denotational semantics, formal methods, and reverse engineering
I hardly use github (unless I decide to in the future). All of my repositories are available here
vmfail