Interprocedural data flow analysis in Soot using value contexts. - Rohan Padhye; Uday P. Khedker (SOAP@PLDI, 2013)

API as a social glue. - Rohan Padhye; Debdoot Mukherjee; Vibha Singhal Sinha (ICSE Companion, 2014)

NeedFeed: taming change notifications by modeling code relevance. - Rohan Padhye; Senthil Mani; Vibha Singhal Sinha (ASE, 2014)

A study of external community contribution to open-source projects on GitHub. - Rohan Padhye; Senthil Mani; Vibha Singhal Sinha (MSR, 2014)

Smart Programming Playgrounds. - Rohan Padhye; Pankaj Dhoolia; Senthil Mani; Vibha Singhal Sinha (ICSE (2), 2015)

The Synergy between Voting and Acceptance of Answers on StackOverflow - Or the Lack Thereof. - Neelamadhav Gantayat; Pankaj Dhoolia; Rohan Padhye; Senthil Mani; Vibha Singhal Sinha (MSR, 2015)

Detecting and Mitigating Secret-Key Leaks in Source Code Repositories. - Vibha Singhal Sinha; Diptikalyan Saha; Pankaj Dhoolia; Rohan Padhye; Senthil Mani (MSR, 2015)

Mining API Expertise Profiles with Partial Program Analysis. - Senthil Mani; Rohan Padhye; Vibha Singhal Sinha (ISEC, 2016)

Travioli: a dynamic analysis for detecting data-structure traversals. - Rohan Padhye; Koushik Sen (ICSE, 2017)

PerfFuzz: automatically generating pathological inputs. - Caroline Lemieux; Rohan Padhye; Koushik Sen; Dawn Song (ISSTA, 2018)

Zest: Validity Fuzzing and Parametric Generators for Effective Random Testing. - Rohan Padhye; Caroline Lemieux; Koushik Sen; Mike Papadakis; Yves Le Traon (CoRR, 2018)

Validity fuzzing and parametric generators for effective random testing. - Rohan Padhye; Caroline Lemieux; Koushik Sen; Mike Papadakis; Yves Le Traon (ICSE (Companion Volume), 2019)

JQF: coverage-guided property-based testing in Java. - Rohan Padhye; Caroline Lemieux; Koushik Sen (ISSTA, 2019)

Semantic fuzzing with zest. - Rohan Padhye; Caroline Lemieux; Koushik Sen; Mike Papadakis; Yves Le Traon (ISSTA, 2019)

Efficient fail-fast dynamic subtype checking. - Rohan Padhye; Koushik Sen (VMIL@SPLASH, 2019)

Efficient scalable thread-safety-violation detection: finding thousands of concurrency bugs during testing. - Guangpu Li; Shan Lu 001; Madanlal Musuvathi; Suman Nath; Rohan Padhye (SOSP, 2019)

ChocoPy: a programming language for compilers courses. - Rohan Padhye; Koushik Sen; Paul N. Hilfinger (SPLASH-E, 2019)

FuzzFactory: domain-specific fuzzing with waypoints. - Rohan Padhye; Caroline Lemieux; Koushik Sen; Laurent Simon 001; Hayawardh Vijayakumar (Proc. ACM Program. Lang., 2019)

Saffron: Adaptive Grammar-based Fuzzing for Worst-Case Analysis. - Xuan-Bach Dinh Le 001; Corina S. Pasareanu; Rohan Padhye; David Lo 001; Willem Visser; Koushik Sen (ACM SIGSOFT Softw. Eng. Notes, 2019)

Quickly generating diverse valid test inputs with reinforcement learning. - Sameer Reddy; Caroline Lemieux; Rohan Padhye; Koushik Sen (ICSE, 2020)

BigFuzz: Efficient Fuzz Testing for Data Analytics Using Framework Abstraction. - Qian Zhang 020; Jiyuan Wang; Muhammad Ali Gulzar; Rohan Padhye; Miryung Kim (ASE, 2020)

PARTEMU: Enabling Dynamic Analysis of Real-World TrustZone Software Using Emulation. - Lee Harrison; Hayawardh Vijayakumar; Rohan Padhye; Koushik Sen; Michael Grace (USENIX Security Symposium, 2020)

