Misreading Chat

#97: Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3


Listen Later

AWS の中の人が Rust の力で TLA+ に対抗する話を向井が読みました。感想などはハッシュタグ #misreading か [email protected] にお寄せください。iTunes のレビューや星も歓迎です。

  • Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3 | Proceedings of the ACM SIGOPS 28th Symposium on Operating Systems Principles
  • Prusti – Programming Methodology Group | ETH Zurich
  • tokio-rs/loom: Concurrency permutation testing tool for Rust.
  • awslabs/shuttle: Shuttle is a library for testing concurrent Rust code
  • ...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)

    243 Listeners

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

    超相対性理論

    17 Listeners

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

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

    21 Listeners

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

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

    0 Listeners

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

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

    10 Listeners

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

    ぽこピーのゆめうつつ

    5 Listeners