Rohan Padhye

49 papers A* 7A 10Misc 1Journal 18Unranked 12
YearRankTypeTitle / Venue / Authors
2026 J jnl
The Havoc Paradox in Generator-Based Fuzzing - RCR Report.
ACM Trans. Softw. Eng. Methodol.
Ao Li, Madonna Huang, Vasudev Vikram, Caroline Lemieux, Rohan Padhye
2026 J jnl
The Havoc Paradox in Generator-Based Fuzzing.
ACM Trans. Softw. Eng. Methodol.
Ao Li, Madonna Huang, Vasudev Vikram, Caroline Lemieux, Rohan Padhye
2025 — conf
Differential Performance Fuzzing of Configuration Options.
SBFT@ICSE
Haesue Baik, Chenyang Yang, Vasudev Vikram, Pooyan Jamshidi, Rohan Padhye, Christian Kästner
2025 J jnl
Fray: An Efficient General-Purpose Concurrency Testing Platform for the JVM.
CoRR
Ao Li, Byeongjee Kang, Vasudev Vikram, Isabella Laybourn, Samvid Dharanikota, Shrey Tiwari, Rohan Padhye
2025 J jnl
Fray: An Efficient General-Purpose Concurrency Testing Platform for the JVM.
Proc. ACM Program. Lang.
Ao Li, Byeongjee Kang, Vasudev Vikram, Isabella Laybourn, Samvid Dharanikota, Shrey Tiwari, Rohan Padhye
2025 A conf
It's About Time: An Empirical Study of Date and Time Bugs in Open-Source Python Software.
MSR
Shrey Tiwari, Serena Chen, Alexander Joukov, Peter Vandervelde, Ao Li, Rohan Padhye
2025 J jnl
On the Freshness of Pinned Dependencies in Maven.
CoRR
Vasudev Vikram, Yuvraj Agarwal, Rohan Padhye
2025 A conf
SPIDER: Fuzzing for Stateful Performance Issues in the ONOS Software-Defined Network Controller.
ICST
Ao Li, Rohan Padhye, Vyas Sekar
2024 J jnl
AI-Driven Statutory Reasoning via Software Engineering Methods.
CoRR
Rohan Padhye
2024 Misc conf
ExChain: Exception Dependency Analysis for Root Cause Diagnosis.
NSDI
Ao Li, Shan Lu, Suman Nath, Rohan Padhye, Vyas Sekar
2024 J jnl
Fuzzing, Symbolic Execution, and Expert Guidance for Better Testing.
IEEE Softw.
Ismet Burak Kadron, Yannic Noller, Rohan Padhye, Tevfik Bultan, Corina S. Pasareanu, Koushik Sen
2024 — conf
Software Engineering Methods for AI-Driven Deductive Legal Reasoning.
Onward!
Rohan Padhye
2024 — conf
The Havoc Paradox in Generator-Based Fuzzing (Registered Report).
FUZZING
Ao Li, Madonna Huang, Caroline Lemieux, Rohan Padhye
2023 J jnl
Can Large Language Models Write Good Property-Based Tests?
CoRR
Vasudev Vikram, Caroline Lemieux, Rohan Padhye
2023 A conf
Guiding Greybox Fuzzing with Mutation Testing.
ISSTA
Vasudev Vikram, Isabella Laybourn, Ao Li, Nicole Nair, Kelton OBrien, Rafaello Sanna, Rohan Padhye
2023 J jnl
Software Bug Detection: Challenges and Synergies (Dagstuhl Seminar 23131).
Dagstuhl Reports
Marcel Böhme, Maria Christakis, Rohan Padhye, Kostya Serebryany, Andreas Zeller, Hasan Ferit Eniser
2022 J jnl
Distributed Execution Indexing.
CoRR
Christopher S. Meiklejohn, Rohan Padhye, Heather Miller
2022 A conf
On the Naturalness of Fuzzer-Generated Code.
MSR
Rajeswari Hita Kambhamettu, John Billos, Tomi Oluwaseun-Apo, Benjamin Gafford, Rohan Padhye, Vincent J. Hellendoorn
2022 J jnl
SPIDER: A Practical Fuzzing Framework to Uncover Stateful Performance Issues in SDN Controllers.
CoRR
Ao Li, Rohan Padhye, Vyas Sekar
2021 — conf
Efficient Fuzz Testing for Apache Spark Using Framework Abstraction.
ICSE (Companion Volume)
Qian Zhang, Jiyuan Wang, Muhammad Ali Gulzar, Rohan Padhye, Miryung Kim
2021 J jnl
Efficient Fuzz Testing for Apache Spark Using Framework Abstraction.
CoRR
Qian Zhang, Jiyuan Wang, Muhammad Ali Gulzar, Rohan Padhye, Miryung Kim
2021 A* conf
Growing A Test Corpus with Bonsai Fuzzing.
ICSE
Vasudev Vikram, Rohan Padhye, Koushik Sen
2021 J jnl
Growing a Test Corpus with Bonsai Fuzzing.
CoRR
Vasudev Vikram, Rohan Padhye, Koushik Sen
2021 — conf
Service-Level Fault Injection Testing.
SoCC
Christopher S. Meiklejohn, Andrea Estrada, Yiwen Song, Heather Miller, Rohan Padhye
2020 — —
Abstractions and Algorithms for Specializing Dynamic Program Analysis and Random Fuzz Testing.
Rohan Padhye
2020 A* conf
BigFuzz: Efficient Fuzz Testing for Data Analytics Using Framework Abstraction.
ASE
Qian Zhang, Jiyuan Wang, Muhammad Ali Gulzar, Rohan Padhye, Miryung Kim
2020 A* conf
PARTEMU: Enabling Dynamic Analysis of Real-World TrustZone Software Using Emulation.
USENIX Security Symposium
Lee Harrison, Hayawardh Vijayakumar, Rohan Padhye, Koushik Sen, Michael Grace
2020 A* conf
Quickly generating diverse valid test inputs with reinforcement learning.
ICSE
Sameer Reddy, Caroline Lemieux, Rohan Padhye, Koushik Sen
2020 J jnl
The Java Pathfinder Workshop 2019.
ACM SIGSOFT Softw. Eng. Notes
Cyrille Artho, Quoc-Sang Phan, Peter Aldous, Alyas Almaawi, Lucas Bang, Lasse Berglund, Tevfik Bultan, Zhenbang Chen, Hayes Converse, Wei Dong, William Eiers, Milos Gligoric, Simon Goldsmith, Lars Grunske, Joshua Hooker, Ismet Burak Kadron, Timo Kehrer, Sarfraz Khurshid, Xuan-Bach Dinh Le, David Lo, Eric Mercer, Sasa Misailovic, Egor Namakonov, Hoang Lam Nguyen, Yannic Noller, Benjamin Ogles, Rohan Padhye, Pavel Parízek, Corina S. Pasareanu, Sheridan Jacob Powell, Seemanta Saha, Koushik Sen, Elena Sherman, Kyle Storey, Minxing Tang, Willem Visser, Ji Wang, Hengbiao Yu
2019 — conf
ChocoPy: a programming language for compilers courses.
SPLASH-E
Rohan Padhye, Koushik Sen, Paul N. Hilfinger
2019 — conf
Efficient fail-fast dynamic subtype checking.
VMIL@SPLASH
Rohan Padhye, Koushik Sen
2019 A* conf
Efficient scalable thread-safety-violation detection: finding thousands of concurrency bugs during testing.
SOSP
Guangpu Li, Shan Lu, Madanlal Musuvathi, Suman Nath, Rohan Padhye
2019 J jnl
FuzzFactory: domain-specific fuzzing with waypoints.
Proc. ACM Program. Lang.
Rohan Padhye, Caroline Lemieux, Koushik Sen, Laurent Simon, Hayawardh Vijayakumar
2019 A conf
JQF: coverage-guided property-based testing in Java.
ISSTA
Rohan Padhye, Caroline Lemieux, Koushik Sen
2019 J jnl
Saffron: Adaptive Grammar-based Fuzzing for Worst-Case Analysis.
ACM SIGSOFT Softw. Eng. Notes
Xuan-Bach Dinh Le, Corina S. Pasareanu, Rohan Padhye, David Lo, Willem Visser, Koushik Sen
2019 A conf
Semantic fuzzing with zest.
ISSTA
Rohan Padhye, Caroline Lemieux, Koushik Sen, Mike Papadakis, Yves Le Traon
2019 — conf
Validity fuzzing and parametric generators for effective random testing.
ICSE (Companion Volume)
Rohan Padhye, Caroline Lemieux, Koushik Sen, Mike Papadakis, Yves Le Traon
2018 A conf
PerfFuzz: automatically generating pathological inputs.
ISSTA
Caroline Lemieux, Rohan Padhye, Koushik Sen, Dawn Song
2018 J jnl
Zest: Validity Fuzzing and Parametric Generators for Effective Random Testing.
CoRR
Rohan Padhye, Caroline Lemieux, Koushik Sen, Mike Papadakis, Yves Le Traon
2017 A* conf
Travioli: a dynamic analysis for detecting data-structure traversals.
ICSE
Rohan Padhye, Koushik Sen
2016 — conf
Mining API Expertise Profiles with Partial Program Analysis.
ISEC
Senthil Mani, Rohan Padhye, Vibha Singhal Sinha
2015 A conf
Detecting and Mitigating Secret-Key Leaks in Source Code Repositories.
MSR
Vibha Singhal Sinha, Diptikalyan Saha, Pankaj Dhoolia, Rohan Padhye, Senthil Mani
2015 — conf
Smart Programming Playgrounds.
ICSE (2)
Rohan Padhye, Pankaj Dhoolia, Senthil Mani, Vibha Singhal Sinha
2015 A conf
The Synergy between Voting and Acceptance of Answers on StackOverflow - Or the Lack Thereof.
MSR
Neelamadhav Gantayat, Pankaj Dhoolia, Rohan Padhye, Senthil Mani, Vibha Singhal Sinha
2014 A conf
A study of external community contribution to open-source projects on GitHub.
MSR
Rohan Padhye, Senthil Mani, Vibha Singhal Sinha
2014 — conf
API as a social glue.
ICSE Companion
Rohan Padhye, Debdoot Mukherjee, Vibha Singhal Sinha
2014 A* conf
NeedFeed: taming change notifications by modeling code relevance.
ASE
Rohan Padhye, Senthil Mani, Vibha Singhal Sinha
2013 J jnl
Interprocedural Data Flow Analysis in Soot using Value Contexts
CoRR
Rohan Padhye, Uday P. Khedker
2013 — conf
Interprocedural data flow analysis in Soot using value contexts.
SOAP@PLDI
Rohan Padhye, Uday P. Khedker