Travelled to:1 × Austria
1 × Cyprus
1 × Italy
1 × South Africa
1 × The Netherlands
12 × USA
2 × Germany
3 × United Kingdom
Collaborated with:A.Gupta C.Wang P.Ashar ∅ S.Kundu G.Balakrishnan M.Talupur A.Kuehlmann Z.Yang F.Ivancic D.Lee R.Gupta V.Paruthi A.Aziz R.Limaye H.Jain N.Arora L.Zhang S.Malik I.Shlyakhter
Talks about:base (10) model (6) sat (6) program (5) analysi (5) symbol (5) verif (4) check (4) scalabl (3) predict (3)
Person: Malay K. Ganai
DBLP: Ganai:Malay_K=
Contributed to:
2013
20122011
2010
2010
2009
2008
2008
20082006
200620062005200520052005200420032003200220011999
2007Wrote 27 papers:
- ASE-2013-Ganai #incremental #performance #predict #reasoning
- Efficient data race prediction with incremental reasoning on time-stamped lock history (MKG), pp. 37–47.
- FSE-2012-GanaiLG #analysis #concurrent #multi #named #source code #thread
- DTAM: dynamic taint analysis of multi-threaded programs for relevancy (MKG, DL, AG), p. 46.
- ASE-2011-Ganai #analysis #precise #scalability
- Scalable and precise symbolic analysis for atomicity violations (MKG), pp. 123–132.
- ASE-2011-GanaiAWGB #concurrent #multi #named #predict #testing #thread
- BEST: A symbolic testing tool for predicting multi-threaded program failures (MKG, NA, CW, AG, GB), pp. 596–599.
- CAV-2010-KunduGW #analysis #concurrent #named #testing
- Contessa: Concurrency Testing Augmented with Symbolic Analysis (SK, MKG, CW), pp. 127–131.
- TACAS-2010-WangLGG #analysis
- Trace-Based Symbolic Analysis for Atomicity Violations (CW, RL, MKG, AG), pp. 328–342.
- FM-2009-WangKGG #analysis #concurrent #predict #source code
- Symbolic Predictive Analysis for Concurrent Programs (CW, SK, MKG, AG), pp. 256–272.
- DAC-2008-GanaiG #scalability #slicing #towards
- Tunneling and slicing: towards scalable BMC (MKG, AG), pp. 137–142.
- DAC-2008-KunduGG #design #partial order #reduction #scalability #testing
- Partial order reduction for scalable testing of systemC TLM designs (SK, MKG, RG), pp. 936–941.
- DATE-2008-GanaiG #smt #source code
- Completeness in SMT-based BMC for Software Programs (MKG, AG), pp. 831–836.
- SEFM-2008-BalakrishnanG #fault #named
- PED: Proof-Guided Error Diagnosis by Triangulation of Program Error Causes (GB, MKG), pp. 268–278.
- DAC-2006-WangGG #deduction #difference #learning #logic
- Predicate learning and selective theory deduction for a difference logic solver (CW, AG, MKG), pp. 235–240.
- SFM-2006-GuptaGW #hardware #satisfiability #verification
- SAT-Based Verification Methods and Applications in Hardware Verification (AG, MKG, CW), pp. 108–143.
- TACAS-2006-GanaiTG #encoding #integration #lazy evaluation #logic #named
- SDSAT: Tight Integration of Small Domain Encoding and Lazy Approaches in a Separation Logic Solver (MKG, MT, AG), pp. 135–150.
- CAV-2005-IvancicYGGSA #framework #named #platform #verification
- F-Soft: Software Verification Platform (FI, ZY, MKG, AG, IS, PA), pp. 301–306.
- DAC-2005-GanaiGA #model checking #safety #satisfiability
- Beyond safety: customized SAT-based model checking (MKG, AG, PA), pp. 738–743.
- DATE-2005-GanaiGA #embedded #memory management #modelling #performance #using #verification
- Verification of Embedded Memory Systems using Efficient Memory Modeling (MKG, AG, PA), pp. 1096–1101.
- TACAS-2005-GanaiGA #framework #model checking #named #platform #satisfiability #scalability #verification
- DiVer: SAT-Based Model Checking Platform for Verifying Large Scale Systems (MKG, AG, PA), pp. 575–580.
- TACAS-2005-JainIGG #abstraction #locality
- Localization and Register Sharing for Predicate Abstraction (HJ, FI, AG, MKG), pp. 397–412.
- CAV-2004-GanaiGA #bound #embedded #model checking #modelling #performance
- Efficient Modeling of Embedded Memories in Bounded Model Checking (MKG, AG, PA), pp. 440–452.
- CAV-2003-GuptaGWYA #abstraction #satisfiability
- Abstraction and BDDs Complement SAT-Based BMC in DiVer (AG, MKG, CW, ZY, PA), pp. 206–209.
- DAC-2003-GuptaGWYA #bound #learning #model checking #satisfiability
- Learning from BDDs in SAT-based bounded model checking (AG, MKG, CW, ZY, PA), pp. 824–829.
- DAC-2002-GanaiAGZM #algorithm #satisfiability
- Combining strengths of circuit-based and CNF-based algorithms for a high-performance SAT solver (MKG, PA, AG, LZ, SM), pp. 747–750.
- DAC-2001-KuehlmannGP #reasoning
- Circuit-based Boolean Reasoning (AK, MKG, VP), pp. 232–237.
- DAC-1999-GanaiAK #simulation
- Enhancing Simulation with BDDs and ATPG (MKG, AA, AK), pp. 385–390.
- SMT-J-2006-GanaiTG #difference #encoding #integration #lazy evaluation #logic #named
- SDSAT: Tight Integration of Small Domain Encoding and Lazy Approaches in Solving Difference Logic (MKG, MT, AG), pp. 91–114.