android

Facebook用抽象詮釋實現了Android並行化。以下是它的運作原理。

Facebook如何利用抽象詮釋和有意的不完整性，在數百萬行Android程式碼中大規模發現競態條件。