Jinhui Lai

dblp:118/4587 · DBLP profile ↗
← Back
2ranked-venue papers
1as first author
2since 2021 · last 2025
0009-0008-9331-1655ORCID · reported

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

Systems, architecture and hardware · 1 · 1 since 2021Databases, data management, data science and information retrieval · 1 · 1 first-author · 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 · 63% Runtime systems and virtual machines · 18% Concurrent programming · 18%
Databases, data mining, and information retrieval
1 paper
Query processing and optimization · 100%
Computer architecture, parallel and distributed computing, and storage systems
1 paper
Processor architecture and microarchitecture · 100%

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

TopicWeightPapersLastEvidence papers
Software testing
black-box testing
0.912025
SRS: Detecting Logic Bugs of Join Implementation in DBMSs via Set Relation Synthesis · Proc. ACM Manag. Data 2025
Software testing
database testing
0.912025
SRS: Detecting Logic Bugs of Join Implementation in DBMSs via Set Relation Synthesis · Proc. ACM Manag. Data 2025
Software testing › fault detection
logic bug detection
0.912025
SRS: Detecting Logic Bugs of Join Implementation in DBMSs via Set Relation Synthesis · Proc. ACM Manag. Data 2025
Runtime systems and virtual machines
binary translation
0.812024
CrossMapping: Harmonizing Memory Consistency in Cross-ISA Binary Translation · USENIX ATC 2024
Concurrent programming
memory models
0.812024
CrossMapping: Harmonizing Memory Consistency in Cross-ISA Binary Translation · USENIX ATC 2024
Query processing and optimization › query optimization › join ordering
join optimization
0.312025
SRS: Detecting Logic Bugs of Join Implementation in DBMSs via Set Relation Synthesis · Proc. ACM Manag. Data 2025
Query processing and optimization
join processing
0.312025
SRS: Detecting Logic Bugs of Join Implementation in DBMSs via Set Relation Synthesis · Proc. ACM Manag. Data 2025
Processor architecture and microarchitecture
instruction set architecture
0.212024
CrossMapping: Harmonizing Memory Consistency in Cross-ISA Binary Translation · USENIX ATC 2024

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

set relation · 1.7query transformation · 1.7binary translation · 1.5
YearPublicationVenuePosition
2025 SRS: Detecting Logic Bugs of Join Implementation in DBMSs via Set Relation Synthesis
abstract
Logic bugs can cause DBMSs to silently produce incorrect results for a given query, posing significant threats to software reliability and remaining challenging to detect. Join is a fundamental operation in DBMSs, enabling the combination of data from multiple tables; however, due to its complexity, it is also susceptible to logic bugs. Existing works detect logic bugs in join optimizations by altering query hints and system variables to alter the optimizer's choice of execution plans. However, these approaches struggle to detect logic bugs when query hints or system variables fail to influence the optimizer's behavior, or when the logic bugs reside in join implementation code that is unrelated to optimization. In this paper, we present S et R elation S ynthesis (SRS), a black-box testing approach that detects logic bugs of join implementation in DBMSs by leveraging set relations among different join operations. SRS applies transformations to the original join queries, including modifications to join types, join orders, and join conditions, while ensuring that the outputs of both the original and transformed queries preserve the expected set relations. Violations of these set relations indicate potential logic bugs. We realized SRS and evaluated it on five widely-used and extensively-tested DBMSs: MySQL, MariaDB, TiDB, PostgreSQL, and DuckDB. SRS uncovered 33 previously unknown and unique bugs, all of which have been confirmed, with 12 already fixed. Among these, 33 are logic bugs, demonstrating SRS's effectiveness and practicality in detecting logic bugs in the implementation of join operations within DBMSs.
Jinhui Lai, Chi Zhang 0073, Bingyan Li, Chenglin Liang, Jie Liang 0006, Zhiyong Wu 0010, Jingzhou Fu, Yu Jiang 0001, Zichen Xu 0001
Proc. ACM Manag. Data1
2024 CrossMapping: Harmonizing Memory Consistency in Cross-ISA Binary Translation
Wei Li 0262, Jinhui Lai, Fengyuan Ren
USENIX ATC4