13 citations · 33 across the 13 of their papers we have counts for
13 papers
Taming the Hydra: Targeted Control-Flow Transformations for Dynamic Symbolic Execution
Charitha Saumya, Muhammad Hassan, Rohan Gangaraju +2
Dynamic Symbolic Execution (DSE) suffers from the path explosion problem when the target program has many conditional branches. The classical approach for managing the path explosi…
RT-kNNS Unbound: Using RT Cores to Accelerate Unrestricted Neighbor Search
Vani Nagarajan, Durga Mandarapu, Milind Kulkarni
The problem of identifying the k-Nearest Neighbors (kNNS) of a point has proven to be very useful both as a standalone application and as a subroutine in larger applications. Given…
RT-DBSCAN: Accelerating DBSCAN using Ray Tracing Hardware
Vani Nagarajan, Milind Kulkarni
General Purpose computing on Graphical Processing Units (GPGPU) has resulted in unprecedented levels of speedup over its CPU counterparts, allowing programmers to harness the compu…
Cornucopia: A Framework for Feedback Guided Generation of Binaries
Vidush Singhal, Akul Abhilash Pillai, Charitha Saumya +2
Binary analysis is an important capability required for many security and software engineering applications. Consequently, there are many binary analysis techniques and tools with…
Synthesis of Distributed Agreement-Based Systems with Efficiently-Decidable Verification (Extended Version)
Nouraldin Jaber, Christopher Wagner, Swen Jacobs +2
Distributed agreement-based (DAB) systems use common distributed agreement protocols such as leader election and consensus as building blocks for their target functionality. While…
SparseLNR: Accelerating Sparse Tensor Computations Using Loop Nest Restructuring
Adhitha Dias, Kirshanthan Sundararajah, Charitha Saumya +1
Sparse tensor algebra computations have become important in many real-world applications like machine learning, scientific simulations, and data mining. Hence, automated code gener…
DARM: Control-Flow Melding for SIMT Thread Divergence Reduction -- Extended Version
Charitha Saumya, Kirshanthan Sundararajah, Milind Kulkarni
GPGPUs use the Single-Instruction-Multiple-Thread (SIMT) execution model where a group of threads-wavefront or warp-execute instructions in lockstep. When threads in a group encoun…
Efficient Tree-Traversals: Reconciling Parallelism and Dense Data Representations
Chaitanya Koparkar, Mike Rainey, Michael Vollmer +2
Recent work showed that compiling functional programs to use dense, serialized memory representations for recursive algebraic datatypes can yield significant constant-factor speedu…
HACCLE: Metaprogramming for Secure Multi-Party Computation -- Extended Version
Yuyan Bao, Kirshanthan Sundararajah, Raghav Malik +17
Cryptographic techniques have the potential to enable distrusting parties to collaborate in fundamentally new ways, but their practical implementation poses numerous challenges. An…
Parameterized Verification of Systems with Global Synchronization and Guards
Nouraldin Jaber, Swen Jacobs, Christopher Wagner +2
Inspired by distributed applications that use consensus or other agreement protocols for global coordination, we define a new computational model for parameterized systems that is…
QuickSilver: A Modeling and Parameterized Verification Framework for Systems with Distributed Agreement (Extended Version)
Nouraldin Jaber, Christopher Wagner, Swen Jacobs +2
The last decade has sparked several valiant efforts in deductive verification of distributed agreement protocols such as consensus and leader election. Oddly, there have been far f…
Grand Challenges in Resilience: Autonomous System Resilience through Design and Runtime Measures
Saurabh Bagchi, Vaneet Aggarwal, Somali Chaterji +13
A set of about 80 researchers, practitioners, and federal agency program managers participated in the NSF-sponsored Grand Challenges in Resilience Workshop held on Purdue campus on…
Sound, Fine-Grained Traversal Fusion for Heterogeneous Trees - Extended Version
Laith Sakka, Kirshanthan Sundararajah, Ryan R. Newton +1
Applications in many domains are based on a series of traversals of tree structures, and fusing these traversals together to reduce the total number of passes over the tree is a co…