The BRADLEY DEPARTMENT of ELECTRICAL and COMPUTER ENGINEERING

ECE FACULTY

Chao Wang

Picture of Chao Wang

Office:
353 Durham Hall

Mailing Address:
302 Whittemore (0111)
Virginia Tech
Blacksburg, VA 24061

(540) 231-6904
(540) 231-3362
chaowang@vt.edu

Title:
Assistant Professor

Google Scholar Profile

Personal Website


Education:

Ph.D., University of Colorado at Boulder, 2004
M.S.E.E., Peking University, China, 1999
B.S.E.E., Peking University, China, 1996

Teaching Interests:

software engineering, formal methods, testing and verification

Research Interests:

software engineering, formal methods, testing and verification

Selected Publications:
  • Title: Lock removal in concurrent trace programs
    Author(s): V. Kahlon and C. Wang
    Conference: CAV 2012
  • Title: Coverage guided systematic concurrence testing
    Author(s): C. Wang, M. Said, and A. Gupta
    Conference: ICSE 2011
  • Title: Interference abstraction
    Author(s): N. Sinha and C. Wang
    Conference: POPL 2011
  • Title: Staged concurrent program analysis
    Author(s): N. Sinha and C. Wang
    Conference: FSE 2010
  • Title: Universal Causality Graphs: A Precise Happens-Before Model for Detecting Bugs in Concurrent Programs
    Author(s): V. Kahlon and C. Wang
    Conference: CAV 2010