Misreading Chat

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

Listen Later

JavaScript 用の共有メモリ仕様 SharedArrayBuffer に関するメモリモデルを検証した論文について向井が話します。感想などはハッシュタグ #misreading か [email protected] にお寄せください。

https://misreading.chat/wp-content/uploads/2018/07/ep24.mp3

  • 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

    • tc39/ecmascript_simd: SIMD numeric type for EcmaScript
    • bashik7 on Twitter: “#misreading wasm回。関数テーブル書き換えられない、みたいな話があった気がするけど、書き換えられるような。https://t.co/kqY9KXidmE”
      • ...more
      View all episodesView all episodes
      Download on the App Store
      Misreading ChatBy Hajime Morrita, Jun Mukai
      • 5
      • 5
      • 5
      • 5
      • 5

      5

      6 ratings

      More shows like Misreading Chat

      View all
      歴史を面白く学ぶコテンラジオ （COTEN RADIO） by COTEN inc.

      歴史を面白く学ぶコテンラジオ （COTEN RADIO）

      241 Listeners

      超相対性理論 by 超相対性理論

      超相対性理論

      17 Listeners

      ゆるコンピュータ科学ラジオ by ゆるコンピュータ科学ラジオ

      ゆるコンピュータ科学ラジオ

      21 Listeners

      リファクタリングとともに生きるラジオ by リファラジ

      リファクタリングとともに生きるラジオ

      0 Listeners

      日本一たのしい哲学ラジオ by 日本一たのしい哲学ラジオ

      日本一たのしい哲学ラジオ

      8 Listeners

      ぽこピーのゆめうつつ by POKOPEA

      ぽこピーのゆめうつつ

      5 Listeners