Rohan Padhye

According to our database, Rohan Padhye authored at least 37 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

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

AI-Driven Statutory Reasoning via Software Engineering Methods.

Rohan Padhye

CoRR, 2024

ExChain: Exception Dependency Analysis for Root Cause Diagnosis.

Ao Li, Shan Lu, Suman Nath, Rohan Padhye, Vyas Sekar

Proceedings of the 21st USENIX Symposium on Networked Systems Design and Implementation, 2024

The Havoc Paradox in Generator-Based Fuzzing (Registered Report).

Ao Li, Madonna Huang, Caroline Lemieux, Rohan Padhye

Proceedings of the 3rd ACM International Fuzzing Workshop, 2024

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, March, 2023

Can Large Language Models Write Good Property-Based Tests?

Vasudev Vikram, Caroline Lemieux, Rohan Padhye

CoRR, 2023

Guiding Greybox Fuzzing with Mutation Testing.

Vasudev Vikram, Isabella Laybourn, Ao Li, Nicole Nair, Kelton OBrien, Rafaello Sanna, Rohan Padhye

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

2022

Distributed Execution Indexing.

Christopher S. Meiklejohn, Rohan Padhye, Heather Miller

CoRR, 2022

SPIDER: A Practical Fuzzing Framework to Uncover Stateful Performance Issues in SDN Controllers.

Ao Li, Rohan Padhye, Vyas Sekar

CoRR, 2022

On the Naturalness of Fuzzer-Generated Code.

Rajeswari Hita Kambhamettu, John Billos, Tomi Oluwaseun-Apo, Benjamin Gafford, Rohan Padhye, Vincent J. Hellendoorn

Proceedings of the 19th IEEE/ACM International Conference on Mining Software Repositories, 2022

2021

Efficient Fuzz Testing for Apache Spark Using Framework Abstraction.

Qian Zhang, Jiyuan Wang, Muhammad Ali Gulzar, Rohan Padhye, Miryung Kim

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021

Growing A Test Corpus with Bonsai Fuzzing.

Vasudev Vikram, Rohan Padhye, Koushik Sen

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

Service-Level Fault Injection Testing.

Christopher S. Meiklejohn, Andrea Estrada, Yiwen Song, Heather Miller, Rohan Padhye

Proceedings of the SoCC '21: ACM Symposium on Cloud Computing, 2021

2020

Abstractions and Algorithms for Specializing Dynamic Program Analysis and Random Fuzz Testing.

Rohan Padhye

PhD thesis, 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, 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

ACM SIGSOFT Softw. Eng. Notes, 2020

PARTEMU: Enabling Dynamic Analysis of Real-World TrustZone Software Using Emulation.

Lee Harrison, Hayawardh Vijayakumar, Rohan Padhye, Koushik Sen, Michael Grace

Proceedings of the 29th USENIX Security Symposium, 2020

BigFuzz: Efficient Fuzz Testing for Data Analytics Using Framework Abstraction.

Qian Zhang, Jiyuan Wang, Muhammad Ali Gulzar, Rohan Padhye, Miryung Kim

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

Quickly generating diverse valid test inputs with reinforcement learning.

Sameer Reddy, Caroline Lemieux, Rohan Padhye, Koushik Sen

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

2019

Saffron: Adaptive Grammar-based Fuzzing for Worst-Case Analysis.

Xuan-Bach Dinh Le, Corina S. Pasareanu, Rohan Padhye, David Lo, Willem Visser, Koushik Sen

ACM SIGSOFT Softw. Eng. Notes, 2019

FuzzFactory: domain-specific fuzzing with waypoints.

Rohan Padhye, Caroline Lemieux, Koushik Sen, Laurent Simon, Hayawardh Vijayakumar

Proc. ACM Program. Lang., 2019

ChocoPy: a programming language for compilers courses.

Rohan Padhye, Koushik Sen, Paul N. Hilfinger

Proceedings of the SPLASH-E '19, 2019

Efficient scalable thread-safety-violation detection: finding thousands of concurrency bugs during testing.

Guangpu Li, Shan Lu, Madanlal Musuvathi, Suman Nath, Rohan Padhye

Proceedings of the 27th ACM Symposium on Operating Systems Principles, 2019

Efficient fail-fast dynamic subtype checking.

Rohan Padhye, Koushik Sen

Proceedings of the 11th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages, 2019

Semantic fuzzing with zest.

Rohan Padhye, Caroline Lemieux, Koushik Sen, Mike Papadakis, Yves Le Traon

Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019

JQF: coverage-guided property-based testing in Java.

Rohan Padhye, Caroline Lemieux, Koushik Sen

Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019

Validity fuzzing and parametric generators for effective random testing.

Rohan Padhye, Caroline Lemieux, Koushik Sen, Mike Papadakis, Yves Le Traon

Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019

2018

Zest: Validity Fuzzing and Parametric Generators for Effective Random Testing.

Rohan Padhye, Caroline Lemieux, Koushik Sen, Mike Papadakis, Yves Le Traon

CoRR, 2018

PerfFuzz: automatically generating pathological inputs.

Caroline Lemieux, Rohan Padhye, Koushik Sen, Dawn Song

Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2018

2017

Travioli: a dynamic analysis for detecting data-structure traversals.

Rohan Padhye, Koushik Sen

Proceedings of the 39th International Conference on Software Engineering, 2017

2016

Mining API Expertise Profiles with Partial Program Analysis.

Senthil Mani, Rohan Padhye, Vibha Singhal Sinha

Proceedings of the 9th India Software Engineering Conference, 2016

2015

Detecting and Mitigating Secret-Key Leaks in Source Code Repositories.

Vibha Singhal Sinha, Diptikalyan Saha, Pankaj Dhoolia, Rohan Padhye, Senthil Mani

Proceedings of the 12th IEEE/ACM Working Conference on Mining Software Repositories, 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

Proceedings of the 12th IEEE/ACM Working Conference on Mining Software Repositories, 2015

Smart Programming Playgrounds.

Rohan Padhye, Pankaj Dhoolia, Senthil Mani, Vibha Singhal Sinha

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2014

A study of external community contribution to open-source projects on GitHub.

Rohan Padhye, Senthil Mani, Vibha Singhal Sinha

Proceedings of the 11th Working Conference on Mining Software Repositories, 2014

NeedFeed: taming change notifications by modeling code relevance.

Rohan Padhye, Senthil Mani, Vibha Singhal Sinha

Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

API as a social glue.

Rohan Padhye, Debdoot Mukherjee, Vibha Singhal Sinha

Proceedings of the 36th International Conference on Software Engineering, 2014

2013

Interprocedural data flow analysis in Soot using value contexts.

Rohan Padhye, Uday P. Khedker

Proceedings of the 2nd ACM SIGPLAN International Workshop on State Of the Art in Java Program analysis, 2013