Automatic generation and verification of sufficient correctness properties for synchronous processors. - Filip Van Aelten; Stan Y. Liao; Jonathan Allen; Srinivas Devadas (ICCAD, 1992)

Boolean factorization using multiple-valued minimization. - Stan Y. Liao; Srinivas Devadas; Abhijit Ghosh (ICCAD, 1993)

Challenges in code generation for embedded processors. - Guido Araujo; Srinivas Devadas; Kurt Keutzer; Stan Y. Liao; Sharad Malik; Ashok Sudarsanam; Steven W. K. Tjiang; Albert R. Wang (Code Generation for Embedded Processors, 1994)

Instruction selection using binate covering for code size optimization. - Stan Y. Liao; Srinivas Devadas; Kurt Keutzer; Steven W. K. Tjiang (ICCAD, 1995)

Storage Assignment to Decrease Code Size. - Stan Y. Liao; Srinivas Devadas; Kurt Keutzer; Steven W. K. Tjiang; Albert R. Wang (ACM Trans. Program. Lang. Syst., 1996)

Code generation and optimization for embedded digital signal processors. - Stan Y. Liao (1996)

Solving Covering Problems Using LPR-Based Lower Bounds. - Stan Y. Liao; Srinivas Devadas (DAC, 1997)

An Efficient Implementation of Reactivity for Modeling Hardware in the Scenic Design Environment. - Stan Y. Liao; Steven W. K. Tjiang; Rajesh K. Gupta 001 (DAC, 1997)

Optimization of embedded DSP programs using post-pass data-flow analysis. - Ashok Sudarsanam; Sharad Malik; Steven W. K. Tjiang; Stan Y. Liao (ICASSP, 1997)

Using a Programming Language for Digital System Design. - Rajesh K. Gupta 001; Stan Y. Liao (IEEE Des. Test Comput., 1997)

Code Optimization Techniques in Embedded DSP Microprocessors. - Stan Y. Liao; Srinivas Devadas; Kurt Keutzer; Steven W. K. Tjiang; Albert R. Wang (Des. Autom. Embed. Syst., 1998)

Code density optimization for embedded DSP processors using data compression techniques. - Stan Y. Liao; Srinivas Devadas; Kurt Keutzer (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1998)

A new viewpoint on code generation for directed acyclic graphs. - Stan Y. Liao; Kurt Keutzer; Steven W. K. Tjiang; Srinivas Devadas (ACM Trans. Design Autom. Electr. Syst., 1998)

Hardware Synthesis from C/C++. - Abhijit Ghosh; Joachim Kunkel; Stan Y. Liao (DATE, 1999)

Analysis and Evaluation of Address Arithmetic Capabilities in Custom DSP Architectures. - Ashok Sudarsanam; Stan Y. Liao; Srinivas Devadas (Des. Autom. Embed. Syst., 1999)

Paged Absolute Addressing Mode Optimizations for Embedded Digital Signal Processors Using Post-pass Data-flow Analysis. - Ashok Sudarsanam; Sharad Malik; Steven W. K. Tjiang; Stan Y. Liao (Des. Autom. Embed. Syst., 1999)

A text-compression-based method for code size minimization in embedded systems. - Stan Y. Liao; Srinivas Devadas; Kurt Keutzer (ACM Trans. Design Autom. Electr. Syst., 1999)

Towards a new standard for system-level design. - Stan Y. Liao (CODES, 2000)

YAML: A Tool for Hardware Design Visualization and Capture. - Vivek Sinha; Frederic Doucet; Chuck Siska; Rajesh K. Gupta 001; Stan Y. Liao; Abhijit Ghosh (ISSS, 2000)

Solving covering problems using LPR-based lower bounds. - Farzan Fallah; Stan Y. Liao; Srinivas Devadas (IEEE Trans. Very Large Scale Integr. Syst., 2000)

An Efficient External-Memory Implementation of Region Query with Application to Area Routing. - Stan Y. Liao; Narendra V. Shenoy; William Nicholls (ICCD, 2002)