Ankush Desai
@ankushpd
Followers
1K
Following
2K
Statuses
608
Principal Scientist @AWS. Formal methods, systematic testing, fuzzing applied to distributed systems. Creator of P : https://t.co/Xnbk9a6xUw
San Jose, CA
Joined September 2015
We do not stress enough about the importance of "process of formal methods", it has always been about the end goal of proof. But the process in itself is incredibly valuable.
I love @ankushpd's point about how thinking formally has value of its own, and how domain-specific languages like P help with that process. You get value from formal methods before you even start model checking!
2
11
67
One of the key challenges that we mention is that basic ideas like deterministic simulation, property based testing, and global invariants are not known to entry level developers. It would be great to include these concepts in undergraduate curriculum as a prerequisite when studying or building distributed systems.
In this month's ACM Queue, @ankushpd and I write about some of the methods and tools we apply to systems correctness at AWS: from testing, to simulation, to fault injection, to formal proofs.
2
5
40
I am honored to have gotten the opportunity to write an ACM Queue article with @MarcJBrooker . In this article, We survey different approaches used at AWS for reasoning about systems correctness. Please check out the article here:
In this month's ACM Queue, @ankushpd and I write about some of the methods and tools we apply to systems correctness at AWS: from testing, to simulation, to fault injection, to formal proofs.
0
9
49
RT @MarcJBrooker: In this month's ACM Queue, @ankushpd and I write about some of the methods and tools we apply to systems correctness at A…
0
48
0
RT @AntithesisHQ: BugBash keeps getting better. Ever heard of a little company called @stripe? Well, we're happy to announce our next Bug…
0
8
0
RT @nikunjbjj: TrueFoundry has been recognized as an Emerging Leader in the Emerging Market Quadrant for GenAI Engineering. What an exciti…
0
7
0
RT @gabe_guerra_: What does it take to build reliable software? Come found out at what promises to be the vibiest tech conference in 2025.…
0
6
0
Software reliability is crucial and hard for distributed systems. Looking forward to BugBash 2025 and talking about how formal methods can help!
Today we announce a brand new conference for software reliability. 200 seats. 10 featured speakers. 6 lightning talks. 5 panelists. 2 days. 1 masterclass. All during DC's cherry blossoms. We call it BugBash.
0
3
21
Really looking forward to speaking at BugBash 2025. Antithesis is doing cool stuff in the space of testing distributed systems. Super excited to talk about how formal methods can add rigor to this space. Please come and join us!
Today we announce a brand new conference for software reliability. 200 seats. 10 featured speakers. 6 lightning talks. 5 panelists. 2 days. 1 masterclass. All during DC's cherry blossoms. We call it BugBash.
1
3
14
RT @MarcJBrooker: My second re:Invent talk is up! In this talk, I dive into the internals of thew new Aurora DSQL, looking at how we achiev…
0
21
0
Amazon Aurora DSQL is an engineering success story, combining several distributed systems innovations, this is one database product people will talk about a lot in the long run ...
Super excited to have Amazon Aurora DSQL out in the world. Its our new serverless, Postgres-compatible, multi-region active-active, horizontally-scalable SQL database.
0
0
5
Another killer blow! Amazon Nova ........ its time to lead from the front in Foundation Models.
0
0
1
Aurora DSQL announced, this is the one of the most exciting this re:invent. It is going to be game changing.
0
1
9
Super exciting to see all the investment from AWS in AI compute. Trainium2 is killing it!
1
0
3
Is DuoAI (OSDI 22) the latest on learning invariants for distributed systems? Did I miss a more recent paper?
1
0
14
@vwuestholz This is very interesting read. Do you know if this is part of the current Dafny release?
1
0
1