5 citations · 9 across the 10 of their papers we have counts for
11 papers
ARACDE: Retrofitting Databases with ABAC using External Authorization Engines
Karthikeya S M Yelisetty, Shamik Sural, Santosh Nagarakatte
This paper proposes a methodology for decoupling the authorization logic of a relational database from its core data management engine, enabling specification of advanced access co…
How to Increase Energy Efficiency with a Single Linux Command
Alborz Jelvani, Richard P Martin, Santosh Nagarakatte
Processors with dynamic power management provide a variety of settings to control energy efficiency. However, tuning these settings does not achieve optimal energy savings. We high…
RLIBM-PROG: Progressive Polynomial Approximations for Fast Correctly Rounded Math Libraries
Mridul Aanjaneya, Jay P. Lim, Santosh Nagarakatte
This paper presents a novel method for generating a single polynomial approximation that produces correctly rounded results for all inputs of an elementary function for multiple re…
RLIBM-ALL: A Novel Polynomial Approximation Method to Produce Correctly Rounded Results for Multiple Representations and Rounding Modes
Jay P. Lim, Santosh Nagarakatte
Mainstream math libraries for floating point (FP) do not produce correctly rounded results for all inputs. In contrast, CR-LIBM and RLIBM provide correctly rounded implementations…
SPOTS: An Accelerator for Sparse Convolutional Networks Leveraging Systolic General Matrix-Matrix Multiplication
Mohammadreza Soltaniyeh, Richard P. Martin, Santosh Nagarakatte
This paper proposes a new hardware accelerator for sparse convolutional neural networks (CNNs) by building a hardware unit to perform the Image to Column (IM2COL) transformation of…
Sound, Precise, and Fast Abstract Interpretation with Tristate Numbers
Harishankar Vishwanathan, Matan Shachnai, Srinivas Narayana +1
Extended Berkeley Packet Filter (BPF) is a language and run-time system that allows non-superusers to extend the Linux and Windows operating systems by downloading user code into t…
RLIBM-32: High Performance Correctly Rounded Math Libraries for 32-bit Floating Point Representations
Jay P. Lim, Santosh Nagarakatte
This paper proposes a set of techniques to develop correctly rounded math libraries for 32-bit float and posit types. It enhances our RLibm approach that frames the problem of gene…
A Novel Approach to Generate Correctly Rounded Math Libraries for New Floating Point Representations
Jay P. Lim, Mridul Aanjaneya, John Gustafson +1
Given the importance of floating-point~(FP) performance in numerous domains, several new variants of FP and its alternatives have been proposed (e.g., Bfloat16, TensorFloat32, and…
Synergistic CPU-FPGA Acceleration of Sparse Linear Algebra
Mohammadreza Soltaniyeh, Richard P. Martin, Santosh Nagarakatte
This paper describes REAP, a software-hardware approach that enables high performance sparse linear algebra computations on a cooperative CPU-FPGA platform. REAP carefully separate…
A Fast Causal Profiler for Task Parallel Programs
Adarsh Yoga, Santosh Nagarakatte
This paper proposes TASKPROF, a profiler that identifies parallelism bottlenecks in task parallel programs. It leverages the structure of a task parallel execution to perform fine-…
Precondition Inference for Peephole Optimizations in LLVM
David Menendez, Santosh Nagarakatte
Peephole optimizations are a common source of compiler bugs. Compiler developers typically transform an incorrect peephole optimization into a valid one by strengthening the precon…