F-Soft: Software Verification Platform
Ivančić, F., Yang, Z., Ganai, M. K., Gupta, A., Shlyakhter, I., Ashar, P.
Published in Computer Aided Verification (2005)
Published in Computer Aided Verification (2005)
Get full text
Book Chapter
Conference Proceeding
Circuit-based Boolean Reasoning
Kuehlmann, Andreas, Ganai, Malay K., Paruthi, Viresh
Published in Annual ACM IEEE Design Automation Conference: Proceedings of the 38th conference on Design automation (01.01.2001)
Published in Annual ACM IEEE Design Automation Conference: Proceedings of the 38th conference on Design automation (01.01.2001)
Get full text
Conference Proceeding
Efficient SAT-based unbounded symbolic model checking using circuit cofactoring
Ganai, M. K., Gupta, A., Ashar, P.
Published in IEEE/ACM International Conference on Computer Aided Design, 2004. ICCAD-2004 (01.01.2004)
Published in IEEE/ACM International Conference on Computer Aided Design, 2004. ICCAD-2004 (01.01.2004)
Get full text
Conference Proceeding
Scalable and precise symbolic analysis for atomicity violations
Ganai, Malay K.
Published in 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011) (06.11.2011)
Published in 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011) (06.11.2011)
Get full text
Conference Proceeding
Efficient state space exploration: Interleaving stateless and state-based model checking
Ganai, M K, Chao Wang, Weihong Li
Published in 2010 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) (01.11.2010)
Published in 2010 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) (01.11.2010)
Get full text
Conference Proceeding
Bitwidth Reduction via Symbolic Interval Analysis for Software Model Checking
Zaks, A., Zijiang Yang, Shlyakhter, I., Ivancic, F., Cadambi, S., Ganai, M.K., Gupta, A., Ashar, P.
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01.08.2008)
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01.08.2008)
Get full text
Journal Article
BEST: A symbolic testing tool for predicting multi-threaded program failures
Ganai, Malay K., Arora, Nipun, Wang, Chao, Gupta, Aarti, Balakrishnan, Gogul
Published in 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011) (06.11.2011)
Published in 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011) (06.11.2011)
Get full text
Conference Proceeding
Combining strengths of circuit-based and CNF-based algorithms for a high-performance SAT solver
Ganai, Malay K., Ashar, Pranav, Gupta, Aarti, Zhang, Lintao, Malik, Sharad
Published in Annual ACM IEEE Design Automation Conference: Proceedings of the 39th conference on Design automation : New Orleans, Louisiana, USA; 10-14 June 2002 (10.06.2002)
Published in Annual ACM IEEE Design Automation Conference: Proceedings of the 39th conference on Design automation : New Orleans, Louisiana, USA; 10-14 June 2002 (10.06.2002)
Get full text
Conference Proceeding
Model checking C programs using F-Soft
Ivancic, F., Shlyakhter, I., Gupta, A., Ganai, M.K., Kahlon, V., Chao Wang, Zijiang Yang
Published in 2005 International Conference on Computer Design (2005)
Published in 2005 International Conference on Computer Design (2005)
Get full text
Conference Proceeding
Numerical stability analysis of floating-point computations using software model checking
Ivancic, F, Ganai, M K, Sankaranarayanan, S, Gupta, A
Published in Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010) (01.07.2010)
Published in Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010) (01.07.2010)
Get full text
Conference Proceeding
Localization and Register Sharing for Predicate Abstraction
Jain, Himanshu, Ivančić, Franjo, Gupta, Aarti, Ganai, Malay K.
Published in Lecture notes in computer science (2005)
Published in Lecture notes in computer science (2005)
Get full text
Book Chapter
Conference Proceeding
SDSAT: Tight Integration of Small Domain Encoding and Lazy Approaches in a Separation Logic Solver
Ganai, Malay K, Talupur, Muralidhar, Gupta, Aarti
Published in Lecture notes in computer science (2006)
Published in Lecture notes in computer science (2006)
Get full text
Book Chapter
Conference Proceeding
DiVer: SAT-Based Model Checking Platform for Verifying Large Scale Systems
Get full text
Book Chapter
Conference Proceeding
Scalable and precise program analysis at NEC
Balakrishnan, G, Ganai, M K, Gupta, A, Ivancic, F, Kahlon, V, Weihong Li, Maeda, N, Papakonstantinou, N, Sankaranarayanan, S, Sinha, N, Chao Wang
Published in Formal Methods in Computer Aided Design (01.10.2010)
Get full text
Published in Formal Methods in Computer Aided Design (01.10.2010)
Conference Proceeding
Verification of Embedded Memory Systems using Efficient Memory Modeling
Ganai, Malay K., Gupta, Aarti, Ashar, Pranav
Published in Design, Automation and Test in Europe (07.03.2005)
Published in Design, Automation and Test in Europe (07.03.2005)
Get full text
Conference Proceeding
Performance driven synthesis for pass-transistor logic
Tai-Hung Liu, Ganai, M.K., Aziz, A., Burns, J.L.
Published in Proceedings Twelfth International Conference on VLSI Design. (Cat. No.PR00013) (1999)
Published in Proceedings Twelfth International Conference on VLSI Design. (Cat. No.PR00013) (1999)
Get full text
Conference Proceeding