Automated program repair is an emerging technology that seeks to automatically rectify
program errors and vulnerabilities. Repair techniques are driven by a correctness criterion …

We present PyTER, an automated program repair (APR) technique for Python type errors.
Python developers struggle with type error exceptions that are prevalent and difficult to fix …

Build systems are essential for modern software development and maintenance since they
are widely used to transform source code artifacts into executable software. Previous work …

We present SAVER, a new memory-error repair technique for C programs. Memory errors
such as memory leak, double-free, and use-after-free are highly prevalent and fixing them …

We present NPEX, a new technique for repairing Java null pointer exceptions (NPEs)
without tests. State-of-the-art NPE repair techniques rely on test suites written by developers …

Researchers and tool developers working on dynamic analysis, software testing, automated
program repair, verification, and validation, need large compiled, compilable, and …

Multi-threaded programs are challenging to write. Developers often need to reason about a
prohibitively large number of thread interleavings to reason about the behavior of software …

While CUDA has been the most popular parallel computing platform and programming
model for general purpose GPU computing, CUDA synchronization undergoes significant …

Concurrent programs must be thoroughly tested, as concurrency bugs are notoriously hard
to detect. Code coverage criteria can be used to quantify the richness of a test suite (eg …

The Linux Kernel is a world-class operating system controlling most of our computing
infrastructure: mobile devices, Internet routers and services, and most of the …