Malay K. Ganai

Publication Activity (10 Years)

Years Active: 1999-2014
Publications (10 Years): 0

Top Topics

Distributed Environment

Distributed Systems

Top Venues

Publications

Kaituo Li, Pallavi Joshi, Aarti Gupta, Malay K. Ganai
ReproLite: A Lightweight Tool to Quickly Reproduce Hard System Bugs. SoCC (2014)
Yu Lin, Franjo Ivancic, Pallavi Joshi, Gogul Balakrishnan, Malay K. Ganai, Aarti Gupta
Environment-Sensitive Performance Tuning for Distributed Service Orchestration. VECPAR (2014)
Pallavi Joshi, Malay K. Ganai, Gogul Balakrishnan, Aarti Gupta, Nadia Papakonstantinou
SETSUDŌ: perturbation-based testing framework for scalable distributed systems. TRIOS@SOSP (2013)
Malay K. Ganai
Efficient data race prediction with incremental reasoning on time-stamped lock history. ASE (2013)
Malay K. Ganai
Dynamic Livelock Analysis of Multi-threaded Programs. RV (2012)
Malay K. Ganai, Dongyoon Lee, Aarti Gupta
DTAM: dynamic taint analysis of multi-threaded programs for relevancy. SIGSOFT FSE (2012)
Malay K. Ganai, Nipun Arora, Chao Wang, Aarti Gupta, Gogul Balakrishnan
BEST: A symbolic testing tool for predicting multi-threaded program failures. ASE (2011)
Chao Wang, Sudipta Kundu, Rhishikesh Limaye, Malay K. Ganai, Aarti Gupta
Symbolic predictive analysis for concurrent programs. Formal Aspects Comput. 23 (6) (2011)
Malay K. Ganai
Scalable and precise symbolic analysis for atomicity violations. ASE (2011)
Chao Wang, Malay K. Ganai
Predicting Concurrency Failures in the Generalized Execution Traces of x86 Executables. RV (2011)
Gogul Balakrishnan, Malay K. Ganai, Aarti Gupta, Franjo Ivancic, Vineet Kahlon, Weihong Li, Naoto Maeda, Nadia Papakonstantinou, Sriram Sankaranarayanan, Nishant Sinha, Chao Wang
Scalable and precise program analysis at NEC. FMCAD (2010)
Malay K. Ganai, Chao Wang, Weihong Li
Efficient state space exploration: Interleaving stateless and state-based model checking. ICCAD (2010)
Sicun Gao, Malay K. Ganai, Franjo Ivancic, Aarti Gupta, Sriram Sankaranarayanan, Edmund M. Clarke
Integrating ICP and LRA solvers for deciding nonlinear real arithmetic problems. FMCAD (2010)
Franjo Ivancic, Malay K. Ganai, Sriram Sankaranarayanan, Aarti Gupta
Numerical stability analysis of floating-point computations using software model checking. MEMOCODE (2010)
Sudipta Kundu, Malay K. Ganai, Chao Wang
Contessa: Concurrency Testing Augmented with Symbolic Analysis. CAV (2010)
Malay K. Ganai, Chao Wang
Interval Analysis for Concurrent Trace Programs Using Transaction Sequence Graphs. RV (2010)
Chao Wang, Rhishikesh Limaye, Malay K. Ganai, Aarti Gupta
Trace-Based Symbolic Analysis for Atomicity Violations. TACAS (2010)
Malay K. Ganai
Propelling SAT and SAT-based BMC using careset. FMCAD (2010)
Malay K. Ganai, Sudipta Kundu
Reduction of Verification Conditions for Concurrent System Using Mutually Atomic Transactions. SPIN (2009)
Malay K. Ganai, Weihong Li
Bang for the buck: Improvising and scheduling verification engines for effective resource utilization. MEMOCODE (2009)
Malay K. Ganai, Franjo Ivancic
Efficient decision procedure for non-linear arithmetic constraints using CORDIC. FMCAD (2009)
Chao Wang, Sudipta Kundu, Malay K. Ganai, Aarti Gupta
Symbolic Predictive Analysis for Concurrent Programs. FM (2009)
Malay K. Ganai, Aarti Gupta
Completeness in SMT-based BMC for Software Programs. DATE (2008)
Malay K. Ganai, Aarti Gupta
Tunneling and slicing: towards scalable BMC. DAC (2008)
Malay K. Ganai, Weihong Li
d-TSR: Parallelizing SMT-Based BMC Using Tunnels over a Distributed Framework. Haifa Verification Conference (2008)
Malay K. Ganai
Efficient Decision Procedure for Bounded Integer Non-linear Operations Using SMT(). Haifa Verification Conference (2008)
Gogul Balakrishnan, Malay K. Ganai
PED: Proof-Guided Error Diagnosis by Triangulation of Program Error Causes. SEFM (2008)
Sudipta Kundu, Malay K. Ganai, Rajesh Gupta
Partial order reduction for scalable testing of systemC TLM designs. DAC (2008)
Chao Wang, Malay K. Ganai, Shuvendu K. Lahiri, Daniel Kroening
Embedded software verification: challenges and solutions. ICCAD (2008)
Aleksandr Zaks, Zijiang Yang, Ilya Shlyakhter, Franjo Ivancic, Srihari Cadambi, Malay K. Ganai, Aarti Gupta, Pranav Ashar
Bitwidth Reduction via Symbolic Interval Analysis for Software Model Checking. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 27 (8) (2008)
Franjo Ivancic, Zijiang Yang, Malay K. Ganai, Aarti Gupta, Pranav Ashar
Efficient SAT-based bounded model checking for software verification. Theor. Comput. Sci. 404 (3) (2008)
Malay K. Ganai, Aarti Gupta
Efficient Modeling of Concurrent Systems in BMC. SPIN (2008)
Malay K. Ganai, Muralidhar Talupur, Aarti Gupta
SDSAT: Tight Integration of Small Domain Encoding and Lazy Approaches in Solving Difference Logic. J. Satisf. Boolean Model. Comput. 3 (1-2) (2007)
Malay K. Ganai, Akira Mukaiyama, Aarti Gupta, Kazutoshi Wakabayashi
Synthesizing "Verification Aware" Models: Why and How? VLSI Design (2007)
Malay K. Ganai, Aarti Gupta
Efficient BMC for Multi-Clock Systems with Clocked Specifications. ASP-DAC (2007)
Malay K. Ganai, Aarti Gupta, Pranav Ashar
Verification of Embedded Memory Systems using Efficient Memory Modeling CoRR (2007)
Aarti Gupta, Malay K. Ganai, Chao Wang
SAT-Based Verification Methods and Applications in Hardware Verification. SFM (2006)
Malay K. Ganai, Aarti Gupta
Accelerating high-level bounded model checking. ICCAD (2006)
Malay K. Ganai, Muralidhar Talupur, Aarti Gupta
Approaches in a Separation Logic Solver. TACAS (2006)
Chao Wang, Aarti Gupta, Malay K. Ganai
Predicate learning and selective theory deduction for a difference logic solver. DAC (2006)
Malay K. Ganai, Aarti Gupta, Zijiang Yang, Pranav Ashar
Efficient distributed SAT and SAT-based distributed Bounded Model Checking. Int. J. Softw. Tools Technol. Transf. 8 (4-5) (2006)
Malay K. Ganai, Aarti Gupta, Pranav Ashar
Verification of Embedded Memory Systems using Efficient Memory Modeling. DATE (2005)
Himanshu Jain, Franjo Ivancic, Aarti Gupta, Malay K. Ganai
Localization and Register Sharing for Predicate Abstraction. TACAS (2005)
Franjo Ivancic, Ilya Shlyakhter, Aarti Gupta, Malay K. Ganai, Vineet Kahlon, Chao Wang, Zijiang Yang
Model Checking C Programs Using F-SOFT. ICCD (2005)
Aarti Gupta, Malay K. Ganai, Pranav Ashar
Lazy Constraints and SAT Heuristics for Proof-Based Abstraction. VLSI Design (2005)
Malay K. Ganai, Aarti Gupta, Pranav Ashar
Beyond safety: customized SAT-based model checking. DAC (2005)
Franjo Ivancic, Zijiang Yang, Malay K. Ganai, Aarti Gupta, Ilya Shlyakhter, Pranav Ashar
F-Soft: Software Verification Platform. CAV (2005)
Chao Wang, Franjo Ivancic, Malay K. Ganai, Aarti Gupta
Deciding Separation Logic Formulae by SAT and Incremental Negative Cycle Elimination. LPAR (2005)
Malay K. Ganai, Aarti Gupta, Pranav Ashar
: SAT-Based Model Checking Platform for Verifying Large Scale Systems. TACAS (2005)
Malay K. Ganai, Aarti Gupta, Pranav Ashar
Efficient Modeling of Embedded Memories in Bounded Model Checking. CAV (2004)
Pranav Ashar, Malay K. Ganai, Aarti Gupta, Franjo Ivancic, Zijiang Yang
Efficient SAT-based Bounded Model Checking for Software Verification. ISoLA (Preliminary proceedings) (2004)
Malay K. Ganai, Aarti Gupta, Pranav Ashar
Efficient SAT-based unbounded symbolic model checking using circuit cofactoring. ICCAD (2004)
Aarti Gupta, Malay K. Ganai, Zijiang Yang, Pranav Ashar
Iterative Abstraction using SAT-based BMC with Proof Analysis. ICCAD (2003)
Aarti Gupta, Malay K. Ganai, Chao Wang, Zijiang Yang, Pranav Ashar
Learning from BDDs in SAT-based bounded model checking. DAC (2003)
Aarti Gupta, Malay K. Ganai, Chao Wang, Zijiang Yang, Pranav Ashar
Abstraction and BDDs Complement SAT-Based BMC in DiVer. CAV (2003)
Malay K. Ganai, Aarti Gupta, Zijiang Yang, Pranav Ashar
Efficient Distributed SAT and SAT-Based Distributed Bounded Model Checking. CHARME (2003)
Andreas Kuehlmann, Viresh Paruthi, Florian Krohm, Malay K. Ganai
Robust Boolean reasoning for equivalence checking and functional property verification. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 21 (12) (2002)
Malay K. Ganai, Pranav Ashar, Aarti Gupta, Lintao Zhang, Sharad Malik
Combining strengths of circuit-based and CNF-based algorithms for a high-performance SAT solver. DAC (2002)
Malay K. Ganai, Adnan Aziz
Improved SAT-Based Bounded Reachability Analysis. VLSI Design (2002)
Malay K. Ganai, Praveen Yalagandula, Adnan Aziz, Andreas Kuehlmann, Vigyan Singhal
SIVA: A System for Coverage-Directed State Space Search. J. Electron. Test. 17 (1) (2001)
Malay K. Ganai, Adnan Aziz
Rarity based guided state space search. ACM Great Lakes Symposium on VLSI (2001)
Andreas Kuehlmann, Malay K. Ganai, Viresh Paruthi
Circuit-based Boolean Reasoning. DAC (2001)
Tai-Hung Liu, Malay K. Ganai, Adnan Aziz, Jeffrey L. Burns
Performance Driven Synthesis for Pass-Transistor Logic. VLSI Design (1999)
Malay K. Ganai, Adnan Aziz, Andreas Kuehlmann
Enhancing Simulation with BDDs and ATPG. DAC (1999)