关注
Jiawei Wang
Jiawei Wang
TU Dresden
在 mail.ustc.edu.cn 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
{BBQ}: A Block-based Bounded Queue for Exchanging Data and Profiling
J Wang, D Behrens, M Fu, L Oberhauser, J Oberhauser, J Lei, G Chen, ...
2022 USENIX Annual Technical Conference (USENIX ATC 22), 249-262, 2022
72022
AutoGR: Automated Geo-Replication with Fast System Performance and Preserved Application Semantics
J Wang, C Li, K Ma, J Huo, F Yan, X Feng, Y Xu
Proceedings of the 47th International Conference on Very Large Data Bases …, 2021
62021
Formalizing SPARCv8 instruction set architecture in Coq
J Wang, M Fu, L Qiao, X Feng
Science of Computer Programming, 102371, 2019
62019
Formalizing SPARCv8 Instruction Set Architecture in Coq
J Wang, M Fu, L Qiao, X Feng
International Symposium on Dependable Software Engineering: Theories, Tools …, 2017
62017
{BWoS}: Formally Verified Block-based Work Stealing for Parallel Processing
J Wang, B Trach, M Fu, D Behrens, J Schwender, Y Liu, J Lei, V Vafeiadis, ...
17th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2023
22023
Brief Announcement: Work Stealing through Partial Asynchronous Delegation
J Wang, Y Liu, M Fu, H Härtig, H Chen
Proceedings of the 36th ACM Symposium on Parallelism in Algorithms and …, 2024
2024
系统目前无法执行此操作，请稍后再试。
文章 1–6