王肇国

长聘副教授、博导

zhaoguowang@sjtu.edu.cn

个人简介

上海交大长聘副教授，博导，软件学院副院长，国家优秀青年科学基金获得者，重点研发计划项目负责人。曾任纽约大学助理教授（非长聘教轨）。主要从事数据库系统与理论研究，成果发表在OSDI、SIGMOD、VLDB、NSDI、PPoPP、PODC等相关领域权威会议上。获2023 ACM SIGMOD研究亮点奖、SIGMOD 2022最佳论文优胜奖（Honorable Mention）、APSys 2017最佳论文奖、ACM ChinaSys新星奖、华为奥林帕斯先锋奖，以及两次华为火花奖。学术兼职包括OpenHarmony技术指导委员会智能数据管理TSG负责人、ACM ChinaSys秘书长、CCF学术工作委员会委员、CCF数据库、系统软件、高性能专委执委、Frontiers of Computer Science青年编委。曾受邀担任第20届ACM ChinaSys大会联合主席、第22届ACM ChinaSys程序委员会联合主席、以及EuroSys 2025、NSDI 2024、SoCC 2024/2023等国际会议的程序委员会成员。

近期项目请参见 英文主页

发表论文

2024

[SIGMOD] WeBridge: Synthesizing Stored Procedures for Large-Scale Real-World Web Applications. Gansen Hu, Zhaoguo Wang*, Chuzhe Tang, Jiahuan Shen, Zhiyuan Dong, Sheng Yao, Haibo Chen. Proceedings of the 2024 ACM SIGMOD International Conference on Management of Data, Santiago, Chile, June 9-15, 2024. (paper)

[SIGMOD] Proving Query Equivalence Using Linear Integer Arithmetic. Haoran Ding, Zhaoguo Wang*, Yicun Yang, Dexin Zhang, Zhenglin Xu, Haibo Chen, Ruzica Piskac, Jinyang Li. Proceedings of the 2024 ACM SIGMOD International Conference on Management of Data, Santiago, Chile, June 9-14, 2024. (paper, code, demo)

[TODS] Ad Hoc Transactions through the Looking Glass: An Empirical Study of Application-Level Transactions in Web Applications. Zhaoguo Wang*, Chuzhe Tang, Xiaodong Zhang, Qianmian Yu, Binyu Zang, Haibing Guan, Haibo Chen. (paper)

2023

[OSDI] Automated Verification of Idempotence for Stateful Serverless Applications. Haoran Ding, Zhaoguo Wang*, Zhuohao Shen, Rong Chen, Haibo Chen. The 17th USENIX Symposium on Operating Systems Design and Implementation, Boston, MA, US, July 2023. (paper)

[VLDB] Fine-Grained Re-Execution for Efficient Batched Commit of Distributed Transactions. Zhiyuan Dong, Zhaoguo Wang*, Xiaodong Zhang, Xian Xu, Changgeng Zhao⋄, Haibo Chen, Aurojit Panda⋄, Jinyang Li. The 49th International Conference on Very Large Data Bases, Vancouver, Canada, August 28-September 1, 2023. (paper)

[SIGMOD Record] Ad Hoc Transactions: What They Are and Why We Should Care. Chuzhe Tang, Zhaoguo Wang*, Xiaodong Zhang, Qianmian Yu, Binyu Zang, Haibing Guan, and Haibo Chen. ACM SIGMOD Record 52, no. 1 (2023): 7-15. (paper) （2023 ACM SIGMOD研究亮点奖）

[ICDE] Database Deadlock Diagnosis for Large-Scale ORM-Based Web Applications. Zhiyuan Dong, Zhaoguo Wang*, Chuanwei Yi, Xian Xu, Jinyuan Zhang, Jinyang Li, Haibo Chen. The 39th IEEE International Conference on Data Engineering, Anaheim, California, USA, April 3-7, 2023. (paper)

[ASPLOS] BeeHive: Sub-second Elasticity for Web Services with Semi-FaaS Execution. Ziming Zhao, Mingyu Wu, Jiawei Tang, Binyu Zang, Zhaoguo Wang , and Haibo Chen. The 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Vancouver, Canada, March 25-29, 2023. (paper)

2022

[SIGMOD] WeTune: Automatic Discovery and Verification of Query Rewrite Rules. Zhaoguo Wang*, Zhou Zhou, Yicun Yang, Haoran Ding, Gansen Hu, Ding Ding, Chuzhe Tang, Haibo Chen, Jinyang Li. Proceedings of the 2022 ACM SIGMOD International Conference on Management of Data. (Paper, Extend Ver.)

[SIGMOD] Ad Hoc Transactions in Web Applications: The Good, the Bad, and the Ugly. Chuzhe Tang, Zhaoguo Wang*, Xiaodong Zhang, Qianmian Yu, Binyu Zang, Haibing Guan, Haibo Chen. Proceedings of the 2022 ACM SIGMOD International Conference on Management of Data. (Paper, Extend Ver) （最佳论文优胜奖）

[TOS] The Concurrent Learned Indexes for Multicore Data Storage. Zhaoguo Wang, Haibo Chen, Youyun Wang, Chuzhe Tang, and Huan Wang. ACM Trans. Storage 18, 1. (paper, code)

2021

[OSDI] Polyjuice: High-Performance Transactions via Learned Concurrency Control. Jiachen Wang, Ding Ding, Huan Wang, Conrad Christensen, Zhaoguo Wang*, Haibo Chen, Jinyang Li. In Proceedings of the 15th USENIX Symposium on Operating Systems Design and Implementation. (paper, Extend Ver., code, slides, video)

