Azadeh Farzan - POPL 2022

Registered user since Tue 14 Feb 2017

Name:Azadeh Farzan

Country:Canada

Affiliation:University of Toronto

Research interests:Programming Languages, Formal Verification

Contributions

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