The need for concurrency in modern software is increasingly fulfilled by utilizing the
message passing paradigm because of its modularity and scalability. In the message …

Popularity of data-driven software engineering has led to an increasing demand on the
infrastructures to support efficient execution of tasks that require deeper source code …

This paper addresses the problem of targeted test generation for actor systems. Specifically,
we propose a method to support generation of system-level tests to cover a given code …

Delivering optimum performance on a parallel computer is highly dependant on the
efficiency of the scheduling and mapping procedure. If the composition of the parallel …

Heterogeneous parallel architecture (HPA) are inherently more complicated than their
homogeneous counterpart. HPAs allow composition of conventional processors, with …

Modular reasoning and concurrent programming are both necessary for scalable
development of performant software. Modular reasoning improves scalability by allowing a …

Increasing the speed of single-core processors has been facing practical challenges.
Instead, multi-core architecture has been ascending for the past decade as the dominant …

The process of reading, writing, and reasoning about concurrent programs benefits from
better abstractions for concurrency than what many common languages, such as Java, offer …

As multi-core processors and networked systems become the norm, concurrent
programming has been widely adopted in industry. Practitioners have used concurrent …

We propose Candoia, a novel platform and ecosystem for building and sharing Mining
Software Repositories (MSR) tools. Using Candoia, MSR tools are built as apps, and the …