2 citations · 2 across the 4 of their papers we have counts for
3 papers · 1 filter
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…
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…
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,…