May-Happen-in-Parallel (MHP) analysis computes whether two statements in a multi-
threaded program may execute concurrently or not. It works as a basis for many analyses …

Data races, a major source of bugs in concurrent programs, can result in loss of manpower
and time as well as data loss due to system failures. OpenMP, the de facto shared memory …

Energy-efficient compilation is an important problem for multi-core systems. In this context,
irregular programs with task-parallel loops present interesting challenges: the threads with …

Abstract May-Happen-in-Parallel (MHP) is a fundamental analysis to reason about
concurrent programs. It infers the pairs of program points that may execute in parallel, or …

May-Happen-in-Parallel (MHP) analysis forms the basis for many problems of program
analysis and program understanding. MHP analysis can also be used by IDEs (integrated …

Parallel processing is ubiquitous in the present world. Modern processors are mostly
multiprocessors and modern operating systems support both multiprocessing as well as …

This article analyzes system integration technology, database technology, SOA architecture
and intelligent building system requirements and proposes an SOA based intelligent …

The unstoppable popularity of multicore chips has made concurrent programming
ubiquitous. Parallel programming is difficult; multiple control flows and non-determinism …

This work presents a May-Happen-in-Parallel (MHP) analysis with returned futures for
languages based on concurrent objects. The concurrency model is based on the actor …

Identifying Use-After-Free Variables in Fire-and-Forget Tasks Page 1 Identifying Use-After-Free
Variables in Fire-and-Forget Tasks Jyothi Krishna VS & Vassily Litvinov jkrishna@cse.iitm.ac.in …