BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × Portugal
1 × United Kingdom
5 × USA
Collaborated with:
E.M.Clarke D.Kröning N.Sharygina F.Ivancic A.Gupta O.Grumberg C.Bartzis A.Kölbl R.Jacoby C.Pixley M.K.Ganai I.Shlyakhter C.Wang
Talks about:
abstract (4) predic (3) refin (3) use (3) verilog (2) formula (2) clausal (2) linear (2) effici (2) level (2)

Person: Himanshu Jain

DBLP DBLP: Jain:Himanshu

Contributed to:

DAC 20092009
DATE 20092009
CAV 20082008
TACAS 20072007
CAV 20062006
SAT 20062006
DAC 20052005
TACAS 20052005

Wrote 8 papers:

DAC-2009-JainC #graph #performance #satisfiability #using
Efficient SAT solving for non-clausal formulas using DPLL, graphs, and watched cuts (HJ, EMC), pp. 563–568.
DATE-2009-KoelblJJP #equivalence
Solver technology for system-level to RTL equivalence checking (AK, RJ, HJ, CP), pp. 196–201.
CAV-2008-JainCG #composition #equation #linear #performance
Efficient Craig Interpolation for Linear Diophantine (Dis)Equations and Linear Modular Equations (HJ, EMC, OG), pp. 254–267.
TACAS-2007-JainKSC #abstraction #named #refinement
VCEGAR: Verilog CounterExample Guided Abstraction Refinement (HJ, DK, NS, EMC), pp. 583–586.
CAV-2006-JainIGSW #abstraction #invariant #refinement #using
Using Statically Computed Invariants Inside the Predicate Abstraction and Refinement Loop (HJ, FI, AG, IS, CW), pp. 137–151.
SAT-2006-JainBC #satisfiability #using
Satisfiability Checking of Non-clausal Formulas Using General Matings (HJ, CB, EMC), pp. 75–89.
DAC-2005-JainKSC #abstraction #refinement #verification #word
Word level predicate abstraction and refinement for verifying RTL verilog (HJ, DK, NS, EMC), pp. 445–450.
TACAS-2005-JainIGG #abstraction #locality
Localization and Register Sharing for Predicate Abstraction (HJ, FI, AG, MKG), pp. 397–412.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.