Scaling Static Analyses at Facebook

Dino Distefano is a research scientist at Facebook, London, U.K., and a professor of computer science at Queen Mary University of London, U.K. Manuel Fähndrich is a software engineer at Facebook Research, Seattle, WA, USA. Francesco Logozzo is a software engineer at Facebook Research, Seattle, WA, USA. Peter W. O'Hearn is a research scientist at Facebook, London, U.K. and a professor of computer science at University College London, U.K.