About Me

I am currently a system researcher at Huawei, specializing in the research and development of highly concurrent, low-latency, and non-blocking system components for HarmonyOS.

I obtained my doctorate degree from Technische Universität Dresden (TU Dresden), where I was advised by Dr. Ming Fu and Prof. Hermann Härtig. My doctoral research focused on system scalability, parallel processing, multi-core concurrency, and concurrent data structures, combined with formal verification techniques.

Prior to joining TU Dresden, I worked as a research assistant at Microsoft Research Asia (MSR Asia, MSRA), collaborating with Fan Yang and Mike Chieh-Jan Liang. I earned my Master’s degree from University of Science and Technology of China (USTC), under the supervision of Prof. Cheng Li and Prof. Xinyu Feng, focusing on distributed systems. My Bachelor’s degree was also obtained from USTC, where I was fortunate to work with Dr. Ming Fu and Prof. Xinyu Feng on formal verification.

Publications

[ASPLOS’25] Enabling Efficient Mobile Tracing with BTrace
Jiawei Wang, Nian Liu, Arnau Casadevall-Saiz, Yutao Liu, Diogo Behrens, Ming Fu, Ning Jia, Hermann Härtig, and Haibo Chen.

[SPAA’24] Brief Announcement: Work Stealing through Partial Asynchronous Delegation (slides)
Jiawei Wang, Yutao Liu, Ming Fu, Hermann Härtig, and Haibo Chen.

[OSDI’23] BWoS: Formally Verified Block-based Work Stealing for Parallel Processing (slides)
Jiawei Wang, Bohdan Trach, Ming Fu, Diogo Behrens, Jonathan Schwender, Yutao Liu, Jitang Lei, Viktor Vafeiadis, Hermann Härtig, and Haibo Chen.

[USENIX ATC’22] BBQ: A Block-based Bounded Queue for Exchanging Data and Profiling (slides and code).
Jiawei Wang, Diogo Behrens, Ming Fu, Lilith Oberhauser, Jonas Oberhauser, Jitang Lei, Geng Chen, Hermann Härtig, and Haibo Chen.

[VLDB’21] AutoGR: Automated Geo-Replication with Fast System Performance and Preserved Application Semantics (slides).
Jiawei Wang, Cheng Li, Kai Ma, Jingze Huo, Feng Yan, Xinyu Feng, and Yinlong Xu.

[SCP’20] Formalizing SPARCv8 Instruction Set Architecture in Coq (extended version).
Jiawei Wang, Ming Fu, Lei Qiao, and Xinyu Feng.

[SETTA’17] Formalizing SPARCv8 Instruction Set Architecture in Coq (slides). Jiawei Wang, Ming Fu, Lei Qiao, and Xinyu Feng.
Best Paper Award Honorable Mention

Experience

[01.2025 - present]
System Researcher, Fields Lab, Huawei Technologies Co., Ltd.

[09.2021 - 12.2024]
Industrial Ph.D. Student in S4C Group, Huawei Dresden Research Center.

[02.2021 - 08.2021]
Research assistant in System Research Group, Microsoft Research Asia.

[07.2020 - 11.2020]
Research assistant in OS Kernel Lab, Huawei Hangzhou Research Institute.

[09.2019 - 01.2020]
Teaching assistant for Compiler Principles, USTC (Fall Semester).

[09.2018 - 01.2019]
Teaching assistant for Compiler Principles, USTC (Fall Semester).

[07.2018 - 08.2018]
Teaching assistant for Computer Programming II, USTC (Summer Semester).

[02.2018 - 07.2018]
Teaching assistant for Computer Programming II, USTC (Spring Semester).

[07.2016 - 10.2016]
Research assistant in R&D department of Cloud Storage, Alibaba Cloud.