Mukul R. Prasad

According to our database, Mukul R. Prasad authored at least 51 papers between 1996 and 2022.

Collaborative distances:

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

2022

Automatic Generation of Visualizations for Machine Learning Pipelines.

Lei Liu, Wei-Peng Chen, Mehdi Bahrami, Mukul R. Prasad

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

Providing Real-time Assistance for Repairing Runtime Exceptions using Stack Overflow Posts.

Sonal Mahajan, Mukul R. Prasad

Proceedings of the 15th IEEE Conference on Software Testing, Verification and Validation, 2022

SAPIENTML: Synthesizing Machine Learning Pipelines by Learning from Human-Written Solutions.

Ripon K. Saha, Akira Ura, Sonal Mahajan, Chenguang Zhu, Linyi Li, Yang Hu, Hiroaki Yoshida, Sarfraz Khurshid, Mukul R. Prasad

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

BERT-Sort: A Zero-shot MLM Semantic Encoder on Ordinal Features for AutoML.

Mehdi Bahrami, Wei-Peng Chen, Lei Liu, Mukul R. Prasad

Proceedings of the International Conference on Automated Machine Learning, 2022

2021

Restoring the Executability of Jupyter Notebooks by Automatic Upgrade of Deprecated APIs.

Chenguang Zhu, Ripon K. Saha, Mukul R. Prasad, Sarfraz Khurshid

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

Q&A MAESTRO: Q&A Post Recommendation for Fixing Java Runtime Exceptions.

Yusuke Kimura, Takumi Akazaki, Shinji Kikuchi, Sonal Mahajan, Mukul R. Prasad

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

VizSmith: Automated Visualization Synthesis by Mining Data-Science Notebooks.

Rohan Bavishi, Shadaj Laddad, Hiroaki Yoshida, Mukul R. Prasad, Koushik Sen

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

2020

Recommending stack overflow posts for fixing runtime exceptions using failure scenario matching.

Sonal Mahajan, Negarsadat Abolhassani, Mukul R. Prasad

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

Phoenix: a tool for automated data-driven synthesis of repairs for static analysis violations.

Hiroaki Yoshida, Rohan Bavishi, Keisuke Hotta, Yusuke Nemoto, Mukul R. Prasad, Shinji Kikuchi

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

Fuzz testing based data augmentation to improve robustness of deep neural networks.

Xiang Gao, Ripon K. Saha, Mukul R. Prasad, Abhik Roychoudhury

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

2019

Phoenix: automated data-driven synthesis of repairs for static analysis violations.

Rohan Bavishi, Hiroaki Yoshida, Mukul R. Prasad

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

Harnessing evolution for multi-hunk program repair.

Seemanta Saha, Ripon K. Saha, Mukul R. Prasad

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

A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification.

Alex Horn, Ali Kheradmand, Mukul R. Prasad

Proceedings of the 27th IEEE International Conference on Network Protocols, 2019

2018

Bugs.jar: a large-scale, diverse dataset of real-world Java bugs.

Ripon K. Saha, Yingjun Lyu, Wing Lam, Hiroaki Yoshida, Mukul R. Prasad

Proceedings of the 15th International Conference on Mining Software Repositories, 2018

Accelerating Search-Based Program Repair.

Ben Mehne, Hiroaki Yoshida, Mukul R. Prasad, Koushik Sen, Divya Gopinath, Sarfraz Khurshid

Proceedings of the 11th IEEE International Conference on Software Testing, 2018

Elixir: an automated repair tool for Java programs.

Ripon K. Saha, Hiroaki Yoshida, Mukul R. Prasad, Susumu Tokumoto, Kuniharu Takayama, Isao Nanba

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

EnMobile: entity-based characterization and analysis of mobile malware.

Wei Yang, Mukul R. Prasad, Tao Xie

Proceedings of the 40th International Conference on Software Engineering, 2018

2017

Delta-net: Real-time Network Verification Using Atoms.

Alex Horn, Ali Kheradmand, Mukul R. Prasad

Proceedings of the 14th USENIX Symposium on Networked Systems Design and Implementation, 2017

ELIXIR: effective object oriented program repair.

Ripon K. Saha, Yingjun Lyu, Hiroaki Yoshida, Mukul R. Prasad

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

2016

FSX: a tool for fine-grained incremental unit test generation for C/C++ programs.

Hiroaki Yoshida, Susumu Tokumoto, Mukul R. Prasad, Indradeep Ghosh, Tadahiro Uehara

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Anti-patterns in search-based program repair.

Shin Hwei Tan, Hiroaki Yoshida, Mukul R. Prasad, Abhik Roychoudhury

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

FSX: fine-grained incremental unit test generation for C/C++ programs.

Hiroaki Yoshida, Susumu Tokumoto, Mukul R. Prasad, Indradeep Ghosh, Tadahiro Uehara

Proceedings of the 25th International Symposium on Software Testing and Analysis, 2016

2015

Generating Succinct Test Cases Using Don't Care Analysis.

Cuong Nguyen, Hiroaki Yoshida, Mukul R. Prasad, Indradeep Ghosh, Koushik Sen

Proceedings of the 8th IEEE International Conference on Software Testing, 2015

2014

X-PERT: a web application testing tool for cross-browser inconsistency detection.

Shauvik Roy Choudhary, Mukul R. Prasad, Alessandro Orso

Proceedings of the International Symposium on Software Testing and Analysis, 2014

Cross-platform feature matching for web applications.

Shauvik Roy Choudhary, Mukul R. Prasad, Alessandro Orso

Proceedings of the International Symposium on Software Testing and Analysis, 2014

