Monadic Interpreters for Concurrent Memory Models: Executable Semantics of a Concurrent Subset of LLVM IR.

Nicolas Chappe, Ludovic Henrio, Yannick Zakowski

Browse the full CPP paper archive.