Follow
Narges Shadab
Narges Shadab
PhD student, Computer Science and Engineering, University of California, Riverside
Verified email at ucr.edu
Title
Cited by
Cited by
Year
Cross-chain transactions
N Shadab, F Houshmand, M Lesani
2020 IEEE International Conference on Blockchain and Cryptocurrency (ICBC), 1-9, 2020
402020
Lightweight and modular resource leak verification
M Kellogg, N Shadab, M Sridharan, MD Ernst
Proceedings of the 29th ACM Joint Meeting on European Software Engineering …, 2021
142021
TLC: temporal logic of distributed components
J Griffin, M Lesani, N Shadab, X Yin
Proceedings of the ACM on Programming Languages 4 (ICFP), 1-30, 2020
122020
Accumulation analysis
M Kellogg, N Shadab, M Sridharan, MD Ernst
36th European Conference on Object-Oriented Programming (ECOOP 2022), 2022
62022
Resource Leak Checker (RLC#) for C# code using CodeQL
P Gharat, N Shadab, S Tiwari, S Lahiri, A Lal
arXiv preprint arXiv:2312.01912, 2023
12023
Inference of Resource Management Specifications
N Shadab, P Gharat, S Tiwari, MD Ernst, M Kellogg, SK Lahiri, A Lal, ...
Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 1705-1728, 2023
12023
Automatic Inference of Resource Leak Specifications
N Shadab, P Gharat, S Tiwari, MD Ernst, M Kellogg, S Lahiri, A Lal, ...
arXiv preprint arXiv:2306.11953, 2023
2023
Modular and Automated Resource Leak Detection
N Shadab
UC Riverside, 2023
2023
Temporal Logic of Composable Distributed Components
J Griffin, M Lesani, N Shadab, X Yin
arXiv preprint arXiv:2004.01360, 2020
2020
The system can't perform the operation now. Try again later.
Articles 1–9