Jing Yang

Publication Activity (10 Years)

Years Active: 2007-2012
Publications (10 Years): 0

Top Topics

Decision Problems

Object Identity

Model Construction

Top Venues

Publications

Jing Yang, Gogul Balakrishnan, Naoto Maeda, Franjo Ivancic, Aarti Gupta, Nishant Sinha, Sriram Sankaranarayanan, Naveen Sharma
Object Model Construction for Inheritance in C++ and Its Applications to Program Analysis. CC (2012)
Wei Le, Jing Yang, Mary Lou Soffa, Kamin Whitehouse
Lazy preemption to enable path-based analysis of interrupt-driven code. SESENA@ICSE (2011)
Apala Guha, Jason Hiser, Naveen Kumar, Jing Yang, Min Zhao, Shukang Zhou, Bruce R. Childers, Jack W. Davidson, Kim M. Hazelwood, Mary Lou Soffa
Virtual Execution Environments: Support and Tools. IPDPS (2007)
Jing Yang, Mary Lou Soffa, Leo Selavo, Kamin Whitehouse
Clairvoyant: a comprehensive source-level debugger for wireless sensor networks. SenSys (2007)
Jing Yang, Mary Lou Soffa, Kamin Whitehouse
Effective source-level debugging of wireless sensor networks. SenSys (2007)