2026年8月6日 Facebookは抽象解釈でAndroidを並列化した。その仕組みを解説する。 Facebookがどのように抽象解釈と意図的なunsoundnessを用いて、数百万行のAndroidコードにおける競合状態を大規模に発見したか。 abstract-interpretationconcurrencyandroidrace-conditions
2026年7月7日 race conditionを待つのは最悪のテスト戦略だ model checkingが、concurrency bugを発見するためにアプリを数日間実行することをどう凌駕するか、そして自分のコードにどう応用するか。 model-checkingrace-conditionsconcurrencytesting
