Team behind Infer wins POPL 2019 Most Influential Paper Award

This post announces that the team behind Infer, Meta's static program analyzer, won the POPL 2019 Most Influential Paper Award for their work on "Compositional Shape Analysis by Means of Bi-abduction." It highlights Infer's use in scanning source code to detect bugs before shipping, its sophisticated interprocedural and interfile analysis at scale, and its ability to detect subtle bugs. The post also mentions the introduction of AL, a declarative language for designing new checkers, and Infer's expansion to detect concurrency bugs and apply to multithreaded rendering. Both Infer and AL have been open-sourced and are in use at other companies.