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...

---

I am currently working on the theory, algorithms, and automated tools for concurrent software assurance and security.

Current Research:

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

Professional Activities:

• OOPSLA 2012, FSE 2012, DaForum 2012, ICCD 2012, ICCAD 2011,
• 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 (slides: 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)
• ECE 5510 Multiprocessor Programming (Fall 2012)

Funding:

• I received the NSF CAREER Award in 2012 (VT News, NSF description).

---

Updated: April 2012.