#97: Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3
Misreading Chat · Jun Mukai
August 23, 202235m 25s
Audio is streamed directly from the publisher (misreadingchat.files.wordpress.com) as published in their RSS feed. Play Podcasts does not host this file. Rights-holders can request removal through the copyright & takedown page.
Show Notes
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