A goal of software engineering research is advancing software quality and the success of
the software engineering process. However, while recent studies have demonstrated a new …

This work reviews how database theory uses tractable circuit classes from knowledge
compilation. We present relevant query evaluation tasks, and notions of tractable circuits …

Bias in decisions made by modern software is becoming a common and serious problem.
We present Themis, an automated test suite generator to measure two types of …

Data provenance has evolved from a niche topic to a mainstream area of research in
databases and other research communities. This article gives a comprehensive introduction …

Automated program repair holds the potential to significantly reduce software maintenance
effort and cost. However, recent studies have shown that it often produces low-quality …

We study the question of when we can provide direct access to the k-th answer to a
Conjunctive Query (CQ) according to a specified order over the answers in time logarithmic …

Software specifications often use natural language to describe the desired behavior, but
such specifications are difficult to verify automatically. We present Swami, an automated …

We study the data complexity of consistent query answering (CQA) on databases that may
violate the primary key constraints. A repair is a maximal subset of the database satisfying …

Purpose This study aims to identify the level of security from existing work, analyze
categories of security as a service (SECaaS) and classify them into a meaningful set of …

Humans reason about the world around them by seeking to understand why and how
something occurs. The same principle extends to the technology that so many of human …