Estimation of Power from Module-level Netlists. - C. P. Ravikumar; Mukul R. Prasad; Lavmeet S. Hora (VLSI Design, 1996)

A new voting based hardware data prefetch scheme. - Gurmeet Singh Manku; Mukul R. Prasad; David A. Patterson 001 (HiPC, 1997)

Why is ATPG Easy? - Mukul R. Prasad; Philip Chong; Kurt Keutzer (DAC, 1999)

Using SAT for combinational equivalence checking. - Evguenii I. Goldberg; Mukul R. Prasad; Robert K. Brayton (DATE, 2001)

Why is Combinational ATPG Efficiently Solvable for Practical VLSI Circuits? - Mukul R. Prasad; Philip Chong; Kurt Keutzer (J. Electron. Test., 2001)

Using Problem Symmetry in Search Based Satisfiability Algorithms. - Evguenii I. Goldberg; Mukul R. Prasad; Robert K. Brayton (DATE, 2002)

Improving Sequential ATPG Using SAT Methods. - Mukul R. Prasad; Michael S. Hsiao; Jawahar Jain (IWLS, 2002)

Solving the latch mapping problem in an industrial setting. - Kelvin Ng; Mukul R. Prasad; Rajarshi Mukherjee; Jawahar Jain (DAC, 2003)

Incremental deductive & inductive reasoning for SAT-based bounded model checking. - Liang Zhang 012; Mukul R. Prasad; Michael S. Hsiao (ICCAD, 2004)

High Level Design Validation: Current Practices and Future Directions. - Indradeep Ghosh; Rajarshi Mukherjee; Mukul R. Prasad; Masahiro Fujita (VLSI Design, 2004)

Can SAT be used to Improve Sequential ATPG Methods? - Mukul R. Prasad; Michael S. Hsiao; Jawahar Jain (VLSI Design, 2004)

Error Detection Using BMC in a Parallel Environment. - Subramanian K. Iyer; Jawahar Jain; Mukul R. Prasad; Debashis Sahoo; Thomas Sidle (CHARME, 2005)

Interleaved Invariant Checking with Dynamic Abstraction. - Liang Zhang 012; Mukul R. Prasad; Michael S. Hsiao (CHARME, 2005)

Dynamic abstraction using SAT-based BMC. - Liang Zhang 012; Mukul R. Prasad; Michael S. Hsiao; Thomas Sidle (DAC, 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)

A Technique for Estimating the Difficulty of a Formal Verification Problem. - Indradeep Ghosh; Mukul R. Prasad (ISQED, 2006)

Verification Techniques for System-Level Design. - Masahiro Fujita; Indradeep Ghosh; Mukul R. Prasad (Morgan Kaufmann, 2008)

WEAVE: WEb Applications Validation Environment. - Sreeranga P. Rajan; Oksana Tkachuk; Mukul R. Prasad; Indradeep Ghosh; Nitin Goel; Tadahiro Uehara (ICSE Companion, 2009)

Automated cross-browser compatibility testing. - Ali Mesbah 001; Mukul R. Prasad (ICSE, 2011)

Client-tier Validation of Dynamic Web Applications. - Hideo Tanida; Masahiro Fujita; Mukul R. Prasad; Sreeranga P. Rajan (ICSOFT (2), 2011)

Automated System Testing of Dynamic Web Applications. - Hideo Tanida; Mukul R. Prasad; Sreeranga P. Rajan; Masahiro Fujita (ICSOFT (Selected Papers), 2011)

CrossCheck: Combining Crawling and Differencing to Better Detect Cross-browser Incompatibilities in Web Applications. - Shauvik Roy Choudhary; Mukul R. Prasad; Alessandro Orso (ICST, 2012)

A Grey-Box Approach for Automated GUI-Model Generation of Mobile Applications. - Wei Yang 013; Mukul R. Prasad; Tao Xie 001 (FASE, 2013)

X-PERT: accurate identification of cross-browser issues in web applications. - Shauvik Roy Choudhary; Mukul R. Prasad; Alessandro Orso (ICSE, 2013)

Automated testing with targeted event sequence generation. - Casper Svenning Jensen; Mukul R. Prasad; Anders Møller (ISSTA, 2013)

Automated Generation of Oracles for Testing User-Interaction Features of Mobile Apps. - Razieh Nokhbeh Zaeem; Mukul R. Prasad; Sarfraz Khurshid (ICST, 2014)

Cross-platform feature matching for web applications. - Shauvik Roy Choudhary; Mukul R. Prasad; Alessandro Orso (ISSTA, 2014)

