Mukul R. Prasad

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