Associate Professor at @S3DatCMU @SCSatCMU & Research Fellow at @AntithesisHQ.
Pittsburgh, PA
- Tweets 1,828
- Following 540
- Followers 2,724
- Likes 4,174
I'm stoked to author another blog post with @AntithesisHQ !
Distributed Systems + AI + Mutation Testing = Vibes with High Confidence
Bonus: 3 serious rqlite bugs that Fable couldn't even...
Mutation testing is a powerful technique that essentially lets you test your testing. Historically, it's been extremely difficult to mutation test test suites for distributed systems -- we've just solved that with a new Antithesis agent skill that creates deep distributed system bugs, then runs them through our bug zapper for you.
Read on: antithesis.com/blog/2026/mut…
1
4
43
2,382
Rohan Padhye retweeted
Mutation testing is a powerful technique that essentially lets you test your testing. Historically, it's been extremely difficult to mutation test test suites for distributed systems -- we've just solved that with a new Antithesis agent skill that creates deep distributed system bugs, then runs them through our bug zapper for you.
Read on: antithesis.com/blog/2026/mut…
2
7
36
4,975
Everyone quoting this post, so here goes me.
I'm quite excited for AI + formal methods overall.
Folks pointing out that vibe spec'ing is sketchy, but I'm fine if they're made open.
Perhaps we need Application Verification Interfaces (AVIs) for agents to inspect claims.
I used Opus 5.5 to formally verify the Claude Agent SDK using Lean. A couple short prompts = 16 PRs fixing various bugs and race conditions. Video attached.
TLA+ also works well. I sometimes combine Lean and TLA+ to look for issues around data flow, concurrency, and state mgmt.
I don't know either language well, but Claude is excellent at both. This approach is super useful for formally modeling your code and finding bugs that a human probably wouldn't have spotted.
Is formal verification the future of coding (or at least, bug finding)?
3
25
3,153
Another anecdote. We got *invited* to submit an extended version of a Distinguished (conference) Paper from a April 2025 conference, prepared in 2024. Despite the invitation, it is still under review 1.5 years later, and when it eventually gets published it will be 2+ years old.
Journals today may be rather disorganized. We submitted a paper to a top journal in my field (ACM Transactions on Computer Systems or TOCS) in Jan 27. 8 months passed and it is still "under review." No ETA or any information.
Fortunately, @tylergu_jiawei has graduated with a great PhD thesis so the unresponsiveness doesn't matter.
I don't want to overly generalize it. But, if students need pubs to convince committees, find a more responsive journal or be aware of the risk.
3
2
14
2,346
Rohan Padhye retweeted
many people seem to be upset by >50k submissions to ICLR. i think we should celebrate it! more people are doing AI (including AI safety) research - isn't it amazing?
as for how to navigate the growing amount of papers, luckily, Larry Wasserman formulated a solution back in 2012!
26
42
362
56,348
Rohan Padhye retweeted
This pains me @sigsoft : but it may be time to revert to de-anonymized review. I want to know who's throwing all these papers with AI-written, incomprehensible thickets of words at us.
I've got half a mind to decline to review for conferences that don't de-anonymize authors
2
11
1,293
Rohan Padhye retweeted
TMLR has faced a deluge of submissions, necessitating stricter desk rejection policies due to limited reviewer capacity
Co-EiC Nihar Shah reached out to authors of 10 papers slated for desk reject. Could they answer questions about their *own* submission?
medium.com/@TmlrOrg/asking-a…
27
216
1,065
701,080
I've gotten into several debates about SE conferences and peer review recently, so I decided to pen down my thoughts. Feedback or rage welcome.
Article: rohan.padhye.org/posts/peer-…
(Graphic is AI-generated)
7
5
40
3,275
💯 - The SE conference experience (attending, reviewing, authoring) has gone totally downhill and my lab is aligning more with PL and Systems these days.
I'm at an SE event and from what I can tell, SE culture is really broken. It makes me double-down on wanting to preserve what the PL community does.
6
1
20
8,401
Rohan Padhye retweeted
Super excited to share "A Design Space Exploration of Async/Await". How differently does async/await behave across today's languages? (More than you might expect!) And what *is* "structured concurrency"? Check out our ~interactive~ blog post on the paper:
cel.cs.brown.edu/blog/design…
22
100
538
34,074
Rohan Padhye retweeted
Yeah. This is a super interesting direction! We presented something similar at ICSE'26, but we remove the harness/generator entirely and just generate a configuration of and interaction with a running system that we can amplify using in-vivo fuzzing:
mpi-softsec.github.io/papers…
1
1
8
542
I'm confoundedly annoyed that our paper showing coverage-guided fuzzing is obsoleted (arxiv.org/pdf/2604.01442) was accepted to ASE'26.
We had to change the title for anonymity, but can't change it back after acceptance! Perhaps my legal name should become "Anonymous Author" too.
4
8
84
10,853
Excited to co-author my first blog post at @AntithesisHQ!
Raft may be a formally verified protocol, but that does not mean implementations guarantee consensus.
See how we break Raft libraries with simple automated testing...
7
54
8,278
Rohan Padhye retweeted
We've been testing Raft implementations, and have found bugs in every implementation we've tested. Here's an in-depth report on one set of issues.
1
13
31
2,609
Effective today, I've been promoted to Associate Professor at CMU. Thanks to my amazing students, colleagues, and peers for the support!
Now time for a sabbatical :-)
I'm incredibly excited to have joined @AntithesisHQ at the absolute forefront of autonomous software testing!!
23
3
159
10,125
Btw, if you are out of the loop, check out the snazzy new website at antithesis.com and see for yourself why it's the cat's pajamas.
3
505
My subconcious is officially a professor! I slept badly last night and realized that the classic "unprepared/late for class" dream was not about taking an exam anymore but rather showing up to class not knowing what to teach!
3
45
2,537
Ooh, front page.
I was reading the Raft paper over the weekend while also teaching my toddler the card game Spot It! (a.k.a. Dobble). Turns out the math behind the simple game is really cool, and led me to write this post:
padhye.org/raft-minority/
ALT Hacker News front page showing "Raft Consensus with a Minority of Nodes" at position 6 with 71 points.
1
4
45
2,442