Associate Professor at @S3DatCMU @SCSatCMU & Research Fellow at @AntithesisHQ. PhD from @Berkeley_EECS.
Joined September 2018
- Tweets 1,785
- Following 536
- Followers 2,655
- Likes 4,088
226 Photos and videos
May 29
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
44
2,340
May 29
(thankfully, the resolution was that I could just find some unrelated topic to talk about for 2 hours)
6
570
May 27
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
43
2,249
May 19
My first two PhD students defended their theses this week. Congratulations to Dr. @vasumvikram and Dr. @aoli_al for completing fantastic dissertations on various aspects of automated testing including fuzzing, property-based testing, and concurrency. Very proud of you both!
2
1
49
2,684
Rohan Padhye retweeted
Apr 27
🤵 Keynote #2 at #FUZZING'26 is online
Where the Fuzz Are We Going?
by Sergej Dechand (@CI_Fuzz).
youtube.com/watch?v=yp-AKW36…
2
19
53
9,051
Rohan Padhye retweeted
Apr 27
🔥 Keynote #1 at #FUZZING'26 is online
Advancing from "What the fuzz?" to "All the Fuzz"
by Mathias Payer (@gannimo).
youtube.com/watch?v=In3kRAVV…
1
12
56
6,586
Apr 21
On the flip side, it forced me to learn to use Verus, and Claude helped prove most of the dang thing in a few hours (after I hand-wrote the specs). Exciting times.
Apr 20
Achievement unlocked: Finally got a paper rejected for *only* validating our proposed algorithm by differential fuzzing against a reference oracle, but not formally proving correctness / verifying equivalence.
1
1
23
2,283
Apr 20
Achievement unlocked: Finally got a paper rejected for *only* validating our proposed algorithm by differential fuzzing against a reference oracle, but not formally proving correctness / verifying equivalence.
1
23
4,317
Apr 15
PL educators: when should we introduce Rust to students? Asking for a colleague with a teenage kid who knows a bit of Python (and maybe Racket?). Is it important to learn something like C/C /Java to understand static typing, memory layouts, etc. first or just dive in to Rust?
18
1
35
4,415
Apr 15
(And no, I am not interested in "doesn't matter because AI" for the same reason I'm not discouraging my toddler to learn to count beyond 16)
16
434
Apr 6
Incredibly proud of my (first solo-advised) PhD student @vasumvikram, who joins @AnthropicAI this week in the evals team.
Vasu's PhD research uncovered various nuances of generator-based fuzzing, including the finding that coverage guidance is largely unnecessary in the AI age.
10
25
611
47,428
Mar 30
"What is test coverage in distributed systems?"
I'm excited to be discussing this at BugBash this year: a really neat conference about software reliability organized by @AntithesisHQ in DC.
Check out the speaker list and get your tickets at bugbash.antithesis.com!
1
27
1,655
Rohan Padhye retweeted
Feb 25
On this week's episode of the BugBash podcast, @rocallahan tells the story of how the rr debugger came into being, enabling time-travel debugging on Firefox.
No giveaway this week, rr was enough of a gift to devs everywhere. If you've ever used GDB, rr, PyTrace, or one of their many cousins, you'll want to give this one a listen!
1
2
12
1,191
Feb 19
My students wrote a blog post (pastalab.org/spaghetti-bench…) on this problem showing where AI agents struggle with concurrency, using examples such as WorkStealQueue and Kafka's DefaultStateUpdater.
Feedback is welcome!
ALT Blog post titled "Spaghetti Bench: Evaluating AI Agents on Concurrency Bug Fixes" Summary: AI agents are not as successful at fixing race-condition bugs as with conventional SWE tasks, but giving them tools for concurrency testing and deterministic replay improves fix rates significantly!
Feb 17
Ever used AI to fix tricky race conditions and flaky tests? Not pretty, is it?
Check out "Spaghetti Bench 🍝: A SWE-Agent Benchmark for Concurrency Bug Tasks"
Turns out it's a HARD problem on its own, but can be made easier with access to deterministic replay tools like Fray!
13
1,035
Feb 17
Ever used AI to fix tricky race conditions and flaky tests? Not pretty, is it?
Check out "Spaghetti Bench 🍝: A SWE-Agent Benchmark for Concurrency Bug Tasks"
Turns out it's a HARD problem on its own, but can be made easier with access to deterministic replay tools like Fray!
3
3
19
3,055
Rohan Padhye retweeted
We're excited to announce our second keynote speaker for the #FUZZING'26 workshop (part of
@NDSSSymposium @ San Diego, CA, USA):
Sergej Dechand, CEO and Co-Founder of Code Intelligence (@CI_Fuzz)! He will present the fuzzing road ahead of us: "Where the Fuzz Are We Going?"
5
12
1,895
Rohan Padhye retweeted
We're excited to announce our first keynote speaker for the #FUZZING'26 workshop (part of @NDSSSymposium @ San Diego, CA, USA):
Mathias Payer (@gannimo), security researcher and professor at @EPFL_en! He will present about: Advancing from "What the fuzz?" to "All the Fuzz!".
1
2
8
1,786
3 Dec 2025
Next year, SPLASH (@splashcon) and ISSTA (@issta_conf) are going to be co-located in Oakland, CA! 🥳
If you would like to run a workshop in PL/SE/Testing, submit a proposal by Jan 10th: conf.researchr.org/track/spl…
Please RT for visibility. Contact @zengola or me for questions.
6
11
1,155