Milind Kulkarni | DeepAI

AI Chat

Featured Co-authors

Fei Wang
209 publications
Jiawei Han
140 publications
Vaneet Aggarwal
117 publications
Prateek Mittal
63 publications
Suman Jana
36 publications
Saurabh Bagchi
34 publications
Aly El Gamal
28 publications
Jeremiah Blocki
27 publications
Felix Xiaozhu Lin
26 publications
Gesualdo Scutari
22 publications
Aniket Kate
17 publications

∙ 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...

0 Charitha Saumya, et al. ∙

∙ 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...

0 Vani Nagarajan, et al. ∙

∙ 03/16/2023

RT-DBSCAN: Accelerating DBSCAN using Ray Tracing Hardware

General Purpose computing on Graphical Processing Units (GPGPU) has resu...

0 Vani Nagarajan, et al. ∙

∙ 09/14/2022

Cornucopia: A Framework for Feedback Guided Generation of Binaries

Binary analysis is an important capability required for many security an...

0 Vidush Singhal, et al. ∙

∙ 08/26/2022

Synthesis of Distributed Agreement-Based Systems with Efficiently-Decidable Verification (Extended Version)

Distributed agreement-based (DAB) systems use common distributed agreeme...

0 Nouraldin Jaber, et al. ∙

∙ 05/23/2022

SparseLNR: Accelerating Sparse Tensor Computations Using Loop Nest Restructuring

Sparse tensor algebra computations have become important in many real-wo...

0 Adhitha Dias, et al. ∙

∙ 07/12/2021

DARM: Control-Flow Melding for SIMT Thread Divergence Reduction – Extended Version

GPGPUs use the Single-Instruction-Multiple-Thread (SIMT) execution model...

0 Charitha Saumya, et al. ∙

∙ 07/01/2021

Efficient Tree-Traversals: Reconciling Parallelism and Dense Data Representations

Recent work showed that compiling functional programs to use dense, seri...

0 Chaitanya Koparkar, et al. ∙

∙ 04/19/2021

Vectorized Secure Evaluation of Decision Forests

As the demand for machine learning-based inference increases in tandem w...

0 Raghav Malik, et al. ∙

∙ 09/03/2020

HACCLE: An Ecosystem for Building Secure Multi-Party Computations

Cryptographic techniques have the potential to enable distrusting partie...

0 Yuyan Bao, et al. ∙

∙ 06/22/2020

Quantum Computing Methods for Supervised Learning

The last two decades have seen an explosive growth in the theory and pra...

0 Viraj Kulkarni, et al. ∙

∙ 04/10/2020

Parameterized Verification of Systems with Global Synchronization and Guards

Inspired by distributed applications that use consensus or other agreeme...

0 Nouraldin Jaber, et al. ∙

∙ 04/09/2020

Parameterized Reasoning for Distributed Systems with Consensus

Programmers make building distributed systems tractable by using a wide ...

0 Nouraldin Jaber, et al. ∙

∙ 03/19/2020

Survey of Personalization Techniques for Federated Learning

Federated learning enables machine learning models to learn from private...

0 Viraj Kulkarni, et al. ∙

∙ 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...

0 Saurabh Bagchi, et al. ∙

∙ 04/11/2019

Sound, Fine-Grained Traversal Fusion for Heterogeneous Trees - Extended Version

Applications in many domains are based on a series of traversals of tree...

0 Laith Sakka, et al. ∙

Are you a researcher?
Expose your work
to one of the largest
A.I. communities in the world