![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Mukul R. Prasad
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
- [c48]Mehdi Bahrami, Wei-Peng Chen, Lei Liu, Mukul R. Prasad:
BERT-Sort: A Zero-shot MLM Semantic Encoder on Ordinal Features for AutoML. AutoML 2022: 11/1-26 - [c47]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: 1932-1944 - [c46]Sonal Mahajan, Mukul R. Prasad:
Providing Real-time Assistance for Repairing Runtime Exceptions using Stack Overflow Posts. ICST 2022: 196-207 - [c45]Lei Liu
, Wei-Peng Chen, Mehdi Bahrami, Mukul R. Prasad:
Automatic Generation of Visualizations for Machine Learning Pipelines. ASE 2022: 132:1-132:5 - [i8]Sonal Mahajan, Mukul R. Prasad:
Providing Real-time Assistance for Repairing Runtime Exceptions using Stack Overflow Posts. CoRR abs/2202.04762 (2022) - [i7]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 abs/2202.10451 (2022) - 2021
- [c44]Rohan Bavishi, Shadaj Laddad
, Hiroaki Yoshida, Mukul R. Prasad, Koushik Sen:
VizSmith: Automated Visualization Synthesis by Mining Data-Science Notebooks. ASE 2021: 129-141 - [c43]Chenguang Zhu, Ripon K. Saha, Mukul R. Prasad, Sarfraz Khurshid:
Restoring the Executability of Jupyter Notebooks by Automatic Upgrade of Deprecated APIs. ASE 2021: 240-252 - [c42]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: 1227-1231 - [i6]Yusuke Kimura, Takumi Akazaki, Shinji Kikuchi, Sonal Mahajan, Mukul R. Prasad:
Q&A MAESTRO: Q&A Post Recommendation for Fixing Java Runtime Exceptions. CoRR abs/2108.09991 (2021) - [i5]Ripon K. Saha, Yingjun Lyu, Hiroaki Yoshida, Mukul R. Prasad:
Elixir: Effective object-oriented program repair. CoRR abs/2112.10915 (2021) - 2020
- [c41]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: 53-56 - [c40]Xiang Gao, Ripon K. Saha, Mukul R. Prasad, Abhik Roychoudhury:
Fuzz testing based data augmentation to improve robustness of deep neural networks. ICSE 2020: 1147-1158 - [c39]Sonal Mahajan, Negarsadat Abolhassani, Mukul R. Prasad:
Recommending stack overflow posts for fixing runtime exceptions using failure scenario matching. ESEC/SIGSOFT FSE 2020: 1052-1064 - [i4]Sonal Mahajan, Negarsadat Abolhassani, Mukul R. Prasad:
Recommending Stack Overflow Posts for Fixing Runtime Exceptions using Failure Scenario Matching. CoRR abs/2009.10174 (2020)
2010 – 2019
- 2019
- [c38]Alex Horn, Ali Kheradmand, Mukul R. Prasad:
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification. ICNP 2019: 1-12 - [c37]Seemanta Saha
, Ripon K. Saha, Mukul R. Prasad:
Harnessing evolution for multi-hunk program repair. ICSE 2019: 13-24 - [c36]Rohan Bavishi, Hiroaki Yoshida, Mukul R. Prasad:
Phoenix: automated data-driven synthesis of repairs for static analysis violations. ESEC/SIGSOFT FSE 2019: 613-624 - [i3]Seemanta Saha, Ripon K. Saha, Mukul R. Prasad:
Harnessing Evolution for Multi-Hunk Program Repair. CoRR abs/1906.08903 (2019) - [i2]Alex Horn, Ali Kheradmand, Mukul R. Prasad:
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification. CoRR abs/1908.09068 (2019) - 2018
- [c35]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: 77-80 - [c34]Wei Yang, Mukul R. Prasad, Tao Xie:
EnMobile: entity-based characterization and analysis of mobile malware. ICSE 2018: 384-394 - [c33]Ben Mehne, Hiroaki Yoshida, Mukul R. Prasad, Koushik Sen, Divya Gopinath, Sarfraz Khurshid:
Accelerating Search-Based Program Repair. ICST 2018: 227-238 - [c32]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: 10-13 - 2017
- [c31]Ripon K. Saha, Yingjun Lyu, Hiroaki Yoshida, Mukul R. Prasad:
ELIXIR: effective object oriented program repair. ASE 2017: 648-659 - [c30]Alex Horn, Ali Kheradmand, Mukul R. Prasad:
Delta-net: Real-time Network Verification Using Atoms. NSDI 2017: 735-749 - [i1]Alex Horn, Ali Kheradmand, Mukul R. Prasad:
Delta-net: Real-time Network Verification Using Atoms. CoRR abs/1702.07375 (2017) - 2016
- [c29]Hiroaki Yoshida, Susumu Tokumoto, Mukul R. Prasad, Indradeep Ghosh
, Tadahiro Uehara:
FSX: fine-grained incremental unit test generation for C/C++ programs. ISSTA 2016: 106-117 - [c28]Shin Hwei Tan, Hiroaki Yoshida, Mukul R. Prasad, Abhik Roychoudhury
:
Anti-patterns in search-based program repair. SIGSOFT FSE 2016: 727-738 - [c27]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: 1052-1056 - 2015
- [c26]Cuong Nguyen, Hiroaki Yoshida, Mukul R. Prasad, Indradeep Ghosh
, Koushik Sen:
Generating Succinct Test Cases Using Don't Care Analysis. ICST 2015: 1-10 - 2014
- [c25]Razieh Nokhbeh Zaeem, Mukul R. Prasad, Sarfraz Khurshid:
Automated Generation of Oracles for Testing User-Interaction Features of Mobile Apps. ICST 2014: 183-192 - [c24]Shauvik Roy Choudhary, Mukul R. Prasad, Alessandro Orso:
Cross-platform feature matching for web applications. ISSTA 2014: 82-92 - [c23]Shauvik Roy Choudhary, Mukul R. Prasad, Alessandro Orso:
X-PERT: a web application testing tool for cross-browser inconsistency detection. ISSTA 2014: 417-420 - 2013
- [c22]Wei Yang, Mukul R. Prasad, Tao Xie:
A Grey-Box Approach for Automated GUI-Model Generation of Mobile Applications. FASE 2013: 250-265 - [c21]Shauvik Roy Choudhary, Mukul R. Prasad, Alessandro Orso:
X-PERT: accurate identification of cross-browser issues in web applications. ICSE 2013: 702-711 - [c20]Casper Svenning Jensen, Mukul R. Prasad, Anders Møller
:
Automated testing with targeted event sequence generation. ISSTA 2013: 67-77 - 2012
- [c19]Shauvik Roy Choudhary, Mukul R. Prasad, Alessandro Orso:
CrossCheck: Combining Crawling and Differencing to Better Detect Cross-browser Incompatibilities in Web Applications. ICST 2012: 171-180 - 2011
- [c18]Ali Mesbah
, Mukul R. Prasad:
Automated cross-browser compatibility testing. ICSE 2011: 561-570 - [c17]Hideo Tanida, Masahiro Fujita, Mukul R. Prasad, Sreeranga P. Rajan:
Client-tier Validation of Dynamic Web Applications. ICSOFT (2) 2011: 86-95 - [c16]Hideo Tanida, Mukul R. Prasad, Sreeranga P. Rajan, Masahiro Fujita:
Automated System Testing of Dynamic Web Applications. ICSOFT (Selected Papers) 2011: 181-196
2000 – 2009
- 2009
- [c15]Sreeranga P. Rajan, Oksana Tkachuk, Mukul R. Prasad, Indradeep Ghosh
, Nitin Goel, Tadahiro Uehara:
WEAVE: WEb Applications Validation Environment. ICSE Companion 2009: 101-111 - 2008
- [b1]Masahiro Fujita, Indradeep Ghosh, Mukul R. Prasad:
Verification Techniques for System-Level Design. The Morgan Kaufmann series in systems on silicon, Morgan Kaufmann 2008, ISBN 978-0-12-370616-4, pp. I-VIII, 1-240 - 2006
- [c14]Indradeep Ghosh
, Mukul R. Prasad:
A Technique for Estimating the Difficulty of a Formal Verification Problem. ISQED 2006: 63-70 - 2005
- [j2]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): 156-173 (2005) - [c13]Liang Zhang, Mukul R. Prasad, Michael S. Hsiao:
Interleaved Invariant Checking with Dynamic Abstraction. CHARME 2005: 81-96 - [c12]Subramanian K. Iyer, Jawahar Jain, Mukul R. Prasad, Debashis Sahoo, Thomas Sidle:
Error Detection Using BMC in a Parallel Environment. CHARME 2005: 354-358 - [c11]Liang Zhang, Mukul R. Prasad, Michael S. Hsiao, Thomas Sidle:
Dynamic abstraction using SAT-based BMC. DAC 2005: 754-757 - 2004
- [c10]Liang Zhang, Mukul R. Prasad, Michael S. Hsiao:
Incremental deductive & inductive reasoning for SAT-based bounded model checking. ICCAD 2004: 502-509 - [c9]Indradeep Ghosh, Rajarshi Mukherjee, Mukul R. Prasad, Masahiro Fujita:
High Level Design Validation: Current Practices and Future Directions. VLSI Design 2004: 9-11 - [c8]Mukul R. Prasad, Michael S. Hsiao, Jawahar Jain:
Can SAT be used to Improve Sequential ATPG Methods? VLSI Design 2004: 585- - 2003
- [c7]Kelvin Ng, Mukul R. Prasad, Rajarshi Mukherjee, Jawahar Jain:
Solving the latch mapping problem in an industrial setting. DAC 2003: 442-447 - 2002
- [c6]Evguenii I. Goldberg, Mukul R. Prasad, Robert K. Brayton:
Using Problem Symmetry in Search Based Satisfiability Algorithms. DATE 2002: 134-141 - [c5]Mukul R. Prasad, Michael S. Hsiao, Jawahar Jain:
Improving Sequential ATPG Using SAT Methods. IWLS 2002: 79-84 - 2001
- [j1]Mukul R. Prasad, Philip Chong, Kurt Keutzer:
Why is Combinational ATPG Efficiently Solvable for Practical VLSI Circuits? J. Electron. Test. 17(6): 509-527 (2001) - [c4]Evguenii I. Goldberg, Mukul R. Prasad, Robert K. Brayton:
Using SAT for combinational equivalence checking. DATE 2001: 114-121
1990 – 1999
- 1999
- [c3]Mukul R. Prasad, Philip Chong, Kurt Keutzer:
Why is ATPG Easy? DAC 1999: 22-28 - 1997
- [c2]Gurmeet Singh Manku, Mukul R. Prasad, David A. Patterson:
A new voting based hardware data prefetch scheme. HiPC 1997: 100-105 - 1996
- [c1]C. P. Ravikumar, Mukul R. Prasad, Lavmeet S. Hora:
Estimation of Power from Module-level Netlists. VLSI Design 1996: 324-325
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-16 19:24 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint