Malay K. Ganai

According to our database, Malay K. Ganai authored at least 62 papers between 1999 and 2014.

Collaborative distances:

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

2014

Environment-Sensitive Performance Tuning for Distributed Service Orchestration.

Yu Lin, Franjo Ivancic, Pallavi Joshi, Gogul Balakrishnan, Malay K. Ganai, Aarti Gupta

Proceedings of the High Performance Computing for Computational Science - VECPAR 2014 - 11th International Conference, Eugene, OR, USA, June 30, 2014

ReproLite: A Lightweight Tool to Quickly Reproduce Hard System Bugs.

Kaituo Li, Pallavi Joshi, Aarti Gupta, Malay K. Ganai

Proceedings of the ACM Symposium on Cloud Computing, 2014

2013

SETSUDŌ: perturbation-based testing framework for scalable distributed systems.

Pallavi Joshi, Malay K. Ganai, Gogul Balakrishnan, Aarti Gupta, Nadia Papakonstantinou

Proceedings of the First ACM SIGOPS Conference on Timely Results in Operating Systems, 2013

Efficient data race prediction with incremental reasoning on time-stamped lock history.

Malay K. Ganai

Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

2012

DTAM: dynamic taint analysis of multi-threaded programs for relevancy.

Malay K. Ganai, Dongyoon Lee, Aarti Gupta

Proceedings of the 20th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-20), 2012

Dynamic Livelock Analysis of Multi-threaded Programs.

Malay K. Ganai

Proceedings of the Runtime Verification, Third International Conference, 2012

2011

Symbolic predictive analysis for concurrent programs.

Chao Wang, Sudipta Kundu, Rhishikesh Limaye, Malay K. Ganai, Aarti Gupta

Formal Aspects Comput., 2011

Predicting Concurrency Failures in the Generalized Execution Traces of x86 Executables.

Chao Wang, Malay K. Ganai

Proceedings of the Runtime Verification - Second International Conference, 2011

BEST: A symbolic testing tool for predicting multi-threaded program failures.

Malay K. Ganai, Nipun Arora, Chao Wang, Aarti Gupta, Gogul Balakrishnan

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

Scalable and precise symbolic analysis for atomicity violations.

Malay K. Ganai

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

2010

Trace-Based Symbolic Analysis for Atomicity Violations.

Chao Wang, Rhishikesh Limaye, Malay K. Ganai, Aarti Gupta

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2010

Interval Analysis for Concurrent Trace Programs Using Transaction Sequence Graphs.

Malay K. Ganai, Chao Wang

Proceedings of the Runtime Verification - First International Conference, 2010

Numerical stability analysis of floating-point computations using software model checking.

Franjo Ivancic, Malay K. Ganai, Sriram Sankaranarayanan, Aarti Gupta

Proceedings of the 8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), 2010

Efficient state space exploration: Interleaving stateless and state-based model checking.

Malay K. Ganai, Chao Wang, Weihong Li

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

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

Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010

Propelling SAT and SAT-based BMC using careset.

Malay K. Ganai

Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010

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

Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010

Contessa: Concurrency Testing Augmented with Symbolic Analysis.

Sudipta Kundu, Malay K. Ganai, Chao Wang

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

2009

Reduction of Verification Conditions for Concurrent System Using Mutually Atomic Transactions.

Malay K. Ganai, Sudipta Kundu

Proceedings of the Model Checking Software, 2009

Bang for the buck: Improvising and scheduling verification engines for effective resource utilization.

Malay K. Ganai, Weihong Li

Proceedings of the 7th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2009), 2009

Efficient decision procedure for non-linear arithmetic constraints using CORDIC.

Malay K. Ganai, Franjo Ivancic

Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, 2009

Symbolic Predictive Analysis for Concurrent Programs.

Chao Wang, Sudipta Kundu, Malay K. Ganai, Aarti Gupta

Proceedings of the FM 2009: Formal Methods, 2009

2008

Efficient SAT-based bounded model checking for software verification.

Franjo Ivancic, Zijiang Yang, Malay K. Ganai, Aarti Gupta, Pranav Ashar

Theor. Comput. Sci., 2008

Bitwidth Reduction via Symbolic Interval Analysis for Software Model Checking.

Aleksandr Zaks, Zijiang Yang, Ilya Shlyakhter, Franjo Ivancic, Srihari Cadambi, Malay K. Ganai, Aarti Gupta, Pranav Ashar

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2008

Efficient Modeling of Concurrent Systems in BMC.

Malay K. Ganai, Aarti Gupta

Proceedings of the Model Checking Software, 2008

PED: Proof-Guided Error Diagnosis by Triangulation of Program Error Causes.

Gogul Balakrishnan, Malay K. Ganai

Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008

Embedded software verification: challenges and solutions.

Chao Wang, Malay K. Ganai, Shuvendu K. Lahiri, Daniel Kroening

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

d-TSR: Parallelizing SMT-Based BMC Using Tunnels over a Distributed Framework.

Malay K. Ganai, Weihong Li

Proceedings of the Hardware and Software: Verification and Testing, 2008

Efficient Decision Procedure for Bounded Integer Non-linear Operations Using SMT().

Malay K. Ganai

Proceedings of the Hardware and Software: Verification and Testing, 2008

Completeness in SMT-based BMC for Software Programs.

Malay K. Ganai, Aarti Gupta

Proceedings of the Design, Automation and Test in Europe, 2008

Partial order reduction for scalable testing of systemC TLM designs.

Sudipta Kundu, Malay K. Ganai, Rajesh Gupta

Proceedings of the 45th Design Automation Conference, 2008

Tunneling and slicing: towards scalable BMC.

Malay K. Ganai, Aarti Gupta

Proceedings of the 45th Design Automation Conference, 2008

2007

SAT-Based Scalable Formal Verification Solutions

Malay K. Ganai, Aarti Gupta

Series on Integrated Circuits and Systems, Springer, ISBN: 978-0-387-69167-1, 2007

SDSAT: Tight Integration of Small Domain Encoding and Lazy Approaches in Solving Difference Logic.

Malay K. Ganai, Muralidhar Talupur, Aarti Gupta

J. Satisf. Boolean Model. Comput., 2007

Synthesizing "Verification Aware" Models: Why and How?

Malay K. Ganai, Akira Mukaiyama, Aarti Gupta, Kazutoshi Wakabayashi

Proceedings of the 20th International Conference on VLSI Design (VLSI Design 2007), 2007

Efficient BMC for Multi-Clock Systems with Clocked Specifications.

Malay K. Ganai, Aarti Gupta

Proceedings of the 12th Conference on Asia South Pacific Design Automation, 2007

2006

Efficient distributed SAT and SAT-based distributed Bounded Model Checking.

Malay K. Ganai, Aarti Gupta, Zijiang Yang, Pranav Ashar

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

<i>SDSAT</i>: Tight Integration of <i>Small Domain Encoding</i> and <i>Lazy</i> Approaches in a Separation Logic Solver.

Malay K. Ganai, Muralidhar Talupur, Aarti Gupta

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2006

SAT-Based Verification Methods and Applications in Hardware Verification.

Aarti Gupta, Malay K. Ganai, Chao Wang

Proceedings of the Formal Methods for Hardware Verification, 2006

Accelerating high-level bounded model checking.

Malay K. Ganai, Aarti Gupta

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

Predicate learning and selective theory deduction for a difference logic solver.

Chao Wang, Aarti Gupta, Malay K. Ganai

Proceedings of the 43rd Design Automation Conference, 2006

2005

Lazy Constraints and SAT Heuristics for Proof-Based Abstraction.

Aarti Gupta, Malay K. Ganai, Pranav Ashar

Proceedings of the 18th International Conference on VLSI Design (VLSI Design 2005), 2005

Localization and Register Sharing for Predicate Abstraction.

Himanshu Jain, Franjo Ivancic, Aarti Gupta, Malay K. Ganai

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005

<i>DiVer</i>: SAT-Based Model Checking Platform for Verifying Large Scale Systems.

Malay K. Ganai, Aarti Gupta, Pranav Ashar

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005

Deciding Separation Logic Formulae by SAT and Incremental Negative Cycle Elimination.

Chao Wang, Franjo Ivancic, Malay K. Ganai, Aarti Gupta

Proceedings of the Logic for Programming, 2005

Model Checking C Programs Using F-SOFT.

Franjo Ivancic, Ilya Shlyakhter, Aarti Gupta, Malay K. Ganai, Vineet Kahlon, Chao Wang, Zijiang Yang

Proceedings of the 23rd International Conference on Computer Design (ICCD 2005), 2005

Verification of Embedded Memory Systems using Efficient Memory Modeling.

Malay K. Ganai, Aarti Gupta, Pranav Ashar

Proceedings of the 2005 Design, 2005

Beyond safety: customized SAT-based model checking.

Malay K. Ganai, Aarti Gupta, Pranav Ashar

Proceedings of the 42nd Design Automation Conference, 2005

F-Soft: Software Verification Platform.

Franjo Ivancic, Zijiang Yang, Malay K. Ganai, Aarti Gupta, Ilya Shlyakhter, Pranav Ashar

Proceedings of the Computer Aided Verification, 17th International Conference, 2005

2004

Efficient SAT-based unbounded symbolic model checking using circuit cofactoring.

Malay K. Ganai, Aarti Gupta, Pranav Ashar

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

Efficient Modeling of Embedded Memories in Bounded Model Checking.

Malay K. Ganai, Aarti Gupta, Pranav Ashar

Proceedings of the Computer Aided Verification, 16th International Conference, 2004

2003

Iterative Abstraction using SAT-based BMC with Proof Analysis.

Aarti Gupta, Malay K. Ganai, Zijiang Yang, Pranav Ashar

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

Learning from BDDs in SAT-based bounded model checking.

Aarti Gupta, Malay K. Ganai, Chao Wang, Zijiang Yang, Pranav Ashar

Proceedings of the 40th Design Automation Conference, 2003

Abstraction and BDDs Complement SAT-Based BMC in DiVer.

Aarti Gupta, Malay K. Ganai, Chao Wang, Zijiang Yang, Pranav Ashar

Proceedings of the Computer Aided Verification, 15th International Conference, 2003

2002

Robust Boolean reasoning for equivalence checking and functional property verification.

Andreas Kuehlmann, Viresh Paruthi, Florian Krohm, Malay K. Ganai

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2002

Improved SAT-Based Bounded Reachability Analysis.

Malay K. Ganai, Adnan Aziz

Proceedings of the 7th Asia and South Pacific Design Automation Conference (ASP-DAC 2002), 2002

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

Proceedings of the 39th Design Automation Conference, 2002

2001

SIVA: A System for Coverage-Directed State Space Search.

Malay K. Ganai, Praveen Yalagandula, Adnan Aziz, Andreas Kuehlmann, Vigyan Singhal

J. Electron. Test., 2001

Rarity based guided state space search.

Malay K. Ganai, Adnan Aziz

Proceedings of the 11th ACM Great Lakes Symposium on VLSI 2001, 2001

Circuit-based Boolean Reasoning.

Andreas Kuehlmann, Malay K. Ganai, Viresh Paruthi

Proceedings of the 38th Design Automation Conference, 2001

1999

Performance Driven Synthesis for Pass-Transistor Logic.

Tai-Hung Liu, Malay K. Ganai, Adnan Aziz, Jeffrey L. Burns

Proceedings of the 12th International Conference on VLSI Design (VLSI Design 1999), 1999

Enhancing Simulation with BDDs and ATPG.

Malay K. Ganai, Adnan Aziz, Andreas Kuehlmann

Proceedings of the 36th Conference on Design Automation, 1999