Prof. Chengcheng Yang
East China Normal University, China
Chengcheng Yang is a research professor at School of Data Science and Engineering, East China Normal University (ECNU). His research interests include database benchmarking, database systems, storage engines, and AI4DB. Prior to joining ECNU, he was a postdoctoral researcher at King Abdullah University of Science and Technology. He was also a research associate at Inception Institute of Artificial Intelligence, and a senior engineer at Shanghai Huawei Technology Co. Ltd. He obtained his B.S. and Ph.D. degree from University of Science and Technology of China, in 2012 and 2017 respectively. He has published over 20 research papers at top ranked conferences and journals, including VLDB, ICDE, AAAI, IJCAI, VLDBJ and TKDE. He was awarded best paper award at NPC 2014.
Speech Title: A Black-Box Approach for Efficiently and Effectively Verifying Various Isolation Levels
Abstract: Isolation Levels (IL) act as correct contracts between applications and database management systems (DBMSs). The complex code logic and concurrent interactions among transactions make it a hard problem to expose violations of various ILs stated by DBMSs. With the recent proliferation of new DBMSs, especially the cloud ones, there is an urgent demand for a general way to verify various ILs. The core challenges come from the requirements of: (a) lightweight (verifying without modifying the application logic in workloads and the source code of DBMSs), (b) generality (verifying various ILs), (c) efficiency (performing efficient verification on a long running workload), and (d) effectiveness (generating valid workloads for effective IL test). In this talk, we discuss a number of techniques we have used to efficiently and effectively test IL implementations. With these techniques, we have successfully discovered 23 bugs in commercial databases.
Prof. Zhenwen Ren
Southwest University of Science and Technology, China
Zhenwen Ren received the Ph.D. degree in Control Theory and Control Engineering from the Nanjing University of Science and Technology in 2021. He is currently a professor and doctoral supervisor in the Southwest University of Science and Technology. He has published 80+ peer-reviewed papers, including those in highly regarded journals and conferences, such as CVPR, AAAI, MM, IEEE TIP, IEEE TKDE, IEEE TNNLS, IEEE JSAC, IEEE II, IEEE TCYB, IEEE/CAA JAS, IEEE TMM and IEEE TCSVT. He won five provincial and ministerial awards, including two prizes of National Defense Science and Technology Progress, two prizes of China South Industries Group Corporation, and one Prize of Chinese Society of Image and Graphics. He serves as 20+ international journals and conferences. His research interests include computer vision, machine learning, deep learning, and industrial software. His homepage is http://unix8.net.
Speech Title: TBA
Assoc. Prof. Zhize Wu
Hefei University, China
Zhize Wu, Ph.D., a high-level talent in Hefei City. In 2012 and 2017, he respectively obtained his bachelor's and doctoral degrees from the School of Mathematics and Computer Science at Anhui Normal University and the School of Computer Science and Technology at the University of Science and Technology of China. He is currently an associate professor at the School of Artificial Intelligence and Big Data, Hefei University.
Speech Title: TBA