The Java Pathfinder Workshop 2019. - Cyrille Artho; Quoc-Sang Phan; Peter Aldous; Alyas Almaawi; Lucas Bang; Lasse Berglund; Tevfik Bultan; Zhenbang Chen; Hayes Converse; Wei Dong 006; William Eiers; Milos Gligoric 001; et al. (ACM SIGSOFT Softw. Eng. Notes, 2020)

Abstractions and Algorithms for Specializing Dynamic Program Analysis and Random Fuzz Testing. - Rohan Padhye (2020)

Service-Level Fault Injection Testing. - Christopher S. Meiklejohn; Andrea Estrada; Yiwen Song; Heather Miller; Rohan Padhye (SoCC, 2021)

Growing A Test Corpus with Bonsai Fuzzing. - Vasudev Vikram; Rohan Padhye; Koushik Sen (ICSE, 2021)

Efficient Fuzz Testing for Apache Spark Using Framework Abstraction. - Qian Zhang 020; Jiyuan Wang; Muhammad Ali Gulzar; Rohan Padhye; Miryung Kim (ICSE (Companion Volume), 2021)

On the Naturalness of Fuzzer-Generated Code. - Rajeswari Hita Kambhamettu; John Billos; Tomi Oluwaseun-Apo; Benjamin Gafford; Rohan Padhye; Vincent J. Hellendoorn (MSR, 2022)

SPIDER: A Practical Fuzzing Framework to Uncover Stateful Performance Issues in SDN Controllers. - Ao Li 009; Rohan Padhye; Vyas Sekar (CoRR, 2022)

Distributed Execution Indexing. - Christopher S. Meiklejohn; Rohan Padhye; Heather Miller (CoRR, 2022)

Guiding Greybox Fuzzing with Mutation Testing. - Vasudev Vikram; Isabella Laybourn; Ao Li 009; Nicole Nair; Kelton OBrien; Rafaello Sanna; Rohan Padhye (ISSTA, 2023)

Can Large Language Models Write Good Property-Based Tests? - Vasudev Vikram; Caroline Lemieux; Rohan Padhye (CoRR, 2023)

Software Bug Detection: Challenges and Synergies (Dagstuhl Seminar 23131). - Marcel Böhme; Maria Christakis; Rohan Padhye; Kostya Serebryany; Andreas Zeller; Hasan Ferit Eniser (Dagstuhl Reports, 2023)

The Havoc Paradox in Generator-Based Fuzzing (Registered Report). - Ao Li 009; Madonna Huang; Caroline Lemieux; Rohan Padhye (FUZZING, 2024)

ExChain: Exception Dependency Analysis for Root Cause Diagnosis. - Ao Li 009; Shan Lu 001; Suman Nath; Rohan Padhye; Vyas Sekar (NSDI, 2024)

Software Engineering Methods for AI-Driven Deductive Legal Reasoning. - Rohan Padhye (Onward!, 2024)

AI-Driven Statutory Reasoning via Software Engineering Methods. - Rohan Padhye (CoRR, 2024)

Fuzzing, Symbolic Execution, and Expert Guidance for Better Testing. - Ismet Burak Kadron; Yannic Noller; Rohan Padhye; Tevfik Bultan; Corina S. Pasareanu; Koushik Sen (IEEE Softw., 2024)

SPIDER: Fuzzing for Stateful Performance Issues in the ONOS Software-Defined Network Controller. - Ao Li 009; Rohan Padhye; Vyas Sekar (ICST, 2025)

It's About Time: An Empirical Study of Date and Time Bugs in Open-Source Python Software. - Shrey Tiwari; Serena Chen; Alexander Joukov; Peter Vandervelde; Ao Li 009; Rohan Padhye (MSR, 2025)

Fray: An Efficient General-Purpose Concurrency Testing Platform for the JVM. - Ao Li 009; Byeongjee Kang; Vasudev Vikram; Isabella Laybourn; Samvid Dharanikota; Shrey Tiwari; Rohan Padhye (CoRR, 2025)