| 2010 | ASPDAC | A practice of ESL verification methodology from SystemC to FPGA: using EPC class-1 generation-2 RFID tag design as an example. | W. M. Young, Chua-Huang Huang, Alan P. Su, Chewnpu Jou, Fu-Lung Hsueh |
| 2003 | ICPP | Tensor Product Formulation for Hilbert Space-Filling Curves. | Shen-Yi Lin, Chih-Shen Chen, Li Liu, Chua-Huang Huang |
| 2002 | ICPADS | Tensor Product Modeling of Fault Tolerant Multiprocessor Architectures. | Jyh-Ming Huang, Chua-Huang Huang, Ted C. Yang |
| 2001 | ICPP | A Programming Methodology for Designing Parallel Prefix Algorithms. | Min-Hsuan Fan, Chua-Huang Huang, Yeh-Ching Chung, Jen-Shiuh Liu, Jei-Zhii Lee |
| 1994 | ICPADS | Communication-Efficient Implementation of Block Recursive Algorithms on Distributed-Memory Machines. | Sandeep K. S. Gupta, Chua-Huang Huang, Rodney W. Johnson, P. Sadayappan |
| 1994 | ICS | An approach to communication-efficient data redistribution. | S. D. Kaushik, Chua-Huang Huang, Rodney W. Johnson, P. Sadayappan |
| 1994 | ICS | On sparse matrix reordering for parallel factorization. | Bharat Kumar, P. Sadayappan, Chua-Huang Huang |
| 1994 | SC | EXTENT: a portable programming environment for designing and implementing high-performance block recursive algorithms. | Donglai Dai, Sandeep K. S. Gupta, S. D. Kaushik, J. H. Lu, Raj Verdhan Singh, Chua-Huang Huang, P. Sadayappan, Rodney W. Johnson |
| 1993 | ICPP | Compile-Time Characterization of Recurrent Patterns in Irregular Computations. | Kalluri Eswar, P. Sadayappan, Chua-Huang Huang |
| 1993 | ICPP | Supernodal Sparse Cholesky Facotrization on Distributed-Memory Multiprocessors. | Kalluri Eswar, P. Sadayappan, Chua-Huang Huang, V. Visvanathan |
| 1993 | ICPP | On Compiling Array Expressions for Efficient Execution on Distributed-Memory Machines. | Sandeep K. S. Gupta, S. D. Kaushik, S. Mufti, Sanjay Sharma, Chua-Huang Huang, P. Sadayappan |
| 1993 | SC | Efficient transposition algorithms for large matrices. | S. D. Kaushik, Chua-Huang Huang, John R. Johnson, Rodney W. Johnson, P. Sadayappan |
| 1992 | ICPP | Generating Parallel Programs from Tensor Product Formulas: A Case Study of Strassen's Matrix Multiplication Algorithm. | Chua-Huang Huang, John R. Johnson, Rodney W. Johnson |
| 1992 | SC | An Algebraic Theory for Modeling Direct Interconnection Networks. | S. D. Kaushik, Sanjay Sharma, Chua-Huang Huang, Jeremy R. Johnson, Rodney W. Johnson, P. Sadayappan |
| 1991 | ICPP | On the Synthesis of Programs for Various Parallel Architectures. | H. Allan Fend, Chua-Huang Huang |
| 1990 | SC | Multilinear algebra and parallel programming. | Rodney W. Johnson, Chua-Huang Huang, John R. Johnson |
| 1986 | POPL | A Mechanically Certified Theorem about Optimal Concurrency of Sorting Networks. | Christian Lengauer, Chua-Huang Huang |
| 1984 | CONCUR | The Static Derivation of Concurrency and its Mechanzed Certification. | Christian Lengauer, Chua-Huang Huang |