| 2002 | ICCD | An Efficient External-Memory Implementation of Region Query with Application to Area Routing. | Stan Y. Liao, Narendra V. Shenoy, William Nicholls |
| 1999 | DATE | Hardware Synthesis from C/C++. | Abhijit Ghosh, Joachim Kunkel, Stan Y. Liao |
| 1997 | DAC | Solving Covering Problems Using LPR-Based Lower Bounds. | Stan Y. Liao, Srinivas Devadas |
| 1997 | DAC | An Efficient Implementation of Reactivity for Modeling Hardware in the Scenic Design Environment. | Stan Y. Liao, Steven W. K. Tjiang, Rajesh K. Gupta |
| 1997 | DAC | Analysis and Evaluation of Address Arithmetic Capabilities in Custom DSP Architectures. | Ashok Sudarsanam, Stan Y. Liao, Srinivas Devadas |
| 1997 | ICASSP | Optimization of embedded DSP programs using post-pass data-flow analysis. | Ashok Sudarsanam, Sharad Malik, Steven W. K. Tjiang, Stan Y. Liao |
| 1995 | DAC | Code Optimization Techniques for Embedded DSP Microprocessors. | Stan Y. Liao, Srinivas Devadas, Kurt Keutzer, Steven W. K. Tjiang, Albert R. Wang |
| 1995 | ICCAD | Instruction selection using binate covering for code size optimization. | Stan Y. Liao, Srinivas Devadas, Kurt Keutzer, Steven W. K. Tjiang |
| 1995 | PLDI | Storage Assignment to Decrease Code Size. | Stan Y. Liao, Srinivas Devadas, Kurt Keutzer, Steven W. K. Tjiang, Albert R. Wang |
| 1993 | ICCAD | Boolean factorization using multiple-valued minimization. | Stan Y. Liao, Srinivas Devadas, Abhijit Ghosh |
| 1992 | ICCAD | Automatic generation and verification of sufficient correctness properties for synchronous processors. | Filip Van Aelten, Stan Y. Liao, Jonathan Allen, Srinivas Devadas |