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…

!! 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…

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-… 🔍🐞👩‍💻