Chao Wang   Assistant Professor Department of Electrical and Computer Engineering Virginia Tech Office: 353 Durham Hall Address: 320 Whittemore, Virginia Tech, Blacksburg, VA 24061 Phone: (540) 231-6904 Fax: (540) 231-3362 Email: chaowang @ vt . edu

Index

• Short Biography
• Curriculum Vitae
• Publications
• Profession Activities

• Perspective Students...

---

New: I received the ONR young investigator award in 2013 (VT News).

My research is in the areas of formal verification, software verification, and program analysis.

I am currently working on two projects: (1) concurrent software verification; (2) logic based algorithmic program synthesis.

Recent publications:

• Lock removal in concurrent trace programs [CAV12]
• Interference abstraction [POPL11]
• Coverage guided systematic concurrency testing [ICSE11]
• Symbolic predictive analysis [CAV10][FSE10][FM09]

Professional Activities (TPC):

• FSE 2014, FM 2014, ICCD 2013, DIFTS 2013, DaForum 2013, ACCESS 2013, ICECCS 2013
• I gave a tutorial on Predicting Concurrency Failures in x86 Binaries at RV 2011 (paper).
• I organized a tutorial on Embedded Software Verification at ICCAD 2008 (preface, part-1, part-2, and part-3).

Courses:

• ECE 2574 Introduction to Data Structures and Algorithms (Fall 2011)
• ECE 5506 Testing and Verification of Digital Systems II (Spring 2012, Spring 2013)
• ECE/CS 5510 Multiprocessor Programming (Fall 2012)

Students:

• Ph.D. Students: Hassan El-Dib, Bing Liu, Lu Zhang
• M.S. Students: Kiran Adhikari, Arijit Chattopadhyay
• B.S. Students: Markus Kusano

---

Updated: March 2013.