| 2014 | CLOUD | ReproLite: A Lightweight Tool to Quickly Reproduce Hard System Bugs. | Kaituo Li, Pallavi Joshi, Aarti Gupta, Malay K. Ganai |
| 2013 | SOSP | SETSUDŌ: perturbation-based testing framework for scalable distributed systems. | Pallavi Joshi, Malay K. Ganai, Gogul Balakrishnan, Aarti Gupta, Nadia Papakonstantinou |
| 2012 | RV | Dynamic Livelock Analysis of Multi-threaded Programs. | Malay K. Ganai |
| 2011 | RV | Predicting Concurrency Failures in the Generalized Execution Traces of x86 Executables. | Chao Wang, Malay K. Ganai |
| 2010 | CAV | Contessa: Concurrency Testing Augmented with Symbolic Analysis. | Sudipta Kundu, Malay K. Ganai, Chao Wang |
| 2010 | FMCAD | Scalable and precise program analysis at NEC. | Gogul Balakrishnan, Malay K. Ganai, Aarti Gupta, Franjo Ivancic, Vineet Kahlon, Weihong Li, Naoto Maeda, Nadia Papakonstantinou, Sriram Sankaranarayanan, Nishant Sinha, Chao Wang |
| 2010 | FMCAD | Propelling SAT and SAT-based BMC using careset. | Malay K. Ganai |
| 2010 | FMCAD | Integrating ICP and LRA solvers for deciding nonlinear real arithmetic problems. | Sicun Gao, Malay K. Ganai, Franjo Ivancic, Aarti Gupta, Sriram Sankaranarayanan, Edmund M. Clarke |
| 2010 | ICCAD | Efficient state space exploration: Interleaving stateless and state-based model checking. | Malay K. Ganai, Chao Wang, Weihong Li |
| 2010 | MEMOCODE | Numerical stability analysis of floating-point computations using software model checking. | Franjo Ivancic, Malay K. Ganai, Sriram Sankaranarayanan, Aarti Gupta |
| 2010 | RV | Interval Analysis for Concurrent Trace Programs Using Transaction Sequence Graphs. | Malay K. Ganai, Chao Wang |
| 2010 | TACAS | Trace-Based Symbolic Analysis for Atomicity Violations. | Chao Wang, Rhishikesh Limaye, Malay K. Ganai, Aarti Gupta |
| 2009 | FM | Symbolic Predictive Analysis for Concurrent Programs. | Chao Wang, Sudipta Kundu, Malay K. Ganai, Aarti Gupta |
| 2009 | FMCAD | Efficient decision procedure for non-linear arithmetic constraints using CORDIC. | Malay K. Ganai, Franjo Ivancic |
| 2009 | MEMOCODE | Bang for the buck: Improvising and scheduling verification engines for effective resource utilization. | Malay K. Ganai, Weihong Li |
| 2008 | DAC | Tunneling and slicing: towards scalable BMC. | Malay K. Ganai, Aarti Gupta |
| 2008 | DAC | Partial order reduction for scalable testing of systemC TLM designs. | Sudipta Kundu, Malay K. Ganai, Rajesh Gupta |
| 2008 | DATE | Completeness in SMT-based BMC for Software Programs. | Malay K. Ganai, Aarti Gupta |
| 2008 | ICCAD | Embedded software verification: challenges and solutions. | Chao Wang, Malay K. Ganai, Shuvendu K. Lahiri, Daniel Kroening |
| 2008 | SEFM | PED: Proof-Guided Error Diagnosis by Triangulation of Program Error Causes. | Gogul Balakrishnan, Malay K. Ganai |
| 2007 | ASPDAC | Efficient BMC for Multi-Clock Systems with Clocked Specifications. | Malay K. Ganai, Aarti Gupta |
| 2007 | VLSID | Synthesizing "Verification Aware" Models: Why and How? | Malay K. Ganai, Akira Mukaiyama, Aarti Gupta, Kazutoshi Wakabayashi |
| 2006 | DAC | Predicate learning and selective theory deduction for a difference logic solver. | Chao Wang, Aarti Gupta, Malay K. Ganai |
| 2006 | ICCAD | Accelerating high-level bounded model checking. | Malay K. Ganai, Aarti Gupta |
| 2006 | TACAS | Untitled record | Malay K. Ganai, Muralidhar Talupur, Aarti Gupta |
| 2005 | CAV | F-Soft: Software Verification Platform. | Franjo Ivancic, Zijiang Yang, Malay K. Ganai, Aarti Gupta, Ilya Shlyakhter, Pranav Ashar |
| 2005 | DAC | Beyond safety: customized SAT-based model checking. | Malay K. Ganai, Aarti Gupta, Pranav Ashar |
| 2005 | DATE | Verification of Embedded Memory Systems using Efficient Memory Modeling. | Malay K. Ganai, Aarti Gupta, Pranav Ashar |
| 2005 | ICCD | Model Checking C Programs Using F-SOFT. | Franjo Ivancic, Ilya Shlyakhter, Aarti Gupta, Malay K. Ganai, Vineet Kahlon, Chao Wang, Zijiang Yang |
| 2005 | LPAR | Deciding Separation Logic Formulae by SAT and Incremental Negative Cycle Elimination. | Chao Wang, Franjo Ivancic, Malay K. Ganai, Aarti Gupta |
| 2005 | VLSID | Lazy Constraints and SAT Heuristics for Proof-Based Abstraction. | Aarti Gupta, Malay K. Ganai, Pranav Ashar |
| 2005 | TACAS | Untitled record | Malay K. Ganai, Aarti Gupta, Pranav Ashar |
| 2005 | TACAS | Localization and Register Sharing for Predicate Abstraction. | Himanshu Jain, Franjo Ivancic, Aarti Gupta, Malay K. Ganai |
| 2004 | CAV | Efficient Modeling of Embedded Memories in Bounded Model Checking. | Malay K. Ganai, Aarti Gupta, Pranav Ashar |
| 2004 | ICCAD | Efficient SAT-based unbounded symbolic model checking using circuit cofactoring. | Malay K. Ganai, Aarti Gupta, Pranav Ashar |
| 2004 | ISoLA | Efficient SAT-based Bounded Model Checking for Software Verification. | Pranav Ashar, Malay K. Ganai, Aarti Gupta, Franjo Ivancic, Zijiang Yang |
| 2003 | CAV | Abstraction and BDDs Complement SAT-Based BMC in DiVer. | Aarti Gupta, Malay K. Ganai, Chao Wang, Zijiang Yang, Pranav Ashar |
| 2003 | DAC | Learning from BDDs in SAT-based bounded model checking. | Aarti Gupta, Malay K. Ganai, Chao Wang, Zijiang Yang, Pranav Ashar |
| 2003 | ICCAD | Iterative Abstraction using SAT-based BMC with Proof Analysis. | Aarti Gupta, Malay K. Ganai, Zijiang Yang, Pranav Ashar |
| 2002 | DAC | Combining strengths of circuit-based and CNF-based algorithms for a high-performance SAT solver. | Malay K. Ganai, Pranav Ashar, Aarti Gupta, Lintao Zhang, Sharad Malik |
| 2002 | VLSID | Improved SAT-Based Bounded Reachability Analysis. | Malay K. Ganai, Adnan Aziz |
| 2001 | DAC | Circuit-based Boolean Reasoning. | Andreas Kuehlmann, Malay K. Ganai, Viresh Paruthi |
| 1999 | DAC | Enhancing Simulation with BDDs and ATPG. | Malay K. Ganai, Adnan Aziz, Andreas Kuehlmann |
| 1999 | VLSID | Performance Driven Synthesis for Pass-Transistor Logic. | Tai-Hung Liu, Malay K. Ganai, Adnan Aziz, Jeffrey L. Burns |