Have a look at https://dl.acm.org/doi/10.1145/1238844.1238853?dl=GUIDE&WantType=Proceedings&coll=GUIDE&part=series&CFTOKEN=60061704&title=HOPL&type=series&idx=S

Have a look at https://dl.acm.org/doi/10.1145/1238844.1238853?dl=GUIDE&WantType=Proceedings&coll=GUIDE&part=series&CFTOKEN=60061704&title=HOPL&type=series&idx=SERIES003&CFID=32568898 https://dl.acm.org/doi/10.1145/1238844.1238853?dl=GUIDE&Want... There is also a lecture video in the Supplemental Material section.