| 2004 | DAC | Large-scale full-wave simulation. | Sharad Kapur, David E. Long |
| 2001 | DATE | CAD for RF circuits. | Piet Wambacq, Gerd Vandersteen, Joel R. Phillips, Jaijeet S. Roychowdhury, Wolfgang Eberle, Baolin Yang, David E. Long, Alper Demir |
| 2001 | VLSID | Computing Phase Noise Eigenfunctions Directly from Harmonic Balance/Shooting Matrices. | Alper Demir, David E. Long, Jaijeet S. Roychowdhury |
| 2000 | DAC | Large-scale capacitance calculation. | Sharad Kapur, David E. Long |
| 2000 | ICCAD | Computing Phase Noise Eigenfunctions Directly from Steady-State Jacobian Matrices. | Alper Demir, David E. Long, Jaijeet S. Roychowdhury |
| 1999 | DATE | Efficient Techniques for Modeling Chip-Level Interconnect, Substrate and Package Parasitics. | Peter Feldmann, Sharad Kapur, David E. Long |
| 1998 | DAC | Tools and Methodology for RF IC Design. | Al Dunlop, Alper Demir, Peter Feldmann, Sharad Kapur, David E. Long, Robert C. Melville, Jaijeet S. Roychowdhury |
| 1998 | DAC | Efficient Three-Dimensional Extraction Based on Static and Full-Wave Layered Green's Functions. | Jinsong Zhao, Wayne Wei-Ming Dai, Sharad Kapur, David E. Long |
| 1998 | ICCAD | High-order Nystrm schemes for efficient 3-D capacitance extraction. | Sharad Kapur, David E. Long |
| 1998 | ICCAD | The design of a cache-friendly BDD library. | David E. Long |
| 1997 | ICCAD | IES3: a fast integral equation solver for efficient 3-dimensional extraction. | Sharad Kapur, David E. Long |
| 1996 | DAC | Identifying Sequential Redundancies Without Search. | Mahesh A. Iyer, David E. Long, Miron Abramovici |
| 1996 | DATE | Surprises in Sequential Redundancy Identification. | Mahesh A. Iyer, David E. Long, Miron Abramovici |
| 1996 | ICCAD | Efficient time-domain simulation of frequency-dependent elements. | Sharad Kapur, David E. Long, Jaijeet S. Roychowdhury |
| 1996 | LICS | Symbolic Protocol Verification With Queue BDDs. | Patrice Godefroid, David E. Long |
| 1996 | VTS | Increasing testability by clock transformation (getting rid of those darn states). | Krishna B. Rajan, David E. Long, Miron Abramovici |
| 1995 | VTS | Identifying sequentially untestable faults using illegal states. | David E. Long, Mahesh A. Iyer, Miron Abramovici |
| 1994 | CAV | An Improved Algorithm for the Evaluation of Fixpoint Expressions. | David E. Long, Anca Browne, Edmund M. Clarke, Somesh Jha, Wilfredo R. Marrero |
| 1992 | ICCAD | Efficient Boolean function matching. | Jerry R. Burch, David E. Long |
| 1992 | POPL | Model Checking and Abstraction. | Edmund M. Clarke, Orna Grumberg, David E. Long |
| 1991 | CONCUR | Model Checking and Modular Verification. | Orna Grumberg, David E. Long |
| 1991 | DAC | Representing Circuits More Efficiently in Symbolic Model Checking. | Jerry R. Burch, Edmund M. Clarke, David E. Long |
| 1989 | LICS | PARTHENON: A Parallel Theorem Prover for Non-Horn Clauses | Soumitra Bose, Edmund M. Clarke, David E. Long, Spiro Michaylov |
| 1989 | LICS | Compositional Model Checking | Edmund M. Clarke, David E. Long, Kenneth L. McMillan |