Zongyin Hao

dblp:315/6710 · DBLP profile ↗
← Back
2ranked-venue papers
1as first author
2since 2021 · last 2024
0009-0004-4158-3326ORCID · reported

Domains — the database's venue-derived domains; a paper can count in several

Systems, architecture and hardware · 1 · 1 first-author · 1 since 2021Software engineering, systems software and programming languages · 1 · 1 since 2021

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Software engineering, system software, and programming languages
2 papers
Software testing · 62% Program synthesis and code generation · 29% Program analysis · 10%
Databases, data mining, and information retrieval
2 papers
Query processing and optimization · 79% Database system architecture and tuning · 21%

Topics — the 4 heaviest of 6, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Software testing
database testing
0.812024
SQLess: Dialect-Agnostic SQL Query Simplification · ISSTA 2024
Software testing › test generation
automated test generation
0.712023
Pinolo: Detecting Logical Bugs in Database Management Systems with Approximate Query Synthesis · USENIX ATC 2023
Program synthesis and code generation › DSL-based synthesis
query synthesis
0.712023
Pinolo: Detecting Logical Bugs in Database Management Systems with Approximate Query Synthesis · USENIX ATC 2023
Program analysis
static analysis
0.212024
SQLess: Dialect-Agnostic SQL Query Simplification · ISSTA 2024

Methods — techniques the papers use, named apart from their topics

grammar expansion · 1.5error recovery · 1.5dependency analysis · 1.5alias analysis · 1.5adaptive parsing · 1.5approximate query synthesis · 1.3
YearPublicationVenuePosition
2024 SQLess: Dialect-Agnostic SQL Query Simplification
abstract
Database Management Systems (DBMSs) are fundamental to numerous enterprise applications. Due to the significance of DBMSs, various testing techniques have been proposed to detect DBMS bugs. However, to trigger deep bugs, most of the existing techniques focus on generating lengthy and complex queries which burdens developers with the difficult of debugging. Therefore, SQL query simplification, which aims to reduce lengthy SQL queries without compromising their ability to detect bugs, is highly demanded. To bridge this gap, we introduce SQLess, an innovative approach that employs a dialect-agnostic method for efficient and semantically correct SQL query simplification tailored for various DBMSs. Unlike previous works that have to depend on DBMS-specific grammar, SQLess utilizes an adaptive parser, which leverages error recovery and grammar expansion to support DBMS dialects. Moreover, SQLess performs a semantics-sensitive SQL query trimming, which leverages alias and dependency analysis to simplify SQL queries with preserving bug-triggering capability. We evaluate SQLess using two datasets from the state-of-theart database bug detection studies, encompassing six widely-used DBMSs and over 32,000 complex SQL queries. The results demonstrate SQLess’s superior performance: it achieves an average simplification rate of 72.45%, which significantly outperforms the stateof-the-art approaches by 84.91%.
Zongyin Hao, Chengpeng Wang 0001, Zhuangda Wang, Rongxin Wu, Gang Fan
ISSTA2
2023 Pinolo: Detecting Logical Bugs in Database Management Systems with Approximate Query Synthesis
Zongyin Hao, Quanfeng Huang, Chengpeng Wang 0001, Yushan Zhang, Rongxin Wu, Charles Zhang 0001
USENIX ATC1