X-PERT: a web application testing tool for cross-browser inconsistency detection. - Shauvik Roy Choudhary; Mukul R. Prasad; Alessandro Orso (ISSTA, 2014)

Generating Succinct Test Cases Using Don't Care Analysis. - Cuong Nguyen 001; Hiroaki Yoshida; Mukul R. Prasad; Indradeep Ghosh; Koushik Sen (ICST, 2015)

FSX: fine-grained incremental unit test generation for C/C++ programs. - Hiroaki Yoshida; Susumu Tokumoto; Mukul R. Prasad; Indradeep Ghosh; Tadahiro Uehara (ISSTA, 2016)

Anti-patterns in search-based program repair. - Shin Hwei Tan; Hiroaki Yoshida; Mukul R. Prasad; Abhik Roychoudhury (SIGSOFT FSE, 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 (SIGSOFT FSE, 2016)

ELIXIR: effective object oriented program repair. - Ripon K. Saha; Yingjun Lyu; Hiroaki Yoshida; Mukul R. Prasad (ASE, 2017)

Delta-net: Real-time Network Verification Using Atoms. - Alex Horn; Ali Kheradmand; Mukul R. Prasad (NSDI, 2017)

EnMobile: entity-based characterization and analysis of mobile malware. - Wei Yang 013; Mukul R. Prasad; Tao Xie 001 (ICSE, 2018)

Elixir: an automated repair tool for Java programs. - Ripon K. Saha; Hiroaki Yoshida; Mukul R. Prasad; Susumu Tokumoto; Kuniharu Takayama; Isao Nanba (ICSE (Companion Volume), 2018)

Accelerating Search-Based Program Repair. - Ben Mehne; Hiroaki Yoshida; Mukul R. Prasad; Koushik Sen; Divya Gopinath; Sarfraz Khurshid (ICST, 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 (MSR, 2018)

A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification. - Alex Horn; Ali Kheradmand; Mukul R. Prasad (ICNP, 2019)

Harnessing evolution for multi-hunk program repair. - Seemanta Saha; Ripon K. Saha; Mukul R. Prasad (ICSE, 2019)

Phoenix: automated data-driven synthesis of repairs for static analysis violations. - Rohan Bavishi; Hiroaki Yoshida; Mukul R. Prasad (ESEC/SIGSOFT FSE, 2019)

Fuzz testing based data augmentation to improve robustness of deep neural networks. - Xiang Gao 012; Ripon K. Saha; Mukul R. Prasad; Abhik Roychoudhury (ICSE, 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 (ICSE (Companion Volume), 2020)

Recommending stack overflow posts for fixing runtime exceptions using failure scenario matching. - Sonal Mahajan; Negarsadat Abolhassani; Mukul R. Prasad (ESEC/SIGSOFT FSE, 2020)

VizSmith: Automated Visualization Synthesis by Mining Data-Science Notebooks. - Rohan Bavishi; Shadaj Laddad; Hiroaki Yoshida; Mukul R. Prasad; Koushik Sen (ASE, 2021)

Q&A MAESTRO: Q&A Post Recommendation for Fixing Java Runtime Exceptions. - Yusuke Kimura; Takumi Akazaki; Shinji Kikuchi; Sonal Mahajan; Mukul R. Prasad (ASE, 2021)

Restoring the Executability of Jupyter Notebooks by Automatic Upgrade of Deprecated APIs. - Chenguang Zhu 002; Ripon K. Saha; Mukul R. Prasad; Sarfraz Khurshid (ASE, 2021)

BERT-Sort: A Zero-shot MLM Semantic Encoder on Ordinal Features for AutoML. - Mehdi Bahrami; Wei-Peng Chen; Lei Liu; Mukul R. Prasad (AutoML, 2022)

SAPIENTML: Synthesizing Machine Learning Pipelines by Learning from Human-Written Solutions. - Ripon K. Saha; Akira Ura; Sonal Mahajan; Chenguang Zhu 002; Linyi Li 001; Yang Hu; Hiroaki Yoshida; Sarfraz Khurshid; Mukul R. Prasad (ICSE, 2022)

Providing Real-time Assistance for Repairing Runtime Exceptions using Stack Overflow Posts. - Sonal Mahajan; Mukul R. Prasad (ICST, 2022)

Automatic Generation of Visualizations for Machine Learning Pipelines. - Lei Liu 061; Wei-Peng Chen; Mehdi Bahrami; Mukul R. Prasad (ASE, 2022)