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…

Apropos to our conversation yesterday Gene Kim

Couldn't agree more!

CAV'22 award goes to predicate abstraction: Construction of abstract state graphs with PVS. S Graf, H Saïdi CAV 97, 72-83, 1997. Susanne receiving the award FLoC2022 from Orna (CAV'97 chair here in Haifa). Very much deserved! Congratulations!

#DOES22: Stephen (Vice President, Product Innovation, Sonatype) will bring you "Perception vs Reality: A Data-Driven Look at Open Source Risk Management.” itrev.io/3RkkdOS Gene Kim

Only 2⃣ days left until @Sonatype's Stephen takes the stage at #DOES22 to reveal key findings from the 8th Annual State of the Software Supply Chain Report 🥳

Just got back from an amazing Beetlejuice themed Halloween party. Now I’m wondering why there aren’t more (any?) calypso-themed TikTok dances. Someone make it happen!

Getting ready for my #AllDayDevOps talk. Come hear about the latest State of the Software Supply Chain Report at 9:30 Eastern!

In honor of our 8th Annual State of the Software Supply Chain Report, Wicked Good Development with @kadigrigg is releasing bite-sized episodes covering key takeaways.💡 Get the latest featuring Ilkka Terho, Stephen, Brian Fox @[email protected] and Tara Flynn Condon 👻 bit.ly/3tJqFFw

It was super fun to speak with Carolyn Ford at Tech Transforms Podcast about open source and software supply chain security!

Dr. @StephenMagill’s DevOps Enterprise Summit talk will present an overview of what’s coming and how to prepare your business for the new era of software liability. Learn more and register here for #DOES23: itrev.io/41y0Xn0

Great video and I can confirm: that is totally how it feels to work at Galois!

Congrats, Michael Edenzon! Gene Kim: Makes me think of all the @ITRevDOES audit sessions and the "Love Letter to Auditors". Leveraging automation to improve compliance!

Super excited to be speaking at #DOES23 today about the latest Sonatype software supply chain report! Come hear about the two major themes of this year’s report: open source innovation and how to give developers the time they need to harness it!

I’m still thinking about dr. nicole forsgren’s talk at #DOES23 yesterday. I was honored to get a shout out too 😉. Go check it out when it hits the @ITRevDOES video library - DevEx should be a priority for every organization.

Great talk by Michael Edenzon from fianu.io at #DOES23 on building software with AI. Didn’t expect a detour into building architecture but I’m loving it!

Byron has done a great job developing formal methods into a high-impact part of Amazon’s approach to engineering. It’s super interesting to hear the story behind why this has worked so well.

🤔 Prompt injection is social engineering of AI

I'm really excited to be speaking alongside Suzette Johnson and Robin at an event hosted by Carahsoft and Sonatype next week. I'll be talking about SBOMs - generating them, analyzing them, and sharing them. pbynd.cc/wn73f