Scaling static analyses at Facebook
Dino Distefano, Manuel Fähndrich, Francesco Logozzo, Peter W. O'Hearn[doi] [Google Scholar] [DBLP] [Citeseer] [url]
Communications of the ACM
62(8)
Association for Computing Machinery
New York, NY, USA
Pages 62-70
July 2019
Papers: sadowski:icse:2015, sadowski:cacm:2018
Association for Computing Machinery
New York, NY, USA
Pages 62-70
July 2019
Papers: sadowski:icse:2015, sadowski:cacm:2018