🔥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

Curious about automated reasoning - The next episode of the Curiosity series where we dive into Automated Reasoning and Formal Verification with Byron Cook allthingsdistributed.com/2022/03/curiou… - #aws #allthingsdistributed

A new world-class institution is born today: insait.ai

model-checking.github.io/kani-verifier-…

github.com/aws/aws-encryp…

Multiple jobs, multiple locations: amazon.jobs/en/jobs/209465…

New post on the Kani blog! This time, we apply Kani to an example from Firecracker, an open source virtualization project for serverless applications 🦀🔍🔥 model-checking.github.io/kani-verifier-…

amazon.science/research-award…

Thanks to dopya I got hold of some plots of the SAT competition. While the main track deteriorated to a Kissat hack track (the plot only shows top ten solvers all with Kissat genes), but we saw substantial improvement for parallel/cloud solvers SAT Conference

Watch my CAV 2022 Keynote, "A Billion SMT Queries a Day" youtu.be/zT8E4kMY4cM FLoC2022 AWS Identity

Great talk from Neha who runs our AWS Identity Automated Reasoning team

amazon.science/blog/automated…

I'm one week in as an applied scientist at Amazon Web Services. Automated reasoning for cryptography and systems already... This is going to be fun!

As FLoC2022 begins its second week, Amazon automated-reasoning leaders Byron Cook, Daniel Kroening & Marijn Heule discuss decomposing complex problems into instances of SAT, integrating formal methods into software development, cloud-based SAT solvers, and more. #FLoC2022

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!

amazon.science/blog/a-billion…

Amazon researchers and engineers gathered for the annual Amazon Formal Reasoning Enthusiasts (FReE) workshop to discuss formal methods tools that improve quality of Amazon software and customer experience. 🙌

dafny.org/blog/2023/03/0…

mitpress.mit.edu/9780262546232/…

I gave a talk at Univ. of Washington last week that I'm pretty happy with. youtube.com/watch?v=zoE3Dq…