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: Jain:Himanshu
Contributed to:
2009
2009
2008
20072006
200620052005Wrote 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.