Mukul R. Prasad

Publication Activity (10 Years)

Years Active: 1996-2022
Publications (10 Years): 29

Top Topics

Static Analysis

Web Applications

Sun Microsystems

Top Venues

Publications

Ripon K. Saha, Akira Ura, Sonal Mahajan, Chenguang Zhu, Linyi Li, Yang Hu, Hiroaki Yoshida, Sarfraz Khurshid, Mukul R. Prasad
SAPIENTML: Synthesizing Machine Learning Pipelines by Learning from Human-Written Solutions. ICSE (2022)
Sonal Mahajan, Mukul R. Prasad
Providing Real-time Assistance for Repairing Runtime Exceptions using Stack Overflow Posts. CoRR (2022)
Sonal Mahajan, Mukul R. Prasad
Providing Real-time Assistance for Repairing Runtime Exceptions using Stack Overflow Posts. ICST (2022)
Ripon K. Saha, Akira Ura, Sonal Mahajan, Chenguang Zhu, Linyi Li, Yang Hu, Hiroaki Yoshida, Sarfraz Khurshid, Mukul R. Prasad
SapientML: Synthesizing Machine Learning Pipelines by Learning from Human-Written Solutions. CoRR (2022)
Ripon K. Saha, Yingjun Lyu, Hiroaki Yoshida, Mukul R. Prasad
Elixir: Effective object-oriented program repair. CoRR (2021)
Yusuke Kimura, Takumi Akazaki, Shinji Kikuchi, Sonal Mahajan, Mukul R. Prasad
Q&A MAESTRO: Q&A Post Recommendation for Fixing Java Runtime Exceptions. ASE (2021)
Yusuke Kimura, Takumi Akazaki, Shinji Kikuchi, Sonal Mahajan, Mukul R. Prasad
Q&A MAESTRO: Q&A Post Recommendation for Fixing Java Runtime Exceptions. CoRR (2021)
Rohan Bavishi, Shadaj Laddad, Hiroaki Yoshida, Mukul R. Prasad, Koushik Sen
VizSmith: Automated Visualization Synthesis by Mining Data-Science Notebooks. ASE (2021)
Chenguang Zhu, Ripon K. Saha, Mukul R. Prasad, Sarfraz Khurshid
Restoring the Executability of Jupyter Notebooks by Automatic Upgrade of Deprecated APIs. ASE (2021)
Sonal Mahajan, Negarsadat Abolhassani, Mukul R. Prasad
Recommending stack overflow posts for fixing runtime exceptions using failure scenario matching. ESEC/SIGSOFT FSE (2020)
Xiang Gao, Ripon K. Saha, Mukul R. Prasad, Abhik Roychoudhury
Fuzz testing based data augmentation to improve robustness of deep neural networks. ICSE (2020)
Sonal Mahajan, Negarsadat Abolhassani, Mukul R. Prasad
Recommending Stack Overflow Posts for Fixing Runtime Exceptions using Failure Scenario Matching. CoRR (2020)
Hiroaki Yoshida, Rohan Bavishi, Keisuke Hotta, Yusuke Nemoto, Mukul R. Prasad, Shinji Kikuchi
Phoenix: a tool for automated data-driven synthesis of repairs for static analysis violations. ICSE (Companion Volume) (2020)
Seemanta Saha, Ripon K. Saha, Mukul R. Prasad
Harnessing Evolution for Multi-Hunk Program Repair. CoRR (2019)
Seemanta Saha, Ripon K. Saha, Mukul R. Prasad
Harnessing evolution for multi-hunk program repair. ICSE (2019)
Alex Horn, Ali Kheradmand, Mukul R. Prasad
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification. CoRR (2019)
Alex Horn, Ali Kheradmand, Mukul R. Prasad
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification. ICNP (2019)
Rohan Bavishi, Hiroaki Yoshida, Mukul R. Prasad
Phoenix: automated data-driven synthesis of repairs for static analysis violations. ESEC/SIGSOFT FSE (2019)
Ripon K. Saha, Yingjun Lyu, Wing Lam, Hiroaki Yoshida, Mukul R. Prasad
Bugs.jar: a large-scale, diverse dataset of real-world Java bugs. MSR (2018)
Ripon K. Saha, Hiroaki Yoshida, Mukul R. Prasad, Susumu Tokumoto, Kuniharu Takayama, Isao Nanba
Elixir: an automated repair tool for Java programs. ICSE (Companion Volume) (2018)
Ben Mehne, Hiroaki Yoshida, Mukul R. Prasad, Koushik Sen, Divya Gopinath, Sarfraz Khurshid
Accelerating Search-Based Program Repair. ICST (2018)
Wei Yang, Mukul R. Prasad, Tao Xie
EnMobile: entity-based characterization and analysis of mobile malware. ICSE (2018)
Alex Horn, Ali Kheradmand, Mukul R. Prasad
Delta-net: Real-time Network Verification Using Atoms. CoRR (2017)
Ripon K. Saha, Yingjun Lyu, Hiroaki Yoshida, Mukul R. Prasad
ELIXIR: effective object oriented program repair. ASE (2017)
Alex Horn, Ali Kheradmand, Mukul R. Prasad
Delta-net: Real-time Network Verification Using Atoms. NSDI (2017)
Hiroaki Yoshida, Susumu Tokumoto, Mukul R. Prasad, Indradeep Ghosh, Tadahiro Uehara
FSX: a tool for fine-grained incremental unit test generation for C/C++ programs. SIGSOFT FSE (2016)
Shin Hwei Tan, Hiroaki Yoshida, Mukul R. Prasad, Abhik Roychoudhury
Anti-patterns in search-based program repair. SIGSOFT FSE (2016)
Hiroaki Yoshida, Susumu Tokumoto, Mukul R. Prasad, Indradeep Ghosh, Tadahiro Uehara
FSX: fine-grained incremental unit test generation for C/C++ programs. ISSTA (2016)
Cuong Nguyen, Hiroaki Yoshida, Mukul R. Prasad, Indradeep Ghosh, Koushik Sen
Generating Succinct Test Cases Using Don't Care Analysis. ICST (2015)
Razieh Nokhbeh Zaeem, Mukul R. Prasad, Sarfraz Khurshid
Automated Generation of Oracles for Testing User-Interaction Features of Mobile Apps. ICST (2014)
Shauvik Roy Choudhary, Mukul R. Prasad, Alessandro Orso
Cross-platform feature matching for web applications. ISSTA (2014)
Shauvik Roy Choudhary, Mukul R. Prasad, Alessandro Orso
X-PERT: a web application testing tool for cross-browser inconsistency detection. ISSTA (2014)
Casper Svenning Jensen, Mukul R. Prasad, Anders Møller
Automated testing with targeted event sequence generation. ISSTA (2013)
Wei Yang, Mukul R. Prasad, Tao Xie
A Grey-Box Approach for Automated GUI-Model Generation of Mobile Applications. FASE (2013)
Shauvik Roy Choudhary, Mukul R. Prasad, Alessandro Orso
X-PERT: accurate identification of cross-browser issues in web applications. ICSE (2013)
Shauvik Roy Choudhary, Mukul R. Prasad, Alessandro Orso
CrossCheck: Combining Crawling and Differencing to Better Detect Cross-browser Incompatibilities in Web Applications. ICST (2012)
Ali Mesbah, Mukul R. Prasad
Automated cross-browser compatibility testing. ICSE (2011)
Hideo Tanida, Masahiro Fujita, Mukul R. Prasad, Sreeranga P. Rajan
Client-tier Validation of Dynamic Web Applications. ICSOFT (2) (2011)
Hideo Tanida, Mukul R. Prasad, Sreeranga P. Rajan, Masahiro Fujita
Automated System Testing of Dynamic Web Applications. ICSOFT (Selected Papers) (2011)
Sreeranga P. Rajan, Oksana Tkachuk, Mukul R. Prasad, Indradeep Ghosh, Nitin Goel, Tadahiro Uehara
WEAVE: WEb Applications Validation Environment. ICSE Companion (2009)
Indradeep Ghosh, Mukul R. Prasad
A Technique for Estimating the Difficulty of a Formal Verification Problem. ISQED (2006)
Liang Zhang, Mukul R. Prasad, Michael S. Hsiao
Interleaved Invariant Checking with Dynamic Abstraction. CHARME (2005)
Subramanian K. Iyer, Jawahar Jain, Mukul R. Prasad, Debashis Sahoo, Thomas Sidle
Error Detection Using BMC in a Parallel Environment. CHARME (2005)
Liang Zhang, Mukul R. Prasad, Michael S. Hsiao, Thomas Sidle
Dynamic abstraction using SAT-based BMC. DAC (2005)
Mukul R. Prasad, Armin Biere, Aarti Gupta
A survey of recent advances in SAT-based formal verification. Int. J. Softw. Tools Technol. Transf. 7 (2) (2005)
Indradeep Ghosh, Rajarshi Mukherjee, Mukul R. Prasad, Masahiro Fujita
High Level Design Validation: Current Practices and Future Directions. VLSI Design (2004)
Liang Zhang, Mukul R. Prasad, Michael S. Hsiao
Incremental deductive & inductive reasoning for SAT-based bounded model checking. ICCAD (2004)
Mukul R. Prasad, Michael S. Hsiao, Jawahar Jain
Can SAT be used to Improve Sequential ATPG Methods? VLSI Design (2004)
Kelvin Ng, Mukul R. Prasad, Rajarshi Mukherjee, Jawahar Jain
Solving the latch mapping problem in an industrial setting. DAC (2003)
Mukul R. Prasad, Michael S. Hsiao, Jawahar Jain
Improving Sequential ATPG Using SAT Methods. IWLS (2002)
Evguenii I. Goldberg, Mukul R. Prasad, Robert K. Brayton
Using Problem Symmetry in Search Based Satisfiability Algorithms. DATE (2002)
Mukul R. Prasad, Philip Chong, Kurt Keutzer
Why is Combinational ATPG Efficiently Solvable for Practical VLSI Circuits? J. Electron. Test. 17 (6) (2001)
Evguenii I. Goldberg, Mukul R. Prasad, Robert K. Brayton
Using SAT for combinational equivalence checking. DATE (2001)
Mukul R. Prasad, Philip Chong, Kurt Keutzer
Why is ATPG Easy? DAC (1999)
Gurmeet Singh Manku, Mukul R. Prasad, David A. Patterson
A new voting based hardware data prefetch scheme. HiPC (1997)
C. P. Ravikumar, Mukul R. Prasad, Lavmeet S. Hora
Estimation of Power from Module-level Netlists. VLSI Design (1996)