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

JavaScript 用の共有メモリ仕様 SharedArrayBuffer (https://github.com/tc39/ecmascript_sh...) に関するメモリモデルを検証した論文について向井 (  / jmuk  ) が話します。感想などはハッシュタグ #misreading (https://twitter.com/search?q=%23misre...) か [email protected] (mailto:[email protected]) にお寄せください。



https://misreading.chat/wp-content/up...




• EMME: A Formal Tool for ECMAScript Memory Model Evaluation | SpringerLink (https://link.springer.com/chapter/10....)


• SharedArrayBuffer – JavaScript | MDN (https://developer.mozilla.org/en-US/d...)


• Mitigating Spectre with Site Isolation in Chrome (https://security.googleblog.com/2018/...)


• SharedArrayBuffer and timing attacks (Meltdown and Spectre) · Issue #3 · tc39/security (https://github.com/tc39/security/issu...)




Follow-up




• tc39/ecmascript_simd: SIMD numeric type for EcmaScript (https://github.com/tc39/ecmascript_simd)


• bashik7 on Twitter: “#misreading wasm回。関数テーブル書き換えられない、みたいな話があった気がするけど、書き換えられるような。https://t.co/kqY9KXidmE” (  / 1024452067623022593  )