| 1997 | ICCAD | Hardware/software partitioning for multi-function systems. | Asawaree Kalavade, P. A. Subrahmanyam |
| 1997 | VLSID | T2: HW-SW Codesign. | P. A. Subrahmanyam, R. Gupta, B. S. Rao |
| 1995 | ICCAD | Extracting RTL models from transistor netlists. | K. J. Singh, P. A. Subrahmanyam |
| 1993 | ICCD | Specification and Synthesis of Mixed-Mode Systems: Experiments in a VHDL Environment. | P. A. Subrahmanyam, Josep M. Espinalt, Meng-Lin Yu |
| 1992 | DAC | A Path-Oriented Approach for Reducing Hazards in Asynchronous Designs. | Meng-Lin Yu, P. A. Subrahmanyam |
| 1992 | ICCD | Comparing Layouts with HDL Models: A Formal Verification Technique. | Timothy Kam, P. A. Subrahmanyam |
| 1992 | VLSID | A Verification Guide for the Perplexed Designer: Matching Verification Techniques and Design Tasks. | P. A. Subrahmanyam |
| 1989 | DAC | A Note on Clustering Modules for Floorplanning. | John D. Gabbe, P. A. Subrahmanyam |
| 1989 | ICCD | Automated synthesis of systems with interacting asynchronous (self-timed) and synchronous components. | P. A. Subrahmanyam |
| 1987 | DAC | LCS - A Leaf Cell Synthesizer Employing Formal Deduction Techniques. | P. A. Subrahmanyam |
| 1986 | ICALP | E-Unification Algorithms for a Class of Confluent Term Rewriting Systems. | Jia-Huai You, P. A. Subrahmanyam |
| 1986 | POPL | Equational Logic Programming: An Extension to Equational Programming. | Jia-Huai You, P. A. Subrahmanyam |
| 1984 | POPL | Pattern Driven Lazy Reduction: A Unifying Evaluation Mechanism for Functional and Logic Programs. | P. A. Subrahmanyam, Jia-Huai You |
| 1981 | ICALP | Nondeterminism in Abstract Data Types. | P. A. Subrahmanyam |
| 1980 | AAAI | A Basis for a Theory of Program Synthesis. | P. A. Subrahmanyam |