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