activity
20132022
most citedLLOV: A Fast Static Data-Race Checker for OpenMP Programs

30 citations · 37 across the 10 of their papers we have counts for

collaborators

11 papers

cs.PL2022

Maximal Atomic irRedundant Sets: a Usage-based Dataflow Partitioning Algorithm

Corentin Ferry, Steven Derrien, Sanjay Rajopadhye

Programs admitting a polyhedral representation can be transformed in many ways for locality and parallelism, notably loop tiling. Data flow analysis can then compute dependence rel…

cs.AR2022

Increasing FPGA Accelerators Memory Bandwidth with a Burst-Friendly Memory Layout

Corentin Ferry, Tomofumi Yuki, Steven Derrien +1

Offloading compute-intensive kernels to hardware accelerators relies on the large degree of parallelism offered by these platforms. However, the effective bandwidth of the memory i…

cs.DC2022★ 1 cited

Distributed non-negative RESCAL with Automatic Model Selection for Exascale Data

Manish Bhattarai, Namita Kharat, Erik Skau +5

With the boom in the development of computer hardware and software, social media, IoT platforms, and communications, there has been an exponential growth in the volume of data prod…

cs.PL2020

On Simplifying Dependent Polyhedral Reductions

Sanjay Rajopadhye

\emph{Reductions} combine collections of input values with an associative (and usually also commutative) operator to produce either a single, or a collection of outputs. They are u…

cs.PL2019★ 30 cited

LLOV: A Fast Static Data-Race Checker for OpenMP Programs

Utpal Bora, Santanu Das, Pankaj Kukreja +3

In the era of Exascale computing, writing efficient parallel programs is indispensable and at the same time, writing sound parallel programs is very difficult. Specifying paralleli…

q-bio.BM2019

BPPart and BPMax: RNA-RNA Interaction Partition Function and Structure Prediction for the Base Pair Counting Model

Ali Ebrahimpour-Boroojeny, Sanjay Rajopadhye, Hamidreza Chitsaz

RNA-RNA interaction (RRI) is ubiquitous and has complex roles in the cellular functions. In human health studies, miRNA-target and lncRNAs are among an elite class of RRIs that hav…

cs.PF2018

Analytical Cost Metrics : Days of Future Past

Nirmal Prajapati, Sanjay Rajopadhye, Hristo Djidjev

As we move towards the exascale era, the new architectures must be capable of running the massive computational problems efficiently. Scientists and researchers are continuously in…

cs.PL2018★ 1 cited

PCOT: Cache Oblivious Tiling of Polyhedral Programs

Waruna Ranasinghe, Nirmal Prajapati, Tomofumi Yuki +1

This paper studies two variants of tiling: iteration space tiling (or loop blocking) and cache-oblivious methods that recursively split the iteration space with divide-and-conquer.…

cs.AR2017★ 1 cited

Accelerator Codesign as Non-Linear Optimization

Nirmal Prajapati, Sanjay Rajopadhye, Hristo Djidjev +3

We propose an optimization approach for determining both hardware and software parameters for the efficient implementation of a (family of) applications called dense stencil comput…

cs.PL2016★ 2 cited

Hybrid Static/Dynamic Schedules for Tiled Polyhedral Programs

Tian Jin, Nirmal Prajapati, Waruna Ranasinghe +4

Polyhedral compilers perform optimizations such as tiling and parallelization; when doing both, they usually generate code that executes "barrier-synchronized wavefronts" of tiles.…

cs.DC2013★ 2 cited

Checking Race Freedom of Clocked X10 Programs

Tomofumi Yuki, Paul Feautrier, Sanjay Rajopadhye +1

One of many approaches to better take advantage of parallelism, which has now become mainstream, is the introduction of parallel programming languages. However, parallelism is by n…