Narges Shadab

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 9

Top Topics

Verification Method

Mazurkiewicz Traces

Transaction Databases

Top Venues

Proc. ACM Program. Lang.

Dagstuhl Artifacts Ser.

ESEC/SIGSOFT FSE

Publications

Pritam M. Gharat, Narges Shadab, Shrey Tiwari, Shuvendu K. Lahiri, Akash Lal
Resource Leak Checker (RLC#) for C# Code using CodeQL. CoRR (2023)
Narges Shadab, Pritam Gharat, Shrey Tiwari, Michael D. Ernst, Martin Kellogg, Shuvendu K. Lahiri, Akash Lal, Manu Sridharan
Automatic Inference of Resource Leak Specifications. CoRR (2023)
Narges Shadab, Pritam M. Gharat, Shrey Tiwari, Michael D. Ernst, Martin Kellogg, Shuvendu K. Lahiri, Akash Lal, Manu Sridharan
Inference of Resource Management Specifications. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Martin Kellogg, Narges Shadab, Manu Sridharan, Michael D. Ernst
Accumulation Analysis (Artifact). Dagstuhl Artifacts Ser. 8 (2) (2022)
Martin Kellogg, Narges Shadab, Manu Sridharan, Michael D. Ernst
Accumulation Analysis. ECOOP (2022)
Martin Kellogg, Narges Shadab, Manu Sridharan, Michael D. Ernst
Lightweight and modular resource leak verification. ESEC/SIGSOFT FSE (2021)
Narges Shadab, Farzin Houshmand, Mohsen Lesani
Cross-chain Transactions. IEEE ICBC (2020)
Jeremiah Griffin, Mohsen Lesani, Narges Shadab, Xizhe Yin
TLC: temporal logic of distributed components. Proc. ACM Program. Lang. 4 (ICFP) (2020)
Jeremiah Griffin, Mohsen Lesani, Narges Shadab, Xizhe Yin
Temporal Logic of Composable Distributed Components. CoRR (2020)