84 citations · 156 across the 14 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
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…
cs.PL2019★ 84 cited
IR2Vec: LLVM IR based Scalable Program Embeddings
S. VenkataKeerthy, Rohit Aggarwal, Shalini Jain +3
We propose IR2Vec, a Concise and Scalable encoding infrastructure to represent programs as a distributed embedding in continuous space. This distributed embedding is obtained by co…