| 2002 | VLSID | Property-Specific Testbench Generation for Guided Simulation. | Aarti Gupta, Albert E. Casavant, Pranav Ashar, Sean Liu, Akira Mukaiyama, Kazutoshi Wakabayashi |
| 2001 | DATE | Property-specific witness graph generation for guided simulation. | Albert E. Casavant, Aarti Gupta, S. Liu, Akira Mukaiyama, Kazutoshi Wakabayashi, Pranav Ashar |
| 1995 | DATE | Balancing structural hazards and hardware cost of pipelined processors. | Albert E. Casavant |
| 1994 | DAC | MIST - A Design Aid for Programmable Pipelined Processors. | Albert E. Casavant |
| 1990 | DAC | Automatic Operator Configuration in the Synthesis of Pipelined Architectures. | Kristen N. McNall, Albert E. Casavant |
| 1989 | ICCAD | Tree-height minimization in pipelined architectures. | Richard I. Hartley, Albert E. Casavant |
| 1989 | ICCAD | Scheduling and hardware sharing in pipelined data paths. | Ki Soo Hwang, Albert E. Casavant, Ching-Tang Chang, Manuel A. d'Abreu |
| 1988 | ICCAD | Constrained conditional resource sharing in pipeline synthesis. | Ki Soo Hwang, Albert E. Casavant, Martin Dragomirecky, Manuel A. d'Abreu |
| 1980 | DAC | Automatic design with dependence graphs. | Albert E. Casavant, Daniel D. Gajski, David J. Kuck |