Facebook parallelized Android with abstract interpretation. Here's how it works.
How Facebook used abstract interpretation and intentional unsoundness to find race conditions at scale in millions of lines of Android code.
Facebook's Android app had a performance problem. The UI thread was drowning in work, but moving code to background threads meant race conditions. Crashes in…