Cross-chain Transactions. - Narges Shadab; Farzin Houshmand; Mohsen Lesani (IEEE ICBC, 2020)

Temporal Logic of Composable Distributed Components. - Jeremiah Griffin; Mohsen Lesani; Narges Shadab; Xizhe Yin (CoRR, 2020)

TLC: temporal logic of distributed components. - Jeremiah Griffin; Mohsen Lesani; Narges Shadab; Xizhe Yin (Proc. ACM Program. Lang., 2020)

Lightweight and modular resource leak verification. - Martin Kellogg; Narges Shadab; Manu Sridharan; Michael D. Ernst (ESEC/SIGSOFT FSE, 2021)

Accumulation Analysis. - Martin Kellogg; Narges Shadab; Manu Sridharan; Michael D. Ernst (ECOOP, 2022)

Accumulation Analysis (Artifact). - Martin Kellogg; Narges Shadab; Manu Sridharan; Michael D. Ernst (Dagstuhl Artifacts Ser., 2022)

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)

Resource Leak Checker (RLC#) for C# Code using CodeQL. - Pritam M. Gharat; Narges Shadab; Shrey Tiwari; Shuvendu K. Lahiri; Akash Lal (CoRR, 2023)

Modular and Automated Resource Leak Detection - Narges Shadab (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., 2023)

Lightweight and modular resource leak checking (extended version). - Narges Shadab; Pritam M. Gharat; Shrey Tiwari; Michael D. Ernst; Martin Kellogg; Shuvendu K. Lahiri; Akash Lal; Manu Sridharan (Int. J. Softw. Tools Technol. Transf., 2025)