I am a compiler engineer at Runtime Verification, where I work on developing the K Framework, as well as formally verified language implementations in K.
Previously, I completed a PhD at the University of Edinburgh, supervised by Professor Michael O'Boyle. My primary research goal was to improve the integration of heterogenous accelerators and user code, giving compilers new techniques for optimising performance-sensitive workloads. My research focused on two-phase type-directed program synthesis as a way of learning the behaviour of black-box interfaces.
In my free time I play rugby at Lismore RFC.
You can email me at moc.noitacifirevemitnur@eilloc.ecurb, or tweet me at @__inshorts. All my code is on Github.