🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

Excited to share our collaborative paper on mutation testing for smart contracts. Co-authored with Yliès Falcone, Chandrakana Nandi, @ben_kushigian, this study explores how mutation testing enhances test suites. Findings reveal critical gaps and strategies to improve efficiency. ⬇️

Join us on Thursday at 9am PT for the first EGRAPHS Community Meeting! egraphs.org/meeting/ For the first meeting, I'll be giving an overview of e-graphs, recent developments, and exciting open directions. Don't know much about e-graphs? This is a great starting point!

The EGRAPHS Community is full steam ahead! Check out the upcoming events/talks: - 3/21: Lightning talks from the community - 4/5: Deadline to submit to EGRAPHS Workshop PLDI! Only 2-6pgs! - 5/16: Andy Reynolds on equality reasoning in CVC5 All links at egraphs.org!

Great video on mutation testing with Gambit Owen | Guardian! View the repo with some more examples here: github.com/Certora/gambit

ICFP'24 Call for Tutorials is now available: icfp24.sigplan.org/track/icfp-202…

What are folks doing with e-graphs? Check out the lightning talks at this EGRAPHS Community Meeting on Thursday 3/21 at 9am PT! egraphs.org/meeting/ Featuring some core advances as well as applications in Python and Julia! PS: EGRAPHS workshop submissions due April 5!

Next week at the EGRAPHS Community meeting we are very fortunate to have Andrew Reynolds tell us about "Equality Reasoning in CVC5"! Be sure to tune in Thursday, 5/16 at 9am PT on Zoom! egraphs.org/meeting/2024-0…

Its happening vitalik.eth PropertyGPT claims $8,256 in Code4rena contests arxiv.org/pdf/2405.02580

Check out the program for the EGRAPHS Workshop at PLDI ! Looking forward to seeing folks there! pldi24.sigplan.org/home/egraphs-2…

We're bringing the receipts🧾 Get ready for an epic dive into formal verification vs fuzzing EthCC - Ethereum Community Conference!

1/ I am excited to talk this Monday at EthCC - Ethereum Community Conference security about how lending protocols, including Aave, Morpho 🦋, Silo Labs, and Euler Labs are securing their code via formal verification. Do you know what is the most critical security property of a lending protocol?

Very excited about Certora getting WASM, and specifically Stellar, supported in their formal verification toolstack. certora.com/blog/formally-…

Excited to present our work on verifying Ethereum bytecode next week at OOPSLA 2024! See you there :)

Just received our copies of the hardcover edition. They feel light, are easy to read, and look great! Really excited to see these shipping out to pre-orders soon.

Highlight 1: "egg: Fast and extensible equality saturation" by Max Willsey, Chandrakana Nandi, Remy Wang, Oliver Flatt, Pavel Panchekha, and Zachary Tatlock POPL'21

🎤 Arie Gurfinkel will be on stage with "No More Blindspots: Securing Solana Protocols with Formal Verification." 🛡️ If you're curious how Jito, Squads, and Manifest keep their code secure, this talk’s for you. x.com/SolanaCrossroa…

The results of the $20,000 Formal Verification component of the Blend V2 competitive audit are in! Big shoutout to everyone who participated, and a huge congrats to alexzoid for securing first place in the first-ever formal verification contest in the Stellar ecosystem!

I am delighted to tell you that after 7 years as a CEO, I have finally persuaded Seth Hallem, the original CEO and co-founder of Coverity, to lead Certora in securing the DeFi ecosystem across Web3.