| 2024 | SiggraphA | A Plentoptic 3D Vision System. | Agastya Kalra, Vage Taamazyan, Alberto Dall'olio, Raghav Khanna, Tomas Gerlich, Georgia Giannopolou, Guy Stoppi, Daniel Baxter, Abhijit Ghosh, Richard Szeliski, Kartik Venkataraman |
| 2000 | ASPDAC | Methodology for hardware/software co-verification in C/C++ (short paper). | Luc Smria, Abhijit Ghosh |
| 2000 | VLSID | Formal Verification of Synthesized Mixed Signal Designs Using *BMDs. | Abhijit Ghosh, Ranga Vemuri |
| 1999 | DATE | Hardware Synthesis from C/C++. | Abhijit Ghosh, Joachim Kunkel, Stan Y. Liao |
| 1999 | ICCD | Formal Verification of Synthesized Analog Designs. | Abhijit Ghosh, Ranga Vemuri |
| 1996 | ICCAD | An observability-based code coverage metric for functional simulation. | Srinivas Devadas, Abhijit Ghosh, Kurt Keutzer |
| 1995 | ASPDAC | A hardware-software co-simulator for embedded system design and debugging. | Abhijit Ghosh, Michael Bershteyn, Ross Casley, Chiahon Chien, Ankur Jain, Michael Lipsie, Donald Tarrodaychik, Osamu Yamamo |
| 1994 | ICCAD | Precomputation-based sequential logic optimization for low power. | Mazhar Alidina, Jos Monteiro, Srinivas Devadas, Abhijit Ghosh, Marios C. Papaefthymiou |
| 1993 | ICCAD | Boolean factorization using multiple-valued minimization. | Stan Y. Liao, Srinivas Devadas, Abhijit Ghosh |
| 1993 | ICCAD | Retiming sequential circuits for low power. | Jos Monteiro, Srinivas Devadas, Abhijit Ghosh |
| 1993 | ICCAD | Probabilistic construction and manipulation of free Boolean diagrams. | Amelia Shen, Srinivas Devadas, Abhijit Ghosh |
| 1992 | DAC | Estimation of Average Switching Activity in Combinational and Sequential Circuits. | Abhijit Ghosh, Srinivas Devadas, Kurt Keutzer, Jacob K. White |
| 1992 | ICCAD | On average power dissipation and random pattern testability of CMOS combinational logic networks. | Amelia Shen, Abhijit Ghosh, Srinivas Devadas, Kurt Keutzer |
| 1991 | ICCD | Boolean Satisfiability and Equivalence Checking Using General Binary Decision Diagrams. | Pranav Ashar, Abhijit Ghosh, Srinivas Devadas |
| 1991 | VTS | Recent progress in synthesis for testability. | Srinivas Devadas, Kurt Keutzer, Abhijit Ghosh |
| 1990 | DAC | Verification of Interacting Sequential Circuits. | Abhijit Ghosh, Srinivas Devadas, A. Richard Newton |
| 1990 | DAC | Sequential Test Generation at the Register-Transfer and Logic Levels. | Abhijit Ghosh, Srinivas Devadas, A. Richard Newton |
| 1990 | ICCAD | Implicit State Transition Graphs: Applications to Sequential Logic Synthesis and Test. | Pranav Ashar, Abhijit Ghosh, Srinivas Devadas, A. Richard Newton |
| 1990 | ICCD | Heuristic minimization of Boolean relations using testing techniques. | Abhijit Ghosh, Srinivas Devadas, A. Richard Newton |
| 1990 | ITC | Sequential logic synthesis for testability using register-transfer level descriptions. | Abhijit Ghosh, Srinivas Devadas, A. Richard Newton |
| 1989 | ICCAD | Test generation for highly sequential circuits. | Abhijit Ghosh, Srinivas Devadas, A. Richard Newton |