BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:State of the Infer Platform - Jules Villard (Meta)
DTSTART:20241011T130000Z
DTEND:20241011T134500Z
UID:TALK220360@talks.cam.ac.uk
DESCRIPTION:\nInfer is an open-source static analysis platform that is use
 d to prevent classes of bugs in code at Meta in several languages such as 
 Java\, C++\, or Hack. Every month\, Infer runs on thousands of code change
 s and detects thousands of bugs that are fixed by developers before they r
 each production. Over the years\, Infer has evolved from a standalone anal
 yser based on Separation Logic to a powerful platform for implementing cro
 ss-language interprocedural analyses. Static analysis writers only need to
  provide an intraprocedural analysis that computes the summary for a singl
 e procedure and Infer will transform it into a compositional interprocedur
 al analysis that scales to millions of lines of real code.\nIn this talk\,
  we&rsquo\;ll go through some of the formal methods techniques that are im
 plemented inside Infer such as separation logic\, abstract interpretation\
 , and incorrectness logic\, and how they make it a valuable tool for progr
 ammers.\n
LOCATION:Seminar Room 1\, Newton Institute
END:VEVENT
END:VCALENDAR