activity
20172026
most citedCONFLLVM: A Compiler for Enforcing Data Confidentiality in Low-Level Code

3 citations · 5 across the 5 of their papers we have counts for

collaborators

5 papers

cs.NI2026

SPAC: Automating FPGA-based Network Switches with Protocol Adaptive Customization

Guoyu Li, Yang Cao, Lucas H L Ng +9

With network requirements diverging across emerging applications, latency-critical services demand minimal logic delay, while hyperscale training and collectives require sustained…

cs.PL2026

Backwards Data-Flow Analysis using Prophecy Variables in the BuildIt System

Ajay Brahmakshatriya, Saman Amarasinghe, Martin Rinard

Many program transformations and optimizations require information about the future behavior of the program. A standard way to obtain this information is to build an intermediate p…

cs.DC2021

Compilation Techniques for Graph Algorithms on GPUs

Ajay Brahmakshatriya, Yunming Zhang, Changwan Hong +3

The performance of graph programs depends highly on the algorithm, the size and structure of the input graphs, as well as the features of the underlying hardware. No single set of…

cs.PL2019★ 2 cited

Optimizing Ordered Graph Algorithms with GraphIt

Yunming Zhang, Ajay Brahmakshatriya, Xinyi Chen +4

Many graph problems can be solved using ordered parallel graph algorithms that achieve significant speedup over their unordered counterparts by reducing redundant work. This paper…

cs.PL2017★ 3 cited

CONFLLVM: A Compiler for Enforcing Data Confidentiality in Low-Level Code

Ajay Brahmakshatriya, Piyus Kedia, Derrick Paul McKee +4

We present an instrumenting compiler for enforcing data confidentiality in low-level applications (e.g. those written in C) in the presence of an active adversary. In our approach,…