Rohan Padhye

Associate Professor at @S3DatCMU @SCSatCMU & Research Fellow at @AntithesisHQ. PhD from @Berkeley_EECS.

[Rohan Padhye @moarbugs]

My research group has a new website! https://t.co/9yAi1OGCl4

[Rohan Padhye @moarbugs]

(thankfully, the resolution was that I could just find some unrelated topic to talk about for 2 hours)

[Rohan Padhye @moarbugs]

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!

[Rohan Padhye @moarbugs]

@Keleesssss Took a bit longer to do it, but preprint is now up: https://t.co/yOj7GX3ldx

[Rohan Padhye @moarbugs]

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.

[Rohan Padhye @moarbugs]

@Keleesssss Yes, we'll post it on arxiv in a week or so, but also: https://t.co/XLW14RR6vc

[Rohan Padhye @moarbugs]

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.

[Rohan Padhye @moarbugs]

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:

https://t.co/IVgiGNCwaj

[Rohan Padhye @moarbugs]

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!

[Rohan Padhye @moarbugs]

@ilyasergey (It won't make it any more satisfiable, but perhaps you'll discover the unreasonable core)

[Rohan Padhye @moarbugs]

@ilyasergey Try DateSAT https://t.co/yKKkVE4g3T

[Marcel Böhme👨‍🔬 @mboehme_]

🤵 Keynote #2 at #FUZZING'26 is online

Where the Fuzz Are We Going?
by Sergej Dechand (@CI_Fuzz).

https://t.co/K2RxY2awhJ

[Marcel Böhme👨‍🔬 @mboehme_]

🔥 Keynote #1 at #FUZZING'26 is online

Advancing from "What the fuzz?" to "All the Fuzz"
by Mathias Payer (@gannimo).

https://t.co/nBkaC6hs92

[Rohan Padhye @moarbugs]

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.

[Rohan Padhye @moarbugs]

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.

[Rohan Padhye @moarbugs]

(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)

[Rohan Padhye @moarbugs]

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?

[Rohan Padhye @moarbugs]

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.

[Rohan Padhye @moarbugs]

"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 https://t.co/Ljj6lACPvI!

[Antithesis @AntithesisHQ]

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!

[Rohan Padhye @moarbugs]

My students wrote a blog post (https://t.co/iqsAE9n3Xp) on this problem showing where AI agents struggle with concurrency, using examples such as WorkStealQueue and Kafka's DefaultStateUpdater.

Feedback is welcome!

[Rohan Padhye @moarbugs]

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!

[Rohan Padhye @moarbugs]

Link: https://t.co/0KOB9MMufq

[Rohan Padhye @moarbugs]

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!