Chao Wang    

 Project: Round-Up

 

 

 

Description: The objective of this research is to develop automated static and runtime analysis techniques for detecting and mitigating bugs in concurrent systems, e.g., low-level systems code and implementations of concurrent data structures. Concurrent software in general and concurrent data structures in particular are becoming widespread in multi-core and distributed computing environments. However, they are difficult to design and analyze due to the often astronomically large number of thread interleavings. We are developing algorithms and software tools to help programmers analyze and debug these applications.

  

Publications:

 

  

Benchmarks:

  • Round-Up on Bitbucket : Source code and benchmarks of the tool used in our ASE 2013 and TSE 2015 papers