1

On the Mistaken Assumption of Interchangeable Deep Reinforcement Learning Implementations

Towards a Unified Query Plan Representation

In database systems, a query plan is a series of concrete internal steps to execute a query. Multiple testing approaches utilize query plans for finding bugs. However, query plans are represented in a database-specific manner, so implementing these …

Fuzzing the PHP Interpreter via Dataflow Fusion

PHP, a dominant scripting language in web development, powers a vast range of websites, from personal blogs to major platforms. While existing research primarily focuses on PHP application-level security issues like code injection, memory errors …

Inconsistencies in TeX-produced Documents

TeX is a widely-used typesetting system adopted by most publishers and professional societies. While TeX is responsible for generating a significant number of documents, irregularities in the TeX ecosystem may produce inconsistent documents. These …

Towards Efficient Build Ordering for Incremental Builds with Multiple Configurations

Software products have many configurations to meet different environments and diverse needs. Building software with multiple software configurations typically incurs high costs in terms of build time and computing resources. Incremental builds could …

Detecting Build Dependency Errors in Incremental Builds

Validating Database System Isolation Level Implementations with Version Certificate Recovery

Finding Cross-rule Optimization Bugs in Datalog Engines

Finding XPath Bugs in XML Document Processors via Differential Testing

Detecting Logic Bugs in Graph Database Management Systems via Injective and Surjective Graph Pattern Transformation