Impressive stats from Facebook's work on null safety. Infer @artem_pyanykh

(1/2) A paper connecting incorrectness logic and Kleene algebra. To appear in RAMICS'21 www0.cs.ucl.ac.uk/staff/p.ohearn…

Our good friends over at Glean have made their work open source!

Congratulations to our London-based Facebook engineers ddino and Peter O'Hearn for receiving the 2021 IEEE IEEE ComputerSociety Cybersecurity Award for their work on the Infer static analysis tools: facebook.com/26578102350735…

Learn how Infer, a powerful and #opensource static analysis tool, has become a crucial part of the refactoring effort to migrate the whole view hierarchy of the Facebook Lite for #Android to an immutable paradigm: developers.facebook.com/blog/post/2021…

Congrats to the Infer, Zoncolan, and Pysa teams on winning the 2021 IEEE Computer Society Cybersecurity Award! Infer and Pysa are two of the most powerful tools we support on the Sonatype Lift platform and I can attest to their impact outside of FB. engineering.fb.com/2021/10/20/sec…

The 2021 Testing and Verification Symposium is taking place virtually this week. Lots of cool talks and daily virtual tables to share experiences and ask questions. Register and attend for free, first day is tomorrow: fbresearchevents.bevylabs.com/events/details…

We are happy to announce the third Infer Practitioners Workshop, co-located with #PLDI2022🥳 Submit your work on the Infer static analysis platform by April 29th, 2022. Details👇 pldi22.sigplan.org/home/infer-2022

1 month left to the 3rd Infer Workshop at #PLDI2022! 👀We have 6 amazing talks coming up, check them out👇 pldi22.sigplan.org/home/infer-202…

Still seeing zombies after Halloween? Infer# post on the Microsoft Dev Blog highlights Infer's analyses to detect resource leaks and security issues. devblogs.microsoft.com/dotnet/slaying…

You can now rewatch ICFP Conference talks, including our presentation on using Meta's Infer tool for static analysis of WhatsApp server's codebase: youtube.com/watch?v=ZDZtau…

Hot off the press, a new post by our own @artem_pyanykh and Ilya Zorin telling about real-world impact of static analysis for Java null-safety. Read to the end to see some cool stats!

A distinguished paper award for our OOPSLA'22 paper on incorrectness logic analysis came as pleasant news. Congrats in particular to lead author Loc Le for his perseverence after rejection by a previous conference. Infer Derek Dreyer Azalea Raad dl.acm.org/doi/10.1145/35…

Peter O'Hearn Loc Le Infer Derek Dreyer Delighted to have received the SIGPLAN distinguished paper award for our work on Pulse-X. Joint work with Loc Le, Derek Dreyer, Peter O'Hearn, Jules Villard and Josh Berdine Infer.

🏅ACM SIGPLAN Distinguished Paper awarded to the formalisation of Pulse-X, a close cousin of Infer's new memory and value analysis Pulse, in particular its inter-procedural bug reporting criterion. Read on! 2022.splashcon.org/details/splash…

Wordle 537 1/6 🟩🟩🟩🟩🟩

We are happy to announce the fourth Infer Practitioners Workshop, co-located with #PLDI2023🥳 Submit your work on the Infer static analysis platform by April 28th, 2023. Workshop date June 18th. Details👇 pldi23.sigplan.org/home/infer-2023

The workshop is about to go live 9AM eastern time. Join us in person (Magnolia 5), or watch the live stream on YouTube (youtube.com/live/_wPTcXuAW…) and interact on Discord (pldi23.sigplan.org/attending/atte…).