Logic from Programming Language Semantics. - Young-il Choo (1987)

Crystal: from functional description to efficient parallel code. - Marina C. Chen; Young-il Choo; Jingke Li (C³P, 1988)

Compiling parallel programs by optimizing performance. - Marina C. Chen; Young-il Choo; Jingke Li (J. Supercomput., 1988)

Minimizing Communication Cost for Distributed Arrays on Massively Parallel Machines. - Marina C. Chen; Young-il Choo; Michel Jacquemin (PP, 1989)

Parallel-Program Transformation Using A Metalanguage. - J. Allan Yang; Young-il Choo (PPoPP, 1991)

Metalinguistic features for formal parallel-program transformation. - J. Allan Yang; Young-il Choo (ICCL, 1992)

Formal Derivation of an Efficient Parallel 2-D Gauss-Siedel Method. - J. Allan Yang; Young-il Choo (IPPS, 1992)

Distributed Tree Structures for N-Body Simulation. - A. Satish Pai; Young-il Choo; Marina C. Chen (LCR, 1995)