Automated Generation of Oracles for Testing User-Interaction Features of Mobile Apps.

Razieh Nokhbeh Zaeem, Mukul R. Prasad, Sarfraz Khurshid

Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

2013

Automated testing with targeted event sequence generation.

Casper Svenning Jensen, Mukul R. Prasad, Anders Møller

Proceedings of the International Symposium on Software Testing and Analysis, 2013

X-PERT: accurate identification of cross-browser issues in web applications.

Shauvik Roy Choudhary, Mukul R. Prasad, Alessandro Orso

Proceedings of the 35th International Conference on Software Engineering, 2013

A Grey-Box Approach for Automated GUI-Model Generation of Mobile Applications.

Wei Yang, Mukul R. Prasad, Tao Xie

Proceedings of the Fundamental Approaches to Software Engineering, 2013

2012

CrossCheck: Combining Crawling and Differencing to Better Detect Cross-browser Incompatibilities in Web Applications.

Shauvik Roy Choudhary, Mukul R. Prasad, Alessandro Orso

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

2011

Automated System Testing of Dynamic Web Applications.

Hideo Tanida, Mukul R. Prasad, Sreeranga P. Rajan, Masahiro Fujita

Proceedings of the Software and Data Technologies - 6th International Conference, 2011

Client-tier Validation of Dynamic Web Applications.

Hideo Tanida, Masahiro Fujita, Mukul R. Prasad, Sreeranga P. Rajan

Proceedings of the ICSOFT 2011, 2011

Automated cross-browser compatibility testing.

Ali Mesbah, Mukul R. Prasad

Proceedings of the 33rd International Conference on Software Engineering, 2011

2009

WEAVE: WEb Applications Validation Environment.

Sreeranga P. Rajan, Oksana Tkachuk, Mukul R. Prasad, Indradeep Ghosh, Nitin Goel, Tadahiro Uehara

Proceedings of the 31st International Conference on Software Engineering, 2009

2008

Verification Techniques for System-Level Design.

Masahiro Fujita, Indradeep Ghosh, Mukul R. Prasad

The Morgan Kaufmann series in systems on silicon, Morgan Kaufmann, ISBN: 978-0-12-370616-4, 2008

2006

A Technique for Estimating the Difficulty of a Formal Verification Problem.

Indradeep Ghosh, Mukul R. Prasad

Proceedings of the 7th International Symposium on Quality of Electronic Design (ISQED 2006), 2006

2005

A survey of recent advances in SAT-based formal verification.

Mukul R. Prasad, Armin Biere, Aarti Gupta

Int. J. Softw. Tools Technol. Transf., 2005

Dynamic abstraction using SAT-based BMC.

Liang Zhang, Mukul R. Prasad, Michael S. Hsiao, Thomas Sidle

Proceedings of the 42nd Design Automation Conference, 2005

Interleaved Invariant Checking with Dynamic Abstraction.

Liang Zhang, Mukul R. Prasad, Michael S. Hsiao

Proceedings of the Correct Hardware Design and Verification Methods, 2005

Error Detection Using BMC in a Parallel Environment.

Subramanian K. Iyer, Jawahar Jain, Mukul R. Prasad, Debashis Sahoo, Thomas Sidle

Proceedings of the Correct Hardware Design and Verification Methods, 2005

2004

Can SAT be used to Improve Sequential ATPG Methods?

Mukul R. Prasad, Michael S. Hsiao, Jawahar Jain

Proceedings of the 17th International Conference on VLSI Design (VLSI Design 2004), 2004

High Level Design Validation: Current Practices and Future Directions.

Indradeep Ghosh, Rajarshi Mukherjee, Mukul R. Prasad, Masahiro Fujita

Proceedings of the 17th International Conference on VLSI Design (VLSI Design 2004), 2004

Incremental deductive & inductive reasoning for SAT-based bounded model checking.

Liang Zhang, Mukul R. Prasad, Michael S. Hsiao

Proceedings of the 2004 International Conference on Computer-Aided Design, 2004

2003

Solving the latch mapping problem in an industrial setting.

Kelvin Ng, Mukul R. Prasad, Rajarshi Mukherjee, Jawahar Jain

Proceedings of the 40th Design Automation Conference, 2003

2002

Improving Sequential ATPG Using SAT Methods.

Mukul R. Prasad, Michael S. Hsiao, Jawahar Jain

Proceedings of the 11th IEEE/ACM International Workshop on Logic & Synthesis, 2002

Using Problem Symmetry in Search Based Satisfiability Algorithms.

Evguenii I. Goldberg, Mukul R. Prasad, Robert K. Brayton

Proceedings of the 2002 Design, 2002

2001

Why is Combinational ATPG Efficiently Solvable for Practical VLSI Circuits?

Mukul R. Prasad, Philip Chong, Kurt Keutzer

J. Electron. Test., 2001

Using SAT for combinational equivalence checking.

Evguenii I. Goldberg, Mukul R. Prasad, Robert K. Brayton

Proceedings of the Conference on Design, Automation and Test in Europe, 2001

1999

Why is ATPG Easy?

Mukul R. Prasad, Philip Chong, Kurt Keutzer

Proceedings of the 36th Conference on Design Automation, 1999

1997

A new voting based hardware data prefetch scheme.

Gurmeet Singh Manku, Mukul R. Prasad, David A. Patterson

Proceedings of the Fourth International on High-Performance Computing, 1997

1996

Estimation of Power from Module-level Netlists.

C. P. Ravikumar, Mukul R. Prasad, Lavmeet S. Hora

Proceedings of the 9th International Conference on VLSI Design (VLSI Design 1996), 1996