Ankush Desai(@ankushpd) 's Twitter Profileg
Ankush Desai

@ankushpd

Scientist @AWS. Formal methods, systematic testing, fuzzing applied to distributed systems. Creator of P : https://t.co/Xnbk9a6xUw

ID:3520755792

linkhttp://ankushdesai.com calendar_today11-09-2015 00:05:46

565 Tweets

866 Followers

759 Following

Dominik Tornow(@DominikTornow) 's Twitter Profile Photo

Tisan Das Vipul Vaibhaw At AWS re:Invent Ankush Desai gave an enlightening and inspiring presentation that will have you at the edge of your seat 🎓

dtornow225.substack.com/p/issue-47-sys…

account_circle
Marc Brooker(@MarcJBrooker) 's Twitter Profile Photo

Ankush doesn't even touch on one of my favorite outcomes of formal methods: implementations of protocols in languages like P, PlusCal, and TLA+ serve as fantastic, crisp, protocol documentation.

account_circle
Marc Brooker(@MarcJBrooker) 's Twitter Profile Photo

We use formal methods extensively at AWS, including all the tools Ankush talks about here. Every team I've seen adopt formal methods has become faster, bolder, and more efficient.

account_circle
Marc Brooker(@MarcJBrooker) 's Twitter Profile Photo

Formal methods help us move faster, by exploring the design space more boldly, finding optimizations and improvements that are hard to reason about.

Formal methods help us move faster, by exploring the design space more boldly, finding optimizations and improvements that are hard to reason about.
account_circle
Marc Brooker(@MarcJBrooker) 's Twitter Profile Photo

Interested in adopting formal methods, or exploring how they can help you and your team move faster? Check out this talk from Ankush Desai and Bikash Behera from : youtube.com/watch?v=FdXZXn…

account_circle
Ankush Desai(@ankushpd) 's Twitter Profile Photo

Bikash Behera and I will be giving a talk on P at reinvent.

We will discuss how AWS is using P to reason about the correctness of their distributed systems . Bikash will share his experience using P in practice to reason about correctness of customer workloads.

Bikash Behera and I will be giving a talk on P at reinvent. We will discuss how AWS is using P to reason about the correctness of their distributed systems . Bikash will share his experience using P in practice to reason about correctness of customer workloads. #Reinvent #AWS
account_circle
Marc Brooker(@MarcJBrooker) 's Twitter Profile Photo

'The Amazon Time Sync Service now gives you a way to synchronize time within microseconds of UTC on Amazon EC2 instances.... customers can now access local, GPS-disciplined reference clocks on supported EC2 Instances.' aws.amazon.com/about-aws/what…

account_circle
Aastha Mehta(@aasthakm) 's Twitter Profile Photo

I have multiple PhD openings in my group. If you are interested in building systems or security solutions for cloud, datacenter, or serverless applications, apply to UBC CS by December 15: cs.ubc.ca/students/grad/…

account_circle
Manuel Rigger(@RiggerManuel) 's Twitter Profile Photo

Had a very productive week at Schloss Dagstuhl, discussing how we can make database systems more reliable. Thanks to the co-organizers, Hannes M​ühleisen, Danica Porobic, and Alexander Boehm, as well as all the attendees! dagstuhl.de/de/seminars/se…

Had a very productive week at Schloss Dagstuhl, discussing how we can make database systems more reliable. Thanks to the co-organizers, @hfmuehleisen, @danicaporobic, and @calmaryth, as well as all the attendees! dagstuhl.de/de/seminars/se…
account_circle
Ankush Desai(@ankushpd) 's Twitter Profile Photo

Enjoyed our stay at the Dagstuhl castle. Lots of fun collaborations to be started soon for making databases reliable and robust :)

Thanks Umang Mathur, Manuel Rigger and others.

Enjoyed our stay at the Dagstuhl castle. Lots of fun collaborations to be started soon for making databases reliable and robust :) Thanks @mathur_umang, @RiggerManuel and others.
account_circle
Neeraja Yadwadkar(@NeerajaJY) 's Twitter Profile Photo

📢📢📢 Faculty candidates this year: We are hiring at UT Austin (ECE), the Chandra Family Department of Electrical and Computer Engineering. Read for more details: ece.utexas.edu/people/faculty…
I am happy to chat more if you have any specific questions!

account_circle
Aws Albarghouthi 🍉 أوس(@awsTO) 's Twitter Profile Photo

Today the Israeli army entered our town in the West Bank and shot a bunch of people in cold blood, killing Nasser Albarghouthi.

Note that the West Bank has no Hamas.

account_circle
Ankush Desai(@ankushpd) 's Twitter Profile Photo

Attending first Dagstuhl seminar (with my 15 month daughter :)) on “Ensuring the Reliability and Robustness of Database Management Systems”

dagstuhl.de/de/seminars/se…

account_circle
Ankush Desai(@ankushpd) 's Twitter Profile Photo

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…

account_circle
Marc Brooker(@MarcJBrooker) 's Twitter Profile Photo

Extracting specifications from as-built and as-modeled systems is a big deal!

'... message chains reveal enough structure that they can even be used to automatically learn meaningful specifications from only distributed system execution data.'

account_circle
Ankush Desai(@ankushpd) 's Twitter Profile Photo

Message Chains for Distributed System Verification | Proceedings of the ACM on Programming Languages dl.acm.org/doi/10.1145/36…

account_circle
Pavel Tcholakov(@PavelTcholakov) 's Twitter Profile Photo

I've been geeking out on P today – I built a small model of a Durable Promise (👋 Dominik Tornow). Can you spot the problem without running the checker?

github.com/pcholakov/p-pr…

I've used TLA+ before, and this is markedly more approachable! Kudos Ankush Desai, Peasy is slick!

account_circle