Automating Memory Model Metatheory with Intersections. - Aristotelis Koutsouridis; Michalis Kokologiannakis; Viktor Vafeiadis (CONCUR, 2024)