research
∙
08/03/2023
Targeted Control-flow Transformations for Mitigating Path Explosion in Dynamic Symbolic Execution
Dynamic symbolic execution (DSE) suffers from path explosion problem whe...
share
research
∙
05/26/2023
RT-kNNS Unbound: Using RT Cores to Accelerate Unrestricted Neighbor Search
The problem of identifying the k-Nearest Neighbors (kNNS) of a point has...
research
∙
03/16/2023
RT-DBSCAN: Accelerating DBSCAN using Ray Tracing Hardware
General Purpose computing on Graphical Processing Units (GPGPU) has resu...
research
∙
09/14/2022
Cornucopia: A Framework for Feedback Guided Generation of Binaries
Binary analysis is an important capability required for many security an...
research
∙
08/26/2022
Synthesis of Distributed Agreement-Based Systems with Efficiently-Decidable Verification (Extended Version)
Distributed agreement-based (DAB) systems use common distributed agreeme...
research
∙
05/23/2022
SparseLNR: Accelerating Sparse Tensor Computations Using Loop Nest Restructuring
Sparse tensor algebra computations have become important in many real-wo...
research
∙
07/12/2021
DARM: Control-Flow Melding for SIMT Thread Divergence Reduction – Extended Version
GPGPUs use the Single-Instruction-Multiple-Thread (SIMT) execution model...
research
∙
07/01/2021
Efficient Tree-Traversals: Reconciling Parallelism and Dense Data Representations
Recent work showed that compiling functional programs to use dense, seri...
research
∙
04/19/2021
Vectorized Secure Evaluation of Decision Forests
As the demand for machine learning-based inference increases in tandem w...
research
∙
09/03/2020
HACCLE: An Ecosystem for Building Secure Multi-Party Computations
Cryptographic techniques have the potential to enable distrusting partie...
research
∙
06/22/2020
Quantum Computing Methods for Supervised Learning
The last two decades have seen an explosive growth in the theory and pra...
research
∙
04/10/2020
Parameterized Verification of Systems with Global Synchronization and Guards
Inspired by distributed applications that use consensus or other agreeme...
research
∙
04/09/2020
Parameterized Reasoning for Distributed Systems with Consensus
Programmers make building distributed systems tractable by using a wide ...
research
∙
03/19/2020
Survey of Personalization Techniques for Federated Learning
Federated learning enables machine learning models to learn from private...
research
∙
12/25/2019
Grand Challenges of Resilience: Autonomous System Resilience through Design and Runtime Measures
A set of about 80 researchers, practitioners, and federal agency program...
research
∙
04/11/2019