🔥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

Congrats Ranjit Jhala,this a big deal and you deserve all of it.

Give this a whirl! aws.amazon.com/blogs/aws/new-… 🔍🐞👩‍💻

Happy 10th Birthday, DynamoDB! 🎉🎂🎁 aws.amazon.com/blogs/aws/happ…

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

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

We look forward to your 1-2 page talk proposals for TLA+ conference (by July 1st). TLA+ conference will be in person (Sept 22) in conjuction with Strange Loop (Sept 23-24) conf.tlapl.us thestrangeloop.com

From #BattleBots to satellites, the Amazon re:MARS conference lineup showcases futuristic innovations that are actually being delivered today. forbes.com/sites/patrickm…

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

The schedule for #tlaplus conf has been published. Please spread far and wide: conf.tlapl.us/2022/ /cc Strange Loop Conf #pluscal

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

amazon.science/blog/automated…

amazon.science/blog/a-billion…

I am speaking at Strange Loop Conf StrangeLoop this year! Formal Modeling and Analysis of Distributed Systems using P: github.com/p-org/P.

Learn more about Amazon Verified Permissions aws.amazon.com/blogs/security… #Reinvent22

P shows up on the front page of hacker news: news.ycombinator.com/item?id=342739…

ChatGPT and Paxos

Great opportunity for PhD students!! At Database Systems Lab in AWS, we are working on a wide range of efforts towards ensuring correctness of distributed systems by integrating formal methods in all the stages of development process. Feel free to DM me or Ankush Desai

!! New release in the P ecosystem !! Peasy: An Easy-to-Use Development Environment for P. p-org.github.io/peasy-ide-vsco… Peasy makes application of P to specify and validate distributed systems, easy-peasy!

There is an awesome tutorials on formal methods at SOSP 2023 (on the P framework). If you are at SOSP please do attend!! p-org.github.io/p-tutorials-so…

Super excited to be part of the organizing team of OPLSS 2024 at Boston University! I still remember getting inspired from attending it almost 10 years ago!! Please RT and encourage students to register. Registration deadline: March 30. Details: cs.uoregon.edu/research/summe…