くりらじ静岡局から、技術屋目線で技術情報を追いかける番組をお届けします。
…
continue reading
Treść dostarczona przez Hajime Morrita , Jun Mukai. Cała zawartość podcastów, w tym odcinki, grafika i opisy podcastów, jest przesyłana i udostępniana bezpośrednio przez Hajime Morrita , Jun Mukai lub jego partnera na platformie podcastów. Jeśli uważasz, że ktoś wykorzystuje Twoje dzieło chronione prawem autorskim bez Twojej zgody, możesz postępować zgodnie z procedurą opisaną tutaj https://pl.player.fm/legal.
Player FM - aplikacja do podcastów
Przejdź do trybu offline z Player FM !
Przejdź do trybu offline z Player FM !
#97: Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3
MP3•Źródło odcinka
Manage episode 338678711 series 2151064
Treść dostarczona przez Hajime Morrita , Jun Mukai. Cała zawartość podcastów, w tym odcinki, grafika i opisy podcastów, jest przesyłana i udostępniana bezpośrednio przez Hajime Morrita , Jun Mukai lub jego partnera na platformie podcastów. Jeśli uważasz, że ktoś wykorzystuje Twoje dzieło chronione prawem autorskim bez Twojej zgody, możesz postępować zgodnie z procedurą opisaną tutaj https://pl.player.fm/legal.
AWS の中の人が Rust の力で TLA+ に対抗する話を向井が読みました。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。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
138 odcinków
MP3•Źródło odcinka
Manage episode 338678711 series 2151064
Treść dostarczona przez Hajime Morrita , Jun Mukai. Cała zawartość podcastów, w tym odcinki, grafika i opisy podcastów, jest przesyłana i udostępniana bezpośrednio przez Hajime Morrita , Jun Mukai lub jego partnera na platformie podcastów. Jeśli uważasz, że ktoś wykorzystuje Twoje dzieło chronione prawem autorskim bez Twojej zgody, możesz postępować zgodnie z procedurą opisaną tutaj https://pl.player.fm/legal.
AWS の中の人が Rust の力で TLA+ に対抗する話を向井が読みました。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。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
138 odcinków
Wszystkie odcinki
×Zapraszamy w Player FM
Odtwarzacz FM skanuje sieć w poszukiwaniu wysokiej jakości podcastów, abyś mógł się nią cieszyć już teraz. To najlepsza aplikacja do podcastów, działająca na Androidzie, iPhonie i Internecie. Zarejestruj się, aby zsynchronizować subskrypcje na różnych urządzeniach.