Koustubha Bhat | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Suman Jana
36 publications
Haibo Chen
25 publications
Abhishek Shah
10 publications
Simha Sethumadhavan
10 publications
Antonio Paolillo
9 publications
Dongdong She
8 publications
Viktor Vafeiadis
8 publications
Gabriel Ryan
6 publications
Miguel A. Arroyo
4 publications
Jaeho Kim
3 publications
Ming Fu
2 publications

research

∙ 02/12/2021

VSync: Push-Button Verification and Optimization for Synchronization Primitives on Weak Memory Models (Technical Report)

This technical report contains material accompanying our work with same ...

0 Jonas Oberhauser, et al. ∙

research

∙ 09/08/2019

Fine Grained Dataflow Tracking with Proximal Gradients

Dataflow tracking with Dynamic Taint Analysis (DTA) is an important meth...

0 Gabriel Ryan, et al. ∙

research

∙ 06/05/2019

Practical Byte-Granular Memory Blacklisting using Califorms

Recent rapid strides in memory safety tools and hardware have improved s...

0 Hiroshi Sasaki, et al. ∙