5th year PhD student at CMU
Joined August 2021
- Tweets11
- Following146
- Followers420
- Likes114
Vasu Vikram retweeted
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!!
Vasu Vikram retweeted
Been working on integrating Property-based testing into AWS's new IDE Kiro. kiro.dev/blog/property-based…
Vasu Vikram retweeted
... does it really matter in practice? Perhaps the havoc effect is benign, or maybe even a good thing?!
Our students @aoli_al @vasumvikram @hhcmadonna studied this all in great depth! Read more in our upcoming ACM TOSEM paper on the "Havoc Paradox".
📄 dl.acm.org/doi/pdf/10.1145/3…
ALT Picture of paper titled "The Havoc Paradox in Generator-Based Fuzzing"
Vasu Vikram retweeted
📢 FUZZING NEWS!
For many years @cestlemieux and I got asked whether JQF/Zest mutations always preserve input structure. THEY DON'T! There's sometimes a disruptive "havoc" effect.
BeDivFuzz (@hoanglam_ng) and Zeugma (@_jon_bell_) do a much better job avoiding it.
But WAIT....
ALT 6 scatter plots across various fuzzing techniques (random, Zest, Zest-mini, EI, BeDivFuzz, and Zeugma) each showing mutation distance in bytes on the X-axis and mutation distance of string on the Y-axis. Zest exhibits a high havoc effect with many points in the top-left corner, whereas BeDivFuzz and Zeugma's points are mostly along the unit axis, showing low havoc effect.
Very excited to announce that our work on Mu2 received a Distinguished Paper Award at @issta_conf! 🎉
Come check out my talk tomorrow at 1:30pm PDT during the Fuzzing session : )
So coverage is great, but can greybox fuzzing also benefit from *mutation testing*? 🤔
📢 I'm excited to share our upcoming @issta_conf paper on Mu2: Mutation-guided Mutation-based fuzzing.
📄 Paper: rohan.padhye.org/files/mu2-i…
💻 Code: github.com/cmu-pasta/mu2
Thread... [1/6]
Vasu Vikram retweeted
Do you like quickcheck/hypothesis/fuzzing but can't bother to hand-write oracles/properties that validate the correctness of your APIs?
Check out proptest.ai! Simply copy+paste Python API docs from a website and let an LLM have a go at synthesizing a property test.
I'm very excited to present our work on Mu2 at @issta_conf this July!
Would love to hear everyone's thoughts on how we could use fuzzing to create strong regression tests. Adding mutation analysis in the loop may be the first step!
So coverage is great, but can greybox fuzzing also benefit from *mutation testing*? 🤔
📢 I'm excited to share our upcoming @issta_conf paper on Mu2: Mutation-guided Mutation-based fuzzing.
📄 Paper: rohan.padhye.org/files/mu2-i…
💻 Code: github.com/cmu-pasta/mu2
Thread... [1/6]
Vasu Vikram retweeted
JQF 2.0 released! The Java fuzzing framework now incorporates several speed and quality improvements from @_jon_bell_ & co. as well as support for implementing differential fuzzing. I'm excited to see lots of recent work leveraging #JQF's extensibility.
github.com/rohanpadhye/JQF
Vasu Vikram retweeted
Congrats to my undergraduate student Bella Laybourn for receiving the second prize in the ACM student research competition at #ICSE2022 for Mu2: Greybox Fuzzing with Mutation Analysis. Bella started this project as a sophomore student at CMU. Great job!
Vasu Vikram retweeted
Hey, so compiler fuzzers find corner cases by generating highly unnatural code, right? Maybe NOT. We found that CSmith's programs are *more* predictable than human-written ones, as per language models trained on GitHub code. Check out our @msconf preprint: rohan.padhye.org/files/natfu…
ALT Screenshot of paper titled "On the Naturalness of Fuzzer-Generated Code" by authors Rajeswari Hita Kambhamettu*, John R Billos*, Tomi Oluwaseun-Apo*, Benjamin Gafford, Rohan Padhye, Vincent J Hellendoorn.