#24 – EMME: A Formal Tool for ECMAScript Memory Model Evaluation

JavaScript 用の共有メモリ仕様 SharedArrayBuffer に関するメモリモデルを検証した論文について向井が話します。