| 2007 | ASPDAC | Robust Analog Circuit Sizing Using Ellipsoid Method and Affine Arithmetic. | Xuexin Liu, Wai-Shing Luk, Yu Song, Pushan Tang, Xuan Zeng |
| 2007 | ASPDAC | WCOMP: Waveform Comparison Tool for Mixed-signal Validation Regression in Memory Design. | Peng Zhang, Wai-Shing Luk, Yu Song, Jiarong Tong, Pushan Tang, Xuan Zeng |
| 2005 | ASPDAC | Sequential equivalence checking using cuts. | Wei Huang, Pushan Tang, Min Ding |
| 2000 | ISCAS | Parasitic and mismatch modeling for optimal stack generation [in CMOS]. | Xuan Zeng, Mingyuan Li, Wenqing Zhao, Pushan Tang, Dian Zhou |
| 1999 | ASPDAC | An Analytical Delay Model for SRAM-Based FPGA Interconnections. | Feng Zhou, Zhijun Huang, Jiarong Tong, Pushan Tang |
| 1999 | ISCAS | A constraint-based placement refinement method for CMOS analog cell layout. | Xuan Zeng, J. Guan, Wenqing Zhao, Pushan Tang, Dian Zhou |
| 1998 | ASPDAC | FPART: A Multi-way FPGA Partitioning Procedure Based on the Improved FM Algorithm. | Rongzheng Zhou, Jiarong Tong, Pushan Tang |
| 1989 | ICCAD | Global refinement for building block layout. | Ying-Meng Li, Pushan Tang |