Statistics
Publications
3
Citations
60
H-Index
3
Active since
2020
Affiliations
University of California, Riverside(Current)
Narges Shadab is an author at University of California, Riverside specializing in computing, computer science, and cryptography.
Publications per year
2020–2021
3
3
Narges Shadab, Farzin Houshmand, Mohsen Lesani · 2020 · 35 citations
Lightweight and modular resource leak verification
Martin Kellogg, Narges Shadab, Manu Sridharan et al. · 2021 · 13 citations · Full text
TLC: temporal logic of distributed components
Jeremiah Griffin, Mohsen Lesani, Narges Shadab et al. · Proceedings of the ACM on Programming Languages · 2020 · 12 citations · Full text
1–3 of 3