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
      Rebuild by Tatsuhiko Miyagawa

      Rebuild

      48 Listeners

      耳で学ぶAI、ロボシンク by 矢野 哲平

      耳で学ぶAI、ロボシンク

      0 Listeners