ECE: Electrical & Computer Engineering
ECE Faculty

Chao Wang

Photograph of Chao WangOffice: 353 Durham Hall
Mailing Address: 302 Whittemore (0111)
Virginia Tech
Blacksburg, VA 24061
Tel: (540) 231-6904
Fax: (540) 231-3362
vt.edu Email: chaowang

Google Scholar Profile


Affiliated Research Group
Center for Embedded Systems for Critical Applications (CESCA)

Personal website


Title: Assistant Professor

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 Grants: Selected Publications:
  • V. Kahlon and C. Wang, “Lock removal in concurrent trace programs,” CAV, 2012.
  • C. Wang, M. Said, and A. Gupta, “Coverage guided systematic concurrence testing,” ICSE, 2011.
  • N. Sinha and C. Wang, “Interference abstraction,” POPL, 2011.
  • N. Sinha and C. Wang, “Staged concurrent program analysis,” FSE, 2010.
  • V. Kahlon and C. Wang, “Universal Causality Graphs: A Precise Happens-Before Model for Detecting Bugs in Concurrent Programs,” CAV, 2010.