Narges Shadab -

Registered user since Tue 8 Jun 2021

Name:Narges Shadab

Country:United States

Affiliation:University of California at Riverside

Research interests:Programming Languages and Software Engineering

Contributions

2023

SPLASH

Author of Inference of Resource Management Specifications within the OOPSLA-track

2022

ESEC/FSE

Author of Lightweight and Modular Resource Leak Verification within the ESEC/FSE 2021-track

ECOOP

Author of Accumulation Analysis within the Research Papers-track

PLDI

Author of (ICFP 2020) TLC: Temporal Logic of Distributed Components within the SIGPLAN Track-track

2021

ESEC/FSE

Author of Lightweight and Modular Resource Leak Verification within the Research Papers-track

ECOOP

Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track

2020

ICFP

Author of TLC: Temporal Logic of Distributed Components within the ICFP Program-track