Virtual Execution Environments: Support and Tools. - Apala Guha; Jason Hiser; Naveen Kumar 002; Jing Yang 003; Min Zhao 009; Shukang Zhou; Bruce R. Childers; Jack W. Davidson; Kim M. Hazelwood; Mary Lou Soffa (IPDPS, 2007)

Clairvoyant: a comprehensive source-level debugger for wireless sensor networks. - Jing Yang 003; Mary Lou Soffa; Leo Selavo; Kamin Whitehouse (SenSys, 2007)

Effective source-level debugging of wireless sensor networks. - Jing Yang 003; Mary Lou Soffa; Kamin Whitehouse (SenSys, 2007)

Lazy preemption to enable path-based analysis of interrupt-driven code. - Wei Le; Jing Yang 003; Mary Lou Soffa; Kamin Whitehouse (SESENA@ICSE, 2011)

Object Model Construction for Inheritance in C++ and Its Applications to Program Analysis. - Jing Yang 003; Gogul Balakrishnan; Naoto Maeda; Franjo Ivancic; Aarti Gupta; Nishant Sinha 001; Sriram Sankaranarayanan 001; Naveen Sharma (CC, 2012)