Narges Shadab | DeepAI

DeepAI

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

Featured Co-authors

Shuvendu Lahiri
9 publications
Akash Lal
8 publications
Manu Sridharan
5 publications
Mohsen Lesani
5 publications
Michael D. Ernst
4 publications
Shrey Tiwari
1 publication
Martin Kellogg
1 publication
Jeremiah Griffin
1 publication
Xizhe Yin
1 publication
Pritam Gharat
1 publication

research

∙ 06/21/2023

Automatic Inference of Resource Leak Specifications

A resource leak occurs when a program fails to free some finite resource...

0 Narges Shadab, et al. ∙

research

∙ 04/03/2020

Temporal Logic of Composable Distributed Components

Distributed systems are critical to reliable and scalable computing; how...

0 Jeremiah Griffin, et al. ∙