From 906f00f5fb4a2b5059096c02d50da1ffe39f5ba8 Mon Sep 17 00:00:00 2001 From: Reese Levine Date: Tue, 1 Oct 2024 15:34:10 -0700 Subject: [PATCH] Update 2024fa.md --- content/lsd-seminar/2024fa.md | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/content/lsd-seminar/2024fa.md b/content/lsd-seminar/2024fa.md index 1c76459..1dbb5a0 100644 --- a/content/lsd-seminar/2024fa.md +++ b/content/lsd-seminar/2024fa.md @@ -19,7 +19,7 @@ Talks will be advertised on the [ucsc-lsd-seminar-announce](https://groups.googl | Date | Speaker | Title | |------- |--------- |--------- | -| [Oct 4](#oct-4) | Jinsheng Ba | _TBD_ | +| [Oct 4](#oct-4) | Jinsheng Ba | Testing Database Engines via Query Plans | | [Oct 11](#oct-11) | Jonathan Castello | _TBD_ | | [Oct 18](#oct-18) | Bastian Köpcke | _TBD_ | | [Oct 25](#oct-25) | Haofan Zheng | _TBD_ | @@ -35,11 +35,11 @@ Talks will be advertised on the [ucsc-lsd-seminar-announce](https://groups.googl **Speaker:** Jinsheng Ba -**Title:** _TBD_ +**Title:** Testing Database Engines via Query Plans -**Abstract:** _TBD_ +**Abstract:** Database Management Systems (DBMSs) are fundamental software systems that store, maintain, and retrieve data. They are used in almost every personal computer, mobile device, and server. Therefore, it is important to find bugs before they incur severe consequences. Automatic testing is an efficient and effective technique to find crash bugs, which terminate DBMSs, but is struggling to detect logic bugs and performance issues. Logic bugs refer to incorrect results, while performance issues refer to unexpected slow performance. Unlike crash bugs, both categories of bugs do not terminate DBMSs and are hard to observe by existing automatic testing methods. Triggering them requires valid test cases, which are also challenging to generate automatically. In my PhD thesis, I advance automatic testing to efficiently find logic bugs and performance issues in DBMSs. My approaches are united by the idea of leveraging query plans, which are internal representations of how a DBMS executes a query, for automatically testing DBMSs. I put forward the following thesis statement: Query plans allow efficient and effective testing of DBMSs by providing internal execution information. I propose four research works to utilize query plans for testing. First, to detect performance issues, I propose Cardinality Estimation Restriction Testing (CERT), which inspects estimated cardinalities in query plans without measuring execution time. Second, to identify logic bugs, I propose Differential Query Plans (DQP), which inspects the result consistency of multiple query plans of the same query. Third, to generate diverse test cases for exploring target systems thoroughly, I propose Query Plan Guidance (QPG) for guiding the test case generation process towards diverse query plans. Last, observing that query plans cannot be conveniently used as they are exposed in various DBMS-specific representations, I propose a Unified query plan representation (Uplan) based on an empirical study aiming to reduce the effort of building applications based on query plans. Since most DBMSs---including commercial ones---expose query plans to the user, I consider CERT, DQP, QPG, and Uplan generally applicable, black-box approaches for finding logic bugs, performance issues, and building applications on query plans. These methods are effective as they found more than 100 unique and previously unknown bugs in several widely used DBMSs. I view these results as a step towards more reliable DBMSs, and expect this statement of utilizing query plans for testing can be widely adopted to tackle more problems, such as test suite evaluation, debugging deployed DBMSs, and optimization checking. -**Bio:** _TBD_ +**Bio:** Jinsheng Ba is a postdoctoral researcher in the Advanced Software Technologies (AST) Lab at ETH Zurich, mentored by Prof. Zhendong Su. He received his Ph.D. degree in Computer Science from National University of Singapore (NUS) in 2024, advised by Dr. Manuel Rigger. His research interests include software testing, security, and software engineering. His work has been recognized with Distinguished Paper Award twice at ASE 2022 and ICSE 2023. He is also a recipient of NUS Dean’s Graduate Research Excellence Award. ## Oct 11