android

Facebook paralelizó Android con interpretación abstracta. Así es como funciona.

Cómo Facebook usó interpretación abstracta y unsoundness intencional para encontrar condiciones de carrera a escala en millones de líneas de código Android.