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 …

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 …

With the developments of RFID Technology, the unreliability of RFID devices result in a large
number of tag data's redundancy data, and the reliability of RFID source data is gradually …

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 …

Finding the most efficient policy for the association of objects with threads is one of the main
challenges in the deployment of concurrently executing objects, including actors. For the …