(Tenure-Track) Associate Professor
I am an associate professor in the Software School, Shanghai Jiao Tong University, where I am a part of the Institute of Parallel and Distributed Systems. Before joining SJTU, I was an assistant professor (non-tenure track) at New York University. I am interested in fundamental theory and system building. A common thread of my research is improving the performance and reliability of parallel and distributed database systems.
WeTune is a rule generator that can automatically discover new rewrite rules for SQL statements. It leverages the formal methods to craft the rules instead of relying on human experts. The rules discovered by WeTune are more suitable for web applications than the rules used by MS SQL Server, MYSQL, Calcite e.t.c. We also build a demo which is an online SQL rewriter. It uses the rules automatically generated by WeTune.
XIndex is a scalable key value store for the multicore machine. It leverages the machine learning models to improve both search and space efficiency. Compared with the Learned Index proposed by Google, XIndex has a much better performance by avoiding queries being blocked by concurrent updates.
PolyJuice is a scalable storage system for running database transactions. It uses the machine learning models to synthesize the concurrency control policy at runtime, which enables its high scalability regardless of the contention in the workload.
Paxos2Raft is a distributed key value store based on ETCD. Compared with the original ETCD, it is optimized for reading heavy and geo-distributed environments. Such optimization is enabled by porting two Paxos variants, Paxos Quorum Lease and Mencius, to the Raft protocol used in ETCD. Instead of manually porting, we can automatically port these Paxos variants by formalizing the relationship between Paxos and Raft.
[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. To appear in Proceedings of the 2022 ACM SIGMOD International Conference on Management of Data. (Paper, Extend Ver., code)
[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. To appear in Proceedings of the 2022 ACM SIGMOD International Conference on Management of Data. (Honorable Mention)(paper)
[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)
[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)
[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]
[JCST] Optimistic Transaction Processing in Deterministic Database. Zhiyuan Dong, Chuzhe Tang, Jiachen Wang, Zhaoguo Wang*, Haibo Chen and Binyu Zang. J Comput Sci Technol 35, 2. (paper)
[TPDS] 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. (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. (Best Paper Award) (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)
[SIGMOD] Scaling Multicore Databases via Constrained Parallel Execution. Zhaoguo Wang, Yang Cui, Han Yi, Shuai Mu, Haibo Chen, Jinyang Li. ACM SIGMOD 2016. (pdf)
[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)
[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)
[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)
[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)