Modular reasoning about concurrent programs is complicated by the possibility of
interferences happening between any two instructions of a task (pervasive interference), and …

“Explicit concurrency should be abolished from all higher-level programming languages (ie
everything except-perhaps-plain machine code.).” Dijkstra [1](paraphrased). A promising …

Asynchronous message passing concurrency with higher level concurrency constructs
including activities, asynchronous method invocations and future return values is gaining …

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 …

Efficient mapping of message passing concurrency (MPC) abstractions to Java Virtual
Machine (JVM) threads is critical for performance, scalability, and CPU utilization; but …

Actor frameworks running on Java Virtual Machine (JVM) platform face two main challenges
in utilizing multi-core architectures, i) efficiently mapping actors to JVM threads, and ii) …

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 …

Performance tuning is the leading justification for breaking abstraction boundaries. We
target this problem for message passing concurrency (MPC) abstractions on the Java Virtual …

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 …