2026년 8월 6일 Facebook은 abstract interpretation으로 Android를 병렬화했다. 작동 방식은 다음과 같다. Facebook이 어떻게 abstract interpretation과 의도적인 unsoundness를 사용하여 수백만 줄의 Android 코드에서 race condition을 대규모로 발견했는가. abstract-interpretationconcurrencyandroidrace-conditions
