About Me

I am a third year industrial Ph.D. student at Technische Universität Dresden (TU Dresden) and Huawei Dresden Research Center (Huawei DRC), advised by Dr. Ming Fu and Prof. Hermann Härtig. Prior to joining TU Dresden, I was a research assistant with Fan Yang and Mike Chieh-Jan Liang at Microsoft Research Asia (MSR Asia, MSRA). I obtained my Master’s degree from University of Science and Technology of China (USTC), advised by Prof. Cheng Li and Prof. Xinyu Feng. Before that, I obtained my Bachelor’s degree from USTC, advised by Dr. Ming Fu and Prof. Xinyu Feng.

Research Interests

I am interested in concurrency. My research focuses on how to make the program run correctly and fast under a concurrent environment. Specifically, I am interested in weak consistency models, relaxed memory models, and concurrent data structures combined with formal verification techniques.

Publications

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

[ATC’22] BBQ: A Block-based Bounded Queue for Exchanging Data and Profiling (slides).
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

[09.2021 - Present]
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.