Scaling Static Analyses at Facebook
Key lessons for designing static analysis tools deployed to find bugs in hundreds of millions of lines of code.
Manuel Fähndrich
Advertisement
Author Archives
Specification and Verification: The Spec# Experience
Can a programming language really help programmers write better programs?
Shape the Future of Computing
ACM encourages its members to take a direct hand in shaping the future of the association. There are more ways than ever to get involved.
Get Involved