research
∙
06/01/2023
Finding Performance Issues in Database Engines via Cardinality Estimation Testing
Database Management Systems (DBMSs) process a given query by creating an...
share
research
∙
10/20/2022
Intramorphic Testing: A New Approach to the Test Oracle Problem
A test oracle determines whether a system behaves correctly for a given ...
research
∙
10/20/2022
Forest: Structural Code Editing with Multiple Cursors
Software developers frequently refactor code. Often, a single logical re...
research
∙
07/16/2020
Detecting Optimization Bugs in Database Engines via Non-Optimizing Reference Engine Construction
Database Management Systems (DBMS) are used ubiquitously. To efficiently...
research
∙
01/13/2020
Testing Database Engines via Pivoted Query Synthesis
Relational databases are used ubiquitously. They are managed by database...
research
∙
09/19/2019
Supporting On-Stack Replacement in Unstructured Languages by Loop Reconstruction and Extraction
On-stack replacement (OSR) is a common technique employed by dynamic com...
research
∙
07/01/2019
Understanding GCC Builtins to Develop Better Tools
C programs can use compiler builtins to provide functionality that the C...
research
∙
08/02/2018
Debugging Native Extensions of Dynamic Languages
Many dynamic programming languages such as Ruby and Python enable develo...
research
∙
06/23/2018
Context-aware Failure-oblivious Computing as a Means of Preventing Buffer Overflows
In languages like C, buffer overflows are widespread. A common mitigatio...
research
∙
06/23/2018
Preventing Buffer Overflows by Context-aware Failure-oblivious Computing
In languages like C, buffer overflows are widespread. A common mitigatio...
research
∙
12/04/2017