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

PLDI 2022 (ICFP 2020) TLC: Temporal Logic of Distributed Components
Show activities from other conferences

Using general profile