Facebook Infer links

Scaling Static Analyses at Facebook https://cacm.acm.org/magazines/2019/8/238344-scaling-static-analyses-at-facebook/fulltext

F8 2019: Facebook: Getting Started with Infer: Find and Fix Bugs in Your Code https://www.youtube.com/watch?v=axh3J0YUu3s

Facebook Infer: Advanced Static Analysis at Speed and Scale - Facebook - DevTools@Scale2017 https://www.youtube.com/watch?v=gZ3dA4QD8jk

Separation Logic https://cacm.acm.org/magazines/2019/2/234356-separation-logic/fulltext

POPL 2019 Most Influential Paper Award for research that led to Facebook Infer https://research.fb.com/popl-2019-most-influential-paper-award-for-research-that-led-to-facebook-infer/