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
      セキュリティのアレ by セキュリティのアレ

      セキュリティのアレ

      1 Listeners

      Rebuild by Tatsuhiko Miyagawa

      Rebuild

      51 Listeners

      バイリンガルニュース (Bilingual News) by Michael & Mami

      バイリンガルニュース (Bilingual News)

      238 Listeners

      backspace.fm by backspace.fm

      backspace.fm

      11 Listeners

      楽しいラジオ「ドングリFM」 by donguri.fm

      楽しいラジオ「ドングリFM」

      4 Listeners

      fukabori.fm by iwashi

      fukabori.fm

      2 Listeners

      EM . FM #EMFM by EM.FM

      EM . FM #EMFM

      0 Listeners

      Off Topic // オフトピック by Off Topic

      Off Topic // オフトピック

      16 Listeners

      ゆる言語学ラジオ by Yuru Gengogaku Radio

      ゆる言語学ラジオ

      49 Listeners

      ひまじんプログラマーの週末エンジニアリングレッスン by ひまじんプログラマー

      ひまじんプログラマーの週末エンジニアリングレッスン

      0 Listeners

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

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

      17 Listeners

      Podcast by Yuka Studio // ユカスタポッドキャスト by Podcast by Yuka Studio

      Podcast by Yuka Studio // ユカスタポッドキャスト

      3 Listeners

      となりのデータ分析屋さん by 佐々木亮とたっちゃん

      となりのデータ分析屋さん

      0 Listeners

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

      耳で学ぶAI、ロボシンク

      0 Listeners

      中島聡のLife is Beautiful by Satoshi Nakajima

      中島聡のLife is Beautiful

      0 Listeners