Cross-chain transactions N Shadab, F Houshmand, M Lesani 2020 IEEE International Conference on Blockchain and Cryptocurrency (ICBC), 1-9, 2020 | 40 | 2020 |
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 | 14 | 2021 |
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 | 12 | 2020 |
Accumulation analysis M Kellogg, N Shadab, M Sridharan, MD Ernst 36th European Conference on Object-Oriented Programming (ECOOP 2022), 2022 | 6 | 2022 |
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 | 1 | 2023 |
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 | 1 | 2023 |
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 |