Sabitlenmiş Tweet
Rohan Padhye
1.8K posts
Rohan Padhye
@moarbugs
Associate Professor at @S3DatCMU @SCSatCMU & Research Fellow at @AntithesisHQ. PhD from @Berkeley_EECS.
Pittsburgh, PA Katılım Eylül 2018
537 Takip Edilen2.7K Takipçiler
I’m really excited and grateful to receive an NSF CAREER Award! More here: linkedin.com/posts/cornell-…
English
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.
English
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!!
English
(thankfully, the resolution was that I could just find some unrelated topic to talk about for 2 hours)
English
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!
English
@Keleesssss Took a bit longer to do it, but preprint is now up: arxiv.org/abs/2605.25180
English
@Keleesssss Yes, we'll post it on arxiv in a week or so, but also: x.com/moarbugs/statu…
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.
English
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.
English
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/
English
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!
English
@ilyasergey (It won't make it any more satisfiable, but perhaps you'll discover the unreasonable core)
English
Trying to schedule my PhD student's thesis proposal on Constraint Programming. It is not surprising at all that the availability of the thesis committee members makes for an unsatisfiable system of constraints.
English
Rohan Padhye retweetledi
🤵 Keynote #2 at #FUZZING'26 is online
Where the Fuzz Are We Going?
by Sergej Dechand (@CI_Fuzz).
youtube.com/watch?v=yp-AKW…
YouTube
English
Rohan Padhye retweetledi
🔥 Keynote #1 at #FUZZING'26 is online
Advancing from "What the fuzz?" to "All the Fuzz"
by Mathias Payer (@gannimo).
youtube.com/watch?v=In3kRA…
YouTube
English
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.
English
(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)
English
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?
English
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.
English
"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!
English
Rohan Padhye retweetledi
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!
English