activity
20192026
most citedIR2Vec: LLVM IR based Scalable Program Embeddings

84 citations · 156 across the 14 of their papers we have counts for

collaborators

14 papers

cs.CR2026

Yaksha-Prashna: Understanding eBPF Bytecode Network Function Behavior

Animesh Singh, K Shiv Kumar, S. VenkataKeerthy +7

Many cloud infrastructure organizations increasingly rely on third-party eBPF-based network functions for use cases like security, observability, and load balancing, so that not ev…

cs.SE2025

COFO: COdeFOrces dataset for Program Classification, Recognition and Tagging

Kuldeep Gautam, S. VenkataKeerthy, Ramakrishna Upadrasta

In recent years, a lot of technological advances in computer science have aided software programmers to create innovative and real-time user-friendly software. With the creation of…

cs.DC2024★ 1 cited

LLOR: Automated Repair of OpenMP Programs

Utpal Bora, Saurabh Joshi, Gautam Muduganti +1

In this paper, we present a technique for repairing data race errors in parallel programs written in C/C++ and Fortran using the OpenMP API. Our technique can also remove barriers…

cs.PL2023★ 1 cited

VEXIR2Vec: An Architecture-Neutral Embedding Framework for Binary Similarity

S. VenkataKeerthy, Soumya Banerjee, Sayan Dey +5

Binary similarity involves determining whether two binary programs exhibit similar functionality, often originating from the same source code. In this work, we propose VexIR2Vec, a…

cs.PL2023★ 4 cited

The Next 700 ML-Enabled Compiler Optimizations

S. VenkataKeerthy, Siddharth Jain, Umesh Kalvakuntla +6

There is a growing interest in enhancing compiler optimizations with ML models, yet interactions between compilers and ML frameworks remain challenging. Some optimizations require…

cs.PL2022★ 21 cited

POSET-RL: Phase ordering for Optimizing Size and Execution Time using Reinforcement Learning

Shalini Jain, Yashas Andaluri, S. VenkataKeerthy +1

The ever increasing memory requirements of several applications has led to increased demands which might not be met by embedded devices. Constraining the usage of memory in such ca…

cs.LG2022★ 10 cited

RL4ReAl: Reinforcement Learning for Register Allocation

S. VenkataKeerthy, Siddharth Jain, Anilava Kundu +3

We aim to automate decades of research and experience in register allocation, leveraging machine learning. We tackle this problem by embedding a multi-agent reinforcement learning…

cs.DS2022

FUSED-PAGERANK: Loop-Fusion based Approximate PageRank

Shalini Jain, Rahul Utkoor, Hemalatha Eedi +2

PageRank is a graph centrality metric that gives the importance of each node in a given graph. The PageRank algorithm provides important insights to understand the behavior of node…

cs.PL2021

OpenMP aware MHP Analysis for Improved Static Data-Race Detection

Utpal Bora, Shraiysh Vaishay, Saurabh Joshi +1

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 p…

cs.PL2021★ 2 cited

AI Powered Compiler Techniques for DL Code Optimization

Sanket Tavarageri, Gagandeep Goyal, Sasikanth Avancha +2

Creating high performance implementations of deep learning primitives on CPUs is a challenging task. Multiple considerations including multi-level cache hierarchy, and wide SIMD un…

cs.DC2020★ 3 cited

PolyDL: Polyhedral Optimizations for Creation of High Performance DL primitives

Sanket Tavarageri, Alexander Heinecke, Sasikanth Avancha +3

Deep Neural Networks (DNNs) have revolutionized many aspects of our lives. The use of DNNs is becoming ubiquitous including in softwares for image recognition, speech recognition,…

cs.PL2020

PolyScientist: Automatic Loop Transformations Combined with Microkernels for Optimization of Deep Learning Primitives

Sanket Tavarageri, Alexander Heinecke, Sasikanth Avancha +3

At the heart of deep learning training and inferencing are computationally intensive primitives such as convolutions which form the building blocks of deep neural networks. Researc…

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…