Michalis Kokologiannakis, Ori Lahav, Viktor Vafeiadis. Kater: Automating Weak Memory Model Metatheory and Consistency Checking. Proceedings of the ACM on Programming Languages, 7(POPL):544-572, January 2023. [doi]
No references recorded for this publication.
No citations of this publication recorded.