Jin-Yi Wang

According to our database, Jin-Yi Wang authored at least 2 papers between 2005 and 2006.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2006

Pesticide: Using SMT Processors to Improve Performance of Pointer Bug Detection.

Jin-Yi Wang, Yen-Shiang Shue, T. N. Vijaykumar, Saurabh Bagchi

Proceedings of the 24th International Conference on Computer Design (ICCD 2006), 2006

2005

A Marking-Based Synchronized Multimedia Tutoring System for Composition Studies.

Kuo-Yu Liu, Jin-Yi Wang, Herng-Yow Chen

Proceedings of the 5th IEEE International Conference on Advanced Learning Technologies, 2005