skip to content
Prof. Adolfo Neto (DAINF-UTFPR)
User Tools
Log In
Site Tools
Search
Tools
Show pagesource
Old revisions
Backlinks
Recent Changes
Media Manager
Sitemap
Log In
>
Recent Changes
Media Manager
Sitemap
Trace:
•
facebook_infer_links
2019:facebook_infer_links
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/
2019/facebook_infer_links.txt
· Last modified: 2020/11/19 08:42 (external edit)
Page Tools
Show pagesource
Old revisions
Backlinks
Back to top