More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

Rohan Padhye

> Home > Persons

Person information

affiliation: Carnegie Mellon University, Pittsburgh, PA, USA
affiliation (former): Thomas J. Watson Research Center, Yorktown Heights, USA

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/software/KadronNPBPS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/software/KadronNPBPS24
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): 98-104 (2024)
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/fuzzing/0009HLP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fuzzing/0009HLP24
Ao Li, Madonna Huang, Caroline Lemieux, Rohan Padhye:
The Havoc Paradox in Generator-Based Fuzzing (Registered Report). FUZZING 2024: 3-12
[c25]
- view
  - electronic edition @ usenix.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/nsdi/Li0NPS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nsdi/Li0NPS24
Ao Li, Shan Lu, Suman Nath, Rohan Padhye, Vyas Sekar:
ExChain: Exception Dependency Analysis for Root Cause Diagnosis. NSDI 2024
[i9]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2404-09868
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2404-09868
Rohan Padhye:
AI-Driven Statutory Reasoning via Software Engineering Methods. CoRR abs/2404.09868 (2024)
2023
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/VikramLLNOSP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/VikramLLNOSP23
Vasudev Vikram, Isabella Laybourn, Ao Li, Nicole Nair, Kelton OBrien, Rafaello Sanna, Rohan Padhye:
Guiding Greybox Fuzzing with Mutation Testing. ISSTA 2023: 929-941
[i8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2307-04346
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2307-04346
Vasudev Vikram, Caroline Lemieux, Rohan Padhye:
Can Large Language Models Write Good Property-Based Tests? CoRR abs/2307.04346 (2023)
[i7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/dagstuhl-reports/BohmeCPSZE23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dagstuhl-reports/BohmeCPSZE23
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): 92-105 (2023)
2022
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/msr/KambhamettuBOGP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/msr/KambhamettuBOGP22
Rajeswari Hita Kambhamettu, John Billos, Tomi Oluwaseun-Apo, Benjamin Gafford, Rohan Padhye, Vincent J. Hellendoorn:
On the Naturalness of Fuzzer-Generated Code. MSR 2022: 506-510
[i6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2209-04026
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2209-04026
Ao Li, Rohan Padhye, Vyas Sekar:
SPIDER: A Practical Fuzzing Framework to Uncover Stateful Performance Issues in SDN Controllers. CoRR abs/2209.04026 (2022)
[i5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2209-08740
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2209-08740
Christopher S. Meiklejohn, Rohan Padhye, Heather Miller:
Distributed Execution Indexing. CoRR abs/2209.08740 (2022)
2021
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/cloud/MeiklejohnESMP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cloud/MeiklejohnESMP21
Christopher S. Meiklejohn, Andrea Estrada, Yiwen Song, Heather Miller, Rohan Padhye:
Service-Level Fault Injection Testing. SoCC 2021: 388-402
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/ZhangWGPK21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/ZhangWGPK21
Qian Zhang, Jiyuan Wang, Muhammad Ali Gulzar, Rohan Padhye, Miryung Kim:
Efficient Fuzz Testing for Apache Spark Using Framework Abstraction. ICSE (Companion Volume) 2021: 61-64
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/VikramPS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/VikramPS21
Vasudev Vikram, Rohan Padhye, Koushik Sen:
Growing A Test Corpus with Bonsai Fuzzing. ICSE 2021: 723-735
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2103-04388
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2103-04388
Vasudev Vikram, Rohan Padhye, Koushik Sen:
Growing a Test Corpus with Bonsai Fuzzing. CoRR abs/2103.04388 (2021)
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2103-05118
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2103-05118
Qian Zhang, Jiyuan Wang, Muhammad Ali Gulzar, Rohan Padhye, Miryung Kim:
Efficient Fuzz Testing for Apache Spark Using Framework Abstraction. CoRR abs/2103.05118 (2021)
2020
[b1]
- view
  - electronic edition @ escholarship.org
  - no references & citations available
- export record
  dblp key:
  - phd/us/Padhye20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/us/Padhye20
Rohan Padhye:
Abstractions and Algorithms for Specializing Dynamic Program Analysis and Random Fuzz Testing. University of California, Berkeley, USA, 2020
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/sigsoft/ArthoPAABBBCCDE20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigsoft/ArthoPAABBBCCDE20
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): 20-22 (2020)
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/ReddyLPS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/ReddyLPS20
Sameer Reddy, Caroline Lemieux, Rohan Padhye, Koushik Sen:
Quickly generating diverse valid test inputs with reinforcement learning. ICSE 2020: 1410-1421
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/ZhangWGPK20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/ZhangWGPK20
Qian Zhang, Jiyuan Wang, Muhammad Ali Gulzar, Rohan Padhye, Miryung Kim:
BigFuzz: Efficient Fuzz Testing for Data Analytics Using Framework Abstraction. ASE 2020: 722-733
[c17]
- view
  - electronic edition @ usenix.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/uss/HarrisonVPSG20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uss/HarrisonVPSG20
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: 789-806

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/PadhyeLSSV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/PadhyeLSSV19
Rohan Padhye, Caroline Lemieux, Koushik Sen, Laurent Simon, Hayawardh Vijayakumar:
FuzzFactory: domain-specific fuzzing with waypoints. Proc. ACM Program. Lang. 3(OOPSLA): 174:1-174:29 (2019)
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/sigsoft/LePPLVS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigsoft/LePPLVS19
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): 14 (2019)
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/PadhyeLSPT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/PadhyeLSPT19
Rohan Padhye, Caroline Lemieux, Koushik Sen, Mike Papadakis, Yves Le Traon:
Validity fuzzing and parametric generators for effective random testing. ICSE (Companion Volume) 2019: 266-267
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/PadhyeLSPT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/PadhyeLSPT19
Rohan Padhye, Caroline Lemieux, Koushik Sen, Mike Papadakis, Yves Le Traon:
Semantic fuzzing with zest. ISSTA 2019: 329-340
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/PadhyeLS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/PadhyeLS19
Rohan Padhye, Caroline Lemieux, Koushik Sen:
JQF: coverage-guided property-based testing in Java. ISSTA 2019: 398-401
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/PadhyeS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/PadhyeS19
Rohan Padhye, Koushik Sen:
Efficient fail-fast dynamic subtype checking. VMIL@SPLASH 2019: 32-37
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/sosp/LiLMNP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sosp/LiLMNP19
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: 162-180
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/splash/PadhyeSH19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splash/PadhyeSH19
Rohan Padhye, Koushik Sen, Paul N. Hilfinger:
ChocoPy: a programming language for compilers courses. SPLASH-E 2019: 41-45
2018
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/LemieuxPSS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/LemieuxPSS18
Caroline Lemieux, Rohan Padhye, Koushik Sen, Dawn Song:
PerfFuzz: automatically generating pathological inputs. ISSTA 2018: 254-265
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1812-00078
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1812-00078
Rohan Padhye, Caroline Lemieux, Koushik Sen, Mike Papadakis, Yves Le Traon:
Zest: Validity Fuzzing and Parametric Generators for Effective Random Testing. CoRR abs/1812.00078 (2018)
2017
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/PadhyeS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/PadhyeS17
Rohan Padhye, Koushik Sen:
Travioli: a dynamic analysis for detecting data-structure traversals. ICSE 2017: 473-483
2016
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/indiaSE/ManiPS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indiaSE/ManiPS16
Senthil Mani, Rohan Padhye, Vibha Singhal Sinha:
Mining API Expertise Profiles with Partial Program Analysis. ISEC 2016: 109-118
2015
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/PadhyeDMS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/PadhyeDMS15
Rohan Padhye, Pankaj Dhoolia, Senthil Mani, Vibha Singhal Sinha:
Smart Programming Playgrounds. ICSE (2) 2015: 607-610
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/msr/SinhaSDPM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/msr/SinhaSDPM15
Vibha Singhal Sinha, Diptikalyan Saha, Pankaj Dhoolia, Rohan Padhye, Senthil Mani:
Detecting and Mitigating Secret-Key Leaks in Source Code Repositories. MSR 2015: 396-400
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/msr/GantayatDPMS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/msr/GantayatDPMS15
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: 406-409
2014
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/PadhyeMS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/PadhyeMS14
Rohan Padhye, Debdoot Mukherjee, Vibha Singhal Sinha:
API as a social glue. ICSE Companion 2014: 516-519
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/PadhyeMS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/PadhyeMS14
Rohan Padhye, Senthil Mani, Vibha Singhal Sinha:
NeedFeed: taming change notifications by modeling code relevance. ASE 2014: 665-676
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/msr/PadhyeMS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/msr/PadhyeMS14
Rohan Padhye, Senthil Mani, Vibha Singhal Sinha:
A study of external community contribution to open-source projects on GitHub. MSR 2014: 332-335
2013
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/PadhyeK13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/PadhyeK13
Rohan Padhye, Uday P. Khedker:
Interprocedural data flow analysis in Soot using value contexts. SOAP@PLDI 2013: 31-36
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1304-6274
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1304-6274
Rohan Padhye, Uday P. Khedker:
Interprocedural Data Flow Analysis in Soot using Value Contexts. CoRR abs/1304.6274 (2013)

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.