Facebook a parallélisé Android avec l'interprétation abstraite. Voici comment ça marche.
Comment Facebook a utilisé l'interprétation abstraite et l'insoundness intentionnelle pour trouver des race conditions à l'échelle dans des millions de lignes de code Android.
L'application Android de Facebook avait un problème de performance. Le thread UI était noyé sous le travail, mais déplacer du code vers des threads…