Rohan Padhye

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 30

Top Topics

Dynamic Analysis

Malicious Behavior

Top Venues

Publications

Ao Li, Shan Lu, Suman Nath, Rohan Padhye, Vyas Sekar
ExChain: Exception Dependency Analysis for Root Cause Diagnosis. NSDI (2024)
Ismet Burak Kadron, Yannic Noller, Rohan Padhye, Tevfik Bultan, Corina S. Pasareanu, Koushik Sen
Fuzzing, Symbolic Execution, and Expert Guidance for Better Testing. IEEE Softw. 41 (1) (2024)
Rohan Padhye
AI-Driven Statutory Reasoning via Software Engineering Methods. CoRR (2024)
Marcel Böhme, Maria Christakis, Rohan Padhye, Kostya Serebryany, Andreas Zeller, Hasan Ferit Eniser
Software Bug Detection: Challenges and Synergies (Dagstuhl Seminar 23131). Dagstuhl Reports 13 (3) (2023)
Vasudev Vikram, Caroline Lemieux, Rohan Padhye
Can Large Language Models Write Good Property-Based Tests? CoRR (2023)
Vasudev Vikram, Isabella Laybourn, Ao Li, Nicole Nair, Kelton OBrien, Rafaello Sanna, Rohan Padhye
Guiding Greybox Fuzzing with Mutation Testing. ISSTA (2023)
Ao Li, Rohan Padhye, Vyas Sekar
SPIDER: A Practical Fuzzing Framework to Uncover Stateful Performance Issues in SDN Controllers. CoRR (2022)
Rajeswari Hita Kambhamettu, John Billos, Tomi Oluwaseun-Apo, Benjamin Gafford, Rohan Padhye, Vincent J. Hellendoorn
On the Naturalness of Fuzzer-Generated Code. MSR (2022)
Christopher S. Meiklejohn, Rohan Padhye, Heather Miller
Distributed Execution Indexing. CoRR (2022)
Vasudev Vikram, Rohan Padhye, Koushik Sen
Growing a Test Corpus with Bonsai Fuzzing. CoRR (2021)
Qian Zhang, Jiyuan Wang, Muhammad Ali Gulzar, Rohan Padhye, Miryung Kim
Efficient Fuzz Testing for Apache Spark Using Framework Abstraction. ICSE (Companion Volume) (2021)
Qian Zhang, Jiyuan Wang, Muhammad Ali Gulzar, Rohan Padhye, Miryung Kim
Efficient Fuzz Testing for Apache Spark Using Framework Abstraction. CoRR (2021)
Christopher S. Meiklejohn, Andrea Estrada, Yiwen Song, Heather Miller, Rohan Padhye
Service-Level Fault Injection Testing. SoCC (2021)
Vasudev Vikram, Rohan Padhye, Koushik Sen
Growing A Test Corpus with Bonsai Fuzzing. ICSE (2021)
Lee Harrison, Hayawardh Vijayakumar, Rohan Padhye, Koushik Sen, Michael Grace
PARTEMU: Enabling Dynamic Analysis of Real-World TrustZone Software Using Emulation. USENIX Security Symposium (2020)
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
The Java Pathfinder Workshop 2019. ACM SIGSOFT Softw. Eng. Notes 45 (2) (2020)
Qian Zhang, Jiyuan Wang, Muhammad Ali Gulzar, Rohan Padhye, Miryung Kim
BigFuzz: Efficient Fuzz Testing for Data Analytics Using Framework Abstraction. ASE (2020)
Sameer Reddy, Caroline Lemieux, Rohan Padhye, Koushik Sen
Quickly generating diverse valid test inputs with reinforcement learning. ICSE (2020)
Rohan Padhye, Koushik Sen
Efficient fail-fast dynamic subtype checking. VMIL@SPLASH (2019)
Rohan Padhye, Caroline Lemieux, Koushik Sen, Mike Papadakis, Yves Le Traon
Semantic fuzzing with zest. ISSTA (2019)
Rohan Padhye, Caroline Lemieux, Koushik Sen, Mike Papadakis, Yves Le Traon
Validity fuzzing and parametric generators for effective random testing. ICSE (Companion Volume) (2019)
Xuan-Bach Dinh Le, Corina S. Pasareanu, Rohan Padhye, David Lo, Willem Visser, Koushik Sen
Saffron: Adaptive Grammar-based Fuzzing for Worst-Case Analysis. ACM SIGSOFT Softw. Eng. Notes 44 (4) (2019)
Guangpu Li, Shan Lu, Madanlal Musuvathi, Suman Nath, Rohan Padhye
Efficient scalable thread-safety-violation detection: finding thousands of concurrency bugs during testing. SOSP (2019)
Rohan Padhye, Koushik Sen, Paul N. Hilfinger
ChocoPy: a programming language for compilers courses. SPLASH-E (2019)
Rohan Padhye, Caroline Lemieux, Koushik Sen
JQF: coverage-guided property-based testing in Java. ISSTA (2019)
Rohan Padhye, Caroline Lemieux, Koushik Sen, Laurent Simon, Hayawardh Vijayakumar
FuzzFactory: domain-specific fuzzing with waypoints. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Rohan Padhye, Caroline Lemieux, Koushik Sen, Mike Papadakis, Yves Le Traon
Zest: Validity Fuzzing and Parametric Generators for Effective Random Testing. CoRR (2018)
Caroline Lemieux, Rohan Padhye, Koushik Sen, Dawn Song
PerfFuzz: automatically generating pathological inputs. ISSTA (2018)
Rohan Padhye, Koushik Sen
Travioli: a dynamic analysis for detecting data-structure traversals. ICSE (2017)
Senthil Mani, Rohan Padhye, Vibha Singhal Sinha
Mining API Expertise Profiles with Partial Program Analysis. ISEC (2016)
Rohan Padhye, Pankaj Dhoolia, Senthil Mani, Vibha Singhal Sinha
Smart Programming Playgrounds. ICSE (2) (2015)
Neelamadhav Gantayat, Pankaj Dhoolia, Rohan Padhye, Senthil Mani, Vibha Singhal Sinha
The Synergy between Voting and Acceptance of Answers on StackOverflow - Or the Lack Thereof. MSR (2015)
Vibha Singhal Sinha, Diptikalyan Saha, Pankaj Dhoolia, Rohan Padhye, Senthil Mani
Detecting and Mitigating Secret-Key Leaks in Source Code Repositories. MSR (2015)
Rohan Padhye, Senthil Mani, Vibha Singhal Sinha
NeedFeed: taming change notifications by modeling code relevance. ASE (2014)
Rohan Padhye, Senthil Mani, Vibha Singhal Sinha
A study of external community contribution to open-source projects on GitHub. MSR (2014)
Rohan Padhye, Debdoot Mukherjee, Vibha Singhal Sinha
API as a social glue. ICSE Companion (2014)
Rohan Padhye, Uday P. Khedker
Interprocedural data flow analysis in Soot using value contexts. SOAP@PLDI (2013)
Rohan Padhye, Uday P. Khedker
Interprocedural Data Flow Analysis in Soot using Value Contexts CoRR (2013)