[NSDI] Unifying Timestamp with Transaction Ordering for MVCC with Decentralized Scalar Timestamp. Xingda Wei, Rong Chen, Haibo Chen, Zhaoguo Wang, Zhenhan Gong, and Binyu Zang. In Proceedings of 18th USENIX Symposium on Networked Systems Design and Implementation. (paper)

2020

[APSys] SIndex: A Scalable Learned Index for String Keys. Youyun Wang, Chuzhe Tang, Zhaoguo Wang*, Haibo Chen. In Proceedings of the 11th ACM SIGOPS Asia-Pacific Workshop on Systems. (paper, code, slides, video)

[PPoPP] XIndex: A Scalable Learned Index for Multicore Data Storage. Chuzhe Tang, Youyun Wang, Zhiyuan Dong, Gansen Hu, Zhaoguo Wang*, Minjie Wang, and Haibo Chen. In Proceedings of the 25th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. (paper, extended ver., code, slides, video)

[JCST] Optimistic Transaction Processing in Deterministic Database. Zhiyuan Dong, Chuzhe Tang, Jiachen Wang, Zhaoguo Wang*, Haibo Chen and Binyu Zang. Journal of Computer Science and Technology 35, 2. (paper)

2019

[PODC] On the Parallels between Paxos and Raft, and how to Port Optimizations. Zhaoguo Wang, Changgeng Zhao, Shuai Mu, Haibo Chen and Jinyang Li. In Proceedings of the 38th Annual ACM Symposium on Principles of Distributed Computing. (paper, tr)

[Usenix ATC] Pisces: A Scalable and Efficient Persistent Transactional Memory. Jinyu Gu, Qianqian Yu, Xiayang Wang, Zhaoguo Wang*, Binyu Zang, Haibing Guan and Haibo Chen. In Proceedings of the 2019 USENIX Annual Technical Conference. (paper, proof)

2017

[TPDS] Eunomia: Scaling Concurrent Index Structures Under Contention Using HTM. Weihua Zhang, Xin Wang, Shiyu Ji, Ziyun Wei, Zhaoguo Wang*, Haibo Chen. IEEE Transactions on Parallel and Distributed Systems. Accepted, 2017. (paper)

[APSys] Extracting More Intra-transaction Parallelism with Work Stealing for OLTP Workloads. Xiaozhou Zhou, Zhaoguo Wang*, Rong Chen, Haibo Chen, and Jinyang Li. Proceedings of 8th ACM Asia-Pacific Workshop on Systems. Bombay, India, Sep, 2017. (paper) （最佳论文奖）

[PPoPP] Eunomia: Scaling Concurrent Search Trees under Contention Using HTM. Xin Wang, Weihua Zhang, Zhaoguo Wang, Ziyun Wei, Haibo Chen, Wenyun Zhao. PPoPP 2017. (paper)

[TPDS] Replication-based Fault-tolerance for Large-scale Graph Processing. Rong Chen, Youyang Yao, Peng Wang, Kaiyuan Zhang, Zhaoguo Wang, Haibing Guan, Binyu Zang, Haibo Chen. IEEE Transactions on Parallel and Distributed Systems. Accepted, 2017. (paper)

[TOCS] Fast In-memory Transaction Processing using RDMA and HTM. Haibo Chen, Rong Chen, Xingda Wei, Jiaxin Shi, Yanzhe Chen, Zhaoguo Wang, Binyu Zang, Haibing Guan. ACM Transactions on Computer Systems, Vol. 35, No. 1, Article 3, July, 2017. (paper)

[TOS] Efficient and Available In-memory KV-Store with Hybrid Erasure Coding and Replication. Haibo Chen, Heng Zhang, Mingkai Dong, Zhaoguo Wang, Yubin Xia, Haibing Guan, and Binyu Zang. ACM Transactions on Storage, Volume 13, Issue 3, Article No. 25, Oct. 2017. (paper)

2016

[SIGMOD] Scaling Multicore Databases via Constrained Parallel Execution. Zhaoguo Wang, Yang Cui, Han Yi, Shuai Mu, Haibo Chen, Jinyang Li. ACM SIGMOD 2016. (pdf)

2015

[USENIX ATC] Spartan: A distributed array framework with smart tiling. Chien-Chin Huang, Qi Chen, Zhaoguo Wang, Russell Power Jorge Ortiz Jinyang Li and Zhen Xiao. In Proceedings of USENIX Annual Technical Conference 2015. (pdf)

[CAL] Persistent Transactional Memory. Zhaoguo Wang, Han Yi, Ran Liu, Mingkai Dong and Haibo Chen. IEEE Computer Architecture Letters. VOL. 14, NO. 1, JANUARY-JUNE 2015. (pdf)

2014

[EuroSys] Using Restricted Transactional Memory to Build a Scalable In-Memory Database. Zhaoguo Wang, Hao Qian, Jinyang Li, Haibo Chen. The European Conference on Computer Systems, Amsterdam, The Netherlands, 2014. (pdf)

2013

[APsys] Opportunities and pitfalls of multi-core scaling using Hardware Transaction Memory. Zhaoguo Wang, Hao Qian, Haibo Chen, Jinyang Li. In Proceedings of Asia-Pacific Workshop on Systems, Singapore, 2013. (pdf)

2011

[PPoPP] COREMU: a Scalable and Portable Parallel Full-system Emulator. Zhaoguo Wang, Ran Liu, Yufei Chen, Xi Wu, Haibo Chen, Weihua Zang, Binyu Zang. In ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. San Antonio, USA, February, 2011. (pdf)

教学课程

毕业学生去向