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 × Austria
1 × Canada
1 × France
1 × Israel
2 × Germany
3 × USA
Collaborated with:
M.Heule N.Wetzler J.Sawada S.Swords E.Reeber S.Ray V.Viswanath J.A.Abraham L.Cruz-Filipe M.J.H.Heule M.Kaufmann P.Schneider-Kamp
Talks about:
verif (6) microprocessor (3) pipelin (3) express (2) effici (2) proof (2) trim (2) drat (2) base (2) use (2)

Person: Warren A. Hunt Jr.

DBLP DBLP: Hunt Jr.:Warren_A=

Facilitated 1 volumes:

CAV 2003Ed

Contributed to:

CADE 20152015
SAT 20142014
CADE 20132013
CAV 20092009
DATE 20062006
IJCAR 20062006
CAV 20042004
CAV 19981998
CAV 19971997
CADE 20172017

Wrote 11 papers:

CADE-2015-HeuleHW #proving #symmetry
Expressing Symmetry Breaking in DRAT Proofs (MH, WAHJ, NW), pp. 591–606.
SAT-2014-WetzlerHH #named #performance #proving #using
DRAT-trim: Efficient Checking and Trimming Using Expressive Clausal Proofs (NW, MH, WAHJ), pp. 422–429.
CADE-2013-HeuleHW #verification
Verifying Refutations with Extended Resolution (MH, WAHJ, NW), pp. 345–359.
CAV-2009-HuntS #verification
Centaur Technology Media Unit Verification (WAHJ, SS), pp. 353–367.
DATE-2006-ViswanathAJ #automation #pipes and filters #power management
Automatic insertion of low power annotations in RTL for pipelined microprocessors (VV, JAA, WAHJ), pp. 496–501.
IJCAR-2006-ReeberH #satisfiability #subclass
A SAT-Based Decision Procedure for the Subclass of Unrollable List Formulas in ACL2 (SULFA) (ER, WAHJ), pp. 453–467.
CAV-2004-Hunt #verification
Mechanical Mathematical Methods for Microprocessor Verification (WAHJ), pp. 523–533.
CAV-2004-RayH #deduction #first-order #pipes and filters #quantifier #using #verification
Deductive Verification of Pipelined Machines Using First-Order Quantification (SR, WAHJ), pp. 31–43.
CAV-1998-SawadaH #execution #precise #verification
Processor Verification with Precise Exeptions and Speculative Execution (JS, WAHJ), pp. 135–146.
CAV-1997-SawadaH #approach #pipes and filters #verification
Trace Table Based Approach for Pipeline Microprocessor Verification (JS, WAHJ), pp. 364–375.
CADE-2017-Cruz-FilipeHHKS #performance #verification
Efficient Certified RAT Verification (LCF, MJHH, WAHJ, MK, PSK), pp. 220–236.

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.