| 2022 | ICSE | 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 |
| 2022 | ICST | Providing Real-time Assistance for Repairing Runtime Exceptions using Stack Overflow Posts. | Sonal Mahajan, Mukul R. Prasad |
| 2020 | ICSE | Fuzz testing based data augmentation to improve robustness of deep neural networks. | Xiang Gao, Ripon K. Saha, Mukul R. Prasad, Abhik Roychoudhury |
| 2020 | ICSE | 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 |
| 2019 | ICNP | A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification. | Alex Horn, Ali Kheradmand, Mukul R. Prasad |
| 2019 | ICSE | Harnessing evolution for multi-hunk program repair. | Seemanta Saha, Ripon K. Saha, Mukul R. Prasad |
| 2018 | ICSE | EnMobile: entity-based characterization and analysis of mobile malware. | Wei Yang, Mukul R. Prasad, Tao Xie |
| 2018 | ICSE | Elixir: an automated repair tool for Java programs. | Ripon K. Saha, Hiroaki Yoshida, Mukul R. Prasad, Susumu Tokumoto, Kuniharu Takayama, Isao Nanba |
| 2018 | ICST | Accelerating Search-Based Program Repair. | Ben Mehne, Hiroaki Yoshida, Mukul R. Prasad, Koushik Sen, Divya Gopinath, Sarfraz Khurshid |
| 2018 | MSR | Bugs.jar: a large-scale, diverse dataset of real-world Java bugs. | Ripon K. Saha, Yingjun Lyu, Wing Lam, Hiroaki Yoshida, Mukul R. Prasad |
| 2017 | NSDI | Delta-net: Real-time Network Verification Using Atoms. | Alex Horn, Ali Kheradmand, Mukul R. Prasad |
| 2016 | ISSTA | FSX: fine-grained incremental unit test generation for C/C++ programs. | Hiroaki Yoshida, Susumu Tokumoto, Mukul R. Prasad, Indradeep Ghosh, Tadahiro Uehara |
| 2015 | ICST | Generating Succinct Test Cases Using Don't Care Analysis. | Cuong Nguyen, Hiroaki Yoshida, Mukul R. Prasad, Indradeep Ghosh, Koushik Sen |
| 2014 | ICST | Automated Generation of Oracles for Testing User-Interaction Features of Mobile Apps. | Razieh Nokhbeh Zaeem, Mukul R. Prasad, Sarfraz Khurshid |
| 2014 | ISSTA | Cross-platform feature matching for web applications. | Shauvik Roy Choudhary, Mukul R. Prasad, Alessandro Orso |
| 2014 | ISSTA | X-PERT: a web application testing tool for cross-browser inconsistency detection. | Shauvik Roy Choudhary, Mukul R. Prasad, Alessandro Orso |
| 2013 | FASE | A Grey-Box Approach for Automated GUI-Model Generation of Mobile Applications. | Wei Yang, Mukul R. Prasad, Tao Xie |
| 2013 | ICSE | X-PERT: accurate identification of cross-browser issues in web applications. | Shauvik Roy Choudhary, Mukul R. Prasad, Alessandro Orso |
| 2013 | ISSTA | Automated testing with targeted event sequence generation. | Casper Svenning Jensen, Mukul R. Prasad, Anders Mller |
| 2012 | ICST | CrossCheck: Combining Crawling and Differencing to Better Detect Cross-browser Incompatibilities in Web Applications. | Shauvik Roy Choudhary, Mukul R. Prasad, Alessandro Orso |
| 2011 | ICSE | Automated cross-browser compatibility testing. | Ali Mesbah, Mukul R. Prasad |
| 2011 | ICSoft | Client-tier Validation of Dynamic Web Applications. | Hideo Tanida, Masahiro Fujita, Mukul R. Prasad, Sreeranga P. Rajan |
| 2011 | ICSoft | Automated System Testing of Dynamic Web Applications. | Hideo Tanida, Mukul R. Prasad, Sreeranga P. Rajan, Masahiro Fujita |
| 2009 | ICSE | WEAVE: WEb Applications Validation Environment. | Sreeranga P. Rajan, Oksana Tkachuk, Mukul R. Prasad, Indradeep Ghosh, Nitin Goel, Tadahiro Uehara |
| 2005 | DAC | Dynamic abstraction using SAT-based BMC. | Liang Zhang, Mukul R. Prasad, Michael S. Hsiao, Thomas Sidle |
| 2004 | ICCAD | Incremental deductive & inductive reasoning for SAT-based bounded model checking. | Liang Zhang, Mukul R. Prasad, Michael S. Hsiao |
| 2004 | VLSID | High Level Design Validation: Current Practices and Future Directions. | Indradeep Ghosh, Rajarshi Mukherjee, Mukul R. Prasad, Masahiro Fujita |
| 2004 | VLSID | Can SAT be used to Improve Sequential ATPG Methods? | Mukul R. Prasad, Michael S. Hsiao, Jawahar Jain |
| 2003 | DAC | Solving the latch mapping problem in an industrial setting. | Kelvin Ng, Mukul R. Prasad, Rajarshi Mukherjee, Jawahar Jain |
| 2002 | DATE | Using Problem Symmetry in Search Based Satisfiability Algorithms. | Evguenii I. Goldberg, Mukul R. Prasad, Robert K. Brayton |
| 2001 | DATE | Using SAT for combinational equivalence checking. | Evguenii I. Goldberg, Mukul R. Prasad, Robert K. Brayton |
| 1999 | DAC | Why is ATPG Easy? | Mukul R. Prasad, Philip Chong, Kurt Keutzer |
| 1997 | HiPC | A new voting based hardware data prefetch scheme. | Gurmeet Singh Manku, Mukul R. Prasad, David A. Patterson |
| 1996 | VLSID | Estimation of Power from Module-level Netlists. | C. P. Ravikumar, Mukul R. Prasad, Lavmeet S. Hora |