Kater: Automating Weak Memory Model Metatheory and Consistency Checking скачать в хорошем качестве

Kater: Automating Weak Memory Model Metatheory and Consistency Checking

The metatheory of axiomatic weak memory models covers questions like the correctness of compilation mappings from one model to another and the correctness of local program transformations according to a given model---topics usually requiring lengthy human investigation. We show that these questions can be solved by answering a more basic question: "Given two memory models, is one weaker than the other?" Moreover, for a wide class of axiomatic memory models, we show that this basic question can be reduced to a language inclusion problem between regular languages, and is thus decidable. Speaker: Michalis Kokologiannakis, MPI-SWS Meetup Group: https://www.meetup.com/programming-la...