Azadeh Farzan

Registered user since Tue 14 Feb 2017

Name:Azadeh Farzan
Affiliation:University of Toronto
Research interests:Programming Languages, Formal Verification


POPL 2022 TaDA Live: Compositional Reasoning for Termination of Fine-grained Concurrent Programs
PLMW 2022 Panelist in Panelists within the PLMW 2022-track
Panel (live only, no recording)
Show activities from other conferences

POPL 2022-profile
View general profile