Jeremy R. Levitt
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
5
Active years
1995–2008
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2008 | DAC | Functional test selection based on unsupervised support vector analysis. | Onur Guzey, Li-C. Wang, Jeremy R. Levitt, Harry Foster |
| 2005 | ASPDAC | Automatic assume guarantee analysis for assertion-based formal verification. | Dong Wang, Jeremy R. Levitt |
| 2001 | LICS | A Decision Procedure for an Extensional Theory of Arrays. | Aaron Stump, Clark W. Barrett, David L. Dill, Jeremy R. Levitt |
| 1998 | DAC | A Decision Procedure for Bit-Vector Arithmetic. | Clark W. Barrett, David L. Dill, Jeremy R. Levitt |
| 1997 | ICCAD | Verifying correct pipeline implementation for microprocessors. | Jeremy R. Levitt, Kunle Olukotun |
| 1996 | DAC | A Scalable Formal Verification Methodology for Pipelined Microprocessors. | Jeremy R. Levitt, Kunle Olukotun |
| 1996 | FMCAD | Validity Checking for Combinations of Theories with Equality. | Clark W. Barrett, David L. Dill, Jeremy R. Levitt |
| 1995 | DAC | A General Method for Compiling Event-Driven Simulations. | Robert S. French, Monica S. Lam, Jeremy R. Levitt, Kunle Olukotun |