Sabitlenmiş Tweet
Rohan Padhye
1.8K posts
Rohan Padhye
@moarbugs
Assistant Professor at @S3DatCMU @SCSatCMU. PhD from @Berkeley_EECS. Connessiur of hot sauce.
Pittsburgh, PA Katılım Eylül 2018
535 Takip Edilen2.6K Takipçiler
@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
@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
@moarbugs Wow, is there a preprint to understand the context?
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
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
My students wrote a blog post (pastalab.org/spaghetti-benc…) 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!
English
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!
English
Rohan Padhye retweetledi
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?"
English
@michaelhilton It's so sad, spreading the propaganda of Big Jacket.
Clearly 0% hot is at 0°C because if it is any hot it should be possible to have a beer outside.
100°F is just a warm afternoon, nothing special there.
English
Rohan Padhye retweetledi
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!".
English
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/splash-i…
Please RT for visibility. Contact @zengola or me for questions.
English