#24 – EMME: A Formal Tool for ECMAScript Memory Model Evaluation
Misreading Chat · Jun Mukai
August 13, 201819m 28s
Audio is streamed directly from the publisher (misreadingchat.files.wordpress.com) as published in their RSS feed. Play Podcasts does not host this file. Rights-holders can request removal through the copyright & takedown page.
Show Notes
JavaScript 用の共有メモリ仕様 SharedArrayBuffer に関するメモリモデルを検証した論文について向井が話します。
- EMME: A Formal Tool for ECMAScript Memory Model Evaluation | SpringerLink
- SharedArrayBuffer – JavaScript | MDN
- Mitigating Spectre with Site Isolation in Chrome
- SharedArrayBuffer and timing attacks (Meltdown and Spectre) · Issue #3 · tc39/security
Follow-up