Hopl II: https://dl.acm.org/doi/proceedings/10.1145/154766
Hopl III: https://dl.acm.org/doi/10.1145/1238844.1411838 (use next button on the left to proceed)
Lots of absolutely fascinating stuff in there.