Challenges and Opportunities in Heterogeneous Manycore Era

It is a relatively comprehensive introduction of research topics investigated in Huawei Dresden Research Center,
especially focus on the multicore concurrency area. DRC have built the top capabilities for the verified concurrent control and optimization,
including its verified concurrent library (libvsync), as well as toolsets for guaranteeing the correctness of concurrent programs, and helping to debug concurrent bugs.
It also shows some challenges from product lines in Huawei in this area, where we can find opportunities working with academia on some real problems from industrial.