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

ChatGPT and Paxos

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

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

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

amazon.science/blog/a-billion…

amazon.science/blog/automated…

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

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

/cc Strange Loop Conf

#pluscal

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

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

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

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

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

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

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

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

Automated reasoning's scientific frontiers - great article by Byron Cook on Amazon Science amazon.science/blog/automated…