| 2009 | ITC | AutoRex: An automated post-silicon clock tuning tool. | Desta Tadesse, Joel Grodstein, R. Iris Bahar |
| 2008 | VTS | Fast Measurement of the "Non-Deterministic Zone" in Microprocessor Debug Using Maximum Likelihood Estimation. | Desta Tadesse, R. Iris Bahar, Joel Grodstein |
| 2007 | DATE | Accurate timing analysis using SAT and pattern-dependent delay models. | Desta Tadesse, D. Sheffield, E. Lenge, R. Iris Bahar, Joel Grodstein |
| 2003 | ICCD | Automatic Generation of Critical-Path Tests for a Partial-Scan Microprocessor. | Joel Grodstein, Dilip K. Bhavsar, Vijay Bettada, Richard A. Davies |
| 2003 | ICCD | Symbolic Failure Analysis of Custom Circuits due to Excessive Leakage Current. | Hui-Yuan Song, S. Bohidar, R. Iris Bahar, Joel Grodstein |
| 1998 | ICCD | Static race verification for networks with reconvergent clocks. | Joel Grodstein, Nick Rethman, Nevine Nassif |
| 1995 | ICCAD | A delay model for logic synthesis of continuously-sized networks. | Joel Grodstein, Eric Lehman, Heather Harkness, Bill Grundmann, Yosinori Watanabe |
| 1995 | ICCAD | Logic decomposition during technology mapping. | Eric Lehman, Yosinori Watanabe, Joel Grodstein, Heather Harkness |
| 1994 | ICCAD | Optimal latch mapping and retiming within a tree. | Joel Grodstein, Eric Lehman, Heather Harkness, Herv J. Touati, Bill Grundmann |
| 1993 | ICCAD | A simple algorithm for fanout optimization using high-performance buffer libraries. | K. Kodandapani, Joel Grodstein, Antun Domic, Herv J. Touati |
| 1991 | DAC | Timing Verification on a 1.2M-Device Full-Custom CMOS Design. | Jengwei Pan, Larry L. Biro, Joel Grodstein, William J. Grundmann, Yao-Tsung Yen |
| 1991 | ICCAD | Automatic Detection of MOS Synchronizers for Timing Verification. | Joel Grodstein, Nick Rethman, Rahul Razdan, Gabriel P. Bischoff |
| 1990 | ICCAD | Race Detection for Two-Phase Systems. | Joel Grodstein, Jim Montanaro, Susanne Marino |
| 1990 | ICCAD | Constraint Identification for Timing Verification. | Joel Grodstein, Jengwei Pan, William J. Grundmann, Bruce Gieseke, Yao-Tsung Yen |