6 авг. 2026 г. Facebook распараллелил Android с помощью abstract interpretation. Вот как это работает. Как Facebook использовал abstract interpretation и намеренную unsoundness для поиска race conditions в масштабе миллионов строк Android-кода. abstract-interpretationconcurrencyandroidrace-conditions
7 июл. 2026 г. Ожидание race conditions — ужасная стратегия тестирования Почему model checking превосходит дни продакшен-рантайма в поиске concurrency-багов и как применить его к собственному коду. model-checkingrace-conditionsconcurrencytesting
