A Marking-Based Synchronized Multimedia Tutoring System for Composition Studies. - Kuo-Yu Liu; Jin-Yi Wang; Herng-Yow Chen (ICALT, 2005)

Pesticide: Using SMT Processors to Improve Performance of Pointer Bug Detection. - Jin-Yi Wang; Yen-Shiang Shue; T. N. Vijaykumar; Saurabh Bagchi (ICCD, 2006)