Facebook parallelisierte Android mit Abstract Interpretation. So funktioniert es.
Wie Facebook abstract interpretation und intentionale Unsoundness nutzte, um Race Conditions in Millionen Zeilen Android-Code im großen Maßstab zu finden.
Facebooks Android-App hatte ein Performance-Problem. Der UI-Thread ertrank in Arbeit, aber Code auf Background-Threads zu verschieben bedeutete Race…