This paper proposes TaskProf2, a parallelism profiler and an adviser for task parallel
programs. As a parallelism profiler, TaskProf2 pinpoints regions with serialization …

Task-parallel languages such as X10 implement dynamic lightweight task-parallel execution
model, where programmers are encouraged to express the ideal parallelism in the program …

There may be a huge gap between the statements outlined by programmers in a program
source code and instructions that are actually performed by a given processor architecture …

In this paper, we propose Rec2Poly, a framework which detects automatically if recursive
programs may be transformed into affine loops that are compliant with the polyhedral model …

Dynamic parallelism is a feature of general purpose graphics processing units (GPUs)
whereby threads running on a GPU can spawn other threads without CPU intervention. This …

Mainstream compilers perform a multitude of analyses and optimizations on the given input
program. Each analysis (such as points-to analysis) may generate a program-abstraction …

My research focuses on designing high throughput and low latency yielding BFT consensus
protocols and decentralized systems, which can guard against crash and Byzantine failures …

OpenMP is a popular application programming interface (API) used to write shared-memory
parallel programs. It supports a wide range of parallel constructs to express different types of …

Performance analysis of parallel programs continues to be challenging for programmers.
Programmers have to account for several factors to extract the best possible performance …