2026年8月6日 Facebook用抽象詮釋實現了Android並行化。以下是它的運作原理。 Facebook如何利用抽象詮釋和有意的不完整性，在數百萬行Android程式碼中大規模發現競態條件。 abstract-interpretationconcurrencyandroidrace-conditions
2026年7月7日 乾等 race condition 是最爛的測試策略 model checking 如何在數秒內碾壓你在生產環境跑幾天才能發現 concurrency bug 的做法，以及如何把它用在自己的程式碼上。 model-checkingrace-conditionsconcurrencytesting
