android

Facebookは抽象解釈でAndroidを並列化した。その仕組みを解説する。

Facebookがどのように抽象解釈と意図的なunsoundnessを用いて、数百万行のAndroidコードにおける競合状態を大規模に発見したか。