collaborators

5 papers

cs.DB2026

NeurBench: A Benchmark Suite for Learned Database Components with Drift Modeling

Zhanhao Zhao, Haotian Gao, Naili Xing +5

Learned database components, which deeply integrate machine learning into their design, have been extensively studied in recent years. Given the dynamism of databases, where data a…

cs.SE2026

Scaling Automated Database System Testing

Suyang Zhong, Manuel Rigger

Recently, various automated testing approaches have been proposed that use specialized test oracles to find hundreds of logic bugs in mature, widely-used Database Management System…

cs.SE2025

On the Mistaken Assumption of Interchangeable Deep Reinforcement Learning Implementations

Rajdeep Singh Hundal, Yan Xiao, Xiaochun Cao +2

Deep Reinforcement Learning (DRL) is a paradigm of artificial intelligence where an agent uses a neural network to learn which actions to take in a given environment. DRL has recen…

cs.SE2025

Automated Database Testing via LLM-Synthesized SQL Features

Suyang Zhong, Manuel Rigger

Database Management Systems (DBMSs) have been tested by various automated testing approaches. Many of them generate pairs of equivalent queries to identify bugs that cause DBMSs to…

cs.SE2025

GraphFuzz: Automated Testing of Graph Algorithm Implementations with Differential Fuzzing and Lightweight Feedback

Wenqi Yan, Manuel Rigger, Anthony Wirth +1

Graph algorithms, such as shortest path finding, play a crucial role in enabling essential applications and services like infrastructure planning and navigation, making their corre…