Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
This video presentation from the Theory and Practice of Static Analysis workshop (TPSA'25) features David Pichardie from Meta discussing a new technique called Summary Specialization for enhancing Infer's compositional analysis capabilities. Learn how this approach improves the industrial static analyzer's ability to perform interprocedural analysis by relaxing constraints on call site assumptions without requiring a full global analysis. The 18-minute talk explores how Summary Specialization strikes a balance between compositional reasoning and contextual awareness, with experimental evaluation focused specifically on closure resolution. The presentation was delivered at the ACM SIGPLAN-sponsored TPSA workshop on January 21, 2025.
