2026年8月6日 Facebook用抽象诠释实现了Android并行化。以下是它的工作原理。 Facebook如何利用抽象诠释和有意的不完整性，在数百万行Android代码中大规模发现竞态条件。 abstract-interpretationconcurrencyandroidrace-conditions
2026年7月7日 干等 race condition 是最烂的测试策略 model checking 如何在数秒内碾压你在生产环境跑几天才能发现 concurrency bug 的做法，以及如何把它用在自己的代码上。 model-checkingrace-conditionsconcurrencytesting
