| 2012 | VLSID | Accurate Leakage Estimation for FinFET Standard Cells Using the Response Surface Methodology. | Sourindra Chaudhuri, Prateek Mishra, Niraj K. Jha |
| 2010 | DATE | Low-power FinFET circuit synthesis using surface orientation optimization. | Prateek Mishra, Niraj K. Jha |
| 2008 | VLSID | Threshold Voltage Control through Multiple Supply Voltages for Power-Efficient FinFET Interconnects. | Anish Muttreja, Prateek Mishra, Niraj K. Jha |
| 1996 | CSCW | DCWPL: A Programming Language for Describing Collaborative Work. | Mauricio Cortes, Prateek Mishra |
| 1991 | POPL | On the Power and Limitation of Strictness Analysis Based on Abstract Interpretation. | R. C. Sekar, Prateek Mishra, I. V. Ramakrishnan |
| 1990 | ICALP | Operational and Algebraic Semantics for Facile: A Symmetric Integration of Concurrent and Functional Programming. | Sanjiva Prasad, Alessandro Giacalone, Prateek Mishra |
| 1988 | ESOP | Type Inference with Subtypes. | You-Chin Fuh, Prateek Mishra |
| 1987 | POPL | On Strictness and its Analysis. | Tsung-Min Kuo, Prateek Mishra |
| 1985 | POPL | Declaration-Free Type Checking. | Prateek Mishra, Uday S. Reddy |
| 1984 | POPL | Static Inference of Properties of Applicative Programs. | Prateek Mishra, Robert M. Keller |