Chen Yi-Yun

Static Data-Race Detection for Multithread Programs

Zhang Jian, Wu Ping, Chen Yi-Yun, 2006 .

A Typed Low-Level Language Used in Java Virtual Machine

Chen Hui, Wu Ping, Xiang Sen, 2006 .