Narges Shadab

According to our database, Narges Shadab authored at least 9 papers between 2020 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Inference of Resource Management Specifications.

Narges Shadab, Pritam M. Gharat, Shrey Tiwari, Michael D. Ernst, Martin Kellogg, Shuvendu K. Lahiri, Akash Lal, Manu Sridharan

Proc. ACM Program. Lang., October, 2023

Resource Leak Checker (RLC#) for C# Code using CodeQL.

Pritam M. Gharat, Narges Shadab, Shrey Tiwari, Shuvendu K. Lahiri, Akash Lal

CoRR, 2023

Automatic Inference of Resource Leak Specifications.

Narges Shadab, Pritam M. Gharat, Shrey Tiwari, Michael D. Ernst, Martin Kellogg, Shuvendu K. Lahiri, Akash Lal, Manu Sridharan

CoRR, 2023

2022

Accumulation Analysis (Artifact).

Martin Kellogg, Narges Shadab, Manu Sridharan, Michael D. Ernst

Dagstuhl Artifacts Ser., 2022

Accumulation Analysis.

Martin Kellogg, Narges Shadab, Manu Sridharan, Michael D. Ernst

Proceedings of the 36th European Conference on Object-Oriented Programming, 2022

2021

Lightweight and modular resource leak verification.

Martin Kellogg, Narges Shadab, Manu Sridharan, Michael D. Ernst

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

2020

TLC: temporal logic of distributed components.

Jeremiah Griffin, Mohsen Lesani, Narges Shadab, Xizhe Yin

Proc. ACM Program. Lang., 2020

Temporal Logic of Composable Distributed Components.

Jeremiah Griffin, Mohsen Lesani, Narges Shadab, Xizhe Yin

CoRR, 2020

Cross-chain Transactions.

Narges Shadab, Farzin Houshmand, Mohsen Lesani

Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2020