BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
5 × USA
Collaborated with:
K.Olukotun C.W.Barrett D.L.Dill O.Guzey L.Wang H.Foster A.Stump R.S.French M.S.Lam
Talks about:
procedur (2) vector (2) decis (2) microprocessor (1) unsupervis (1) methodolog (1) extension (1) function (1) arithmet (1) support (1)

Person: Jeremy R. Levitt

DBLP DBLP: Levitt:Jeremy_R=

Contributed to:

DAC 20082008
LICS 20012001
DAC 19981998
DAC 19961996
DAC 19951995

Wrote 5 papers:

DAC-2008-GuzeyWLF #analysis #functional #testing
Functional test selection based on unsupervised support vector analysis (OG, LCW, JRL, HF), pp. 262–267.
LICS-2001-StumpBDL #array
A Decision Procedure for an Extensional Theory of Arrays (AS, CWB, DLD, JRL), pp. 29–37.
A Decision Procedure for Bit-Vector Arithmetic (CWB, DLD, JRL), pp. 522–527.
DAC-1996-LevittO #pipes and filters #scalability #verification
A Scalable Formal Verification Methodology for Pipelined Microprocessors (JRL, KO), pp. 558–563.
DAC-1995-FrenchLLO #compilation #simulation
A General Method for Compiling Event-Driven Simulations (RSF, MSL, JRL, KO), pp. 151–156.

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.