Azadeh Farzan - POPL 2018

Sun 7 - Sat 13 January 2018 Los Angeles, California, United States

Registered user since Tue 14 Feb 2017

Name: Azadeh Farzan

Country: Canada

Affiliation: University of Toronto

Personal website: http://www.cs.toronto.edu/~azadeh/

Research interests: Programming Languages, Formal Verification

Contributions

PLMW 2018	Committee Member in Panelists within the PLMW-track Author of Panel II: Life in Grad School (and Beyond) within the PLMW-track
VMCAI 2018	Author of Rethinking Compositionality for Concurrent Program Proofs within the VMCAI 2018-track Invited speaker in Invited Speakers within the VMCAI 2018-track
POPL 2018	Session Chair of Memory and Concurrency (part of Research Papers) Author of Strategy Synthesis for Linear Arithmetic Games within the Artifact Evaluation-track Author of Strategy Synthesis for Linear Arithmetic Games within the Research Papers-track Committee Member in Program Committee within the Research Papers-track
Show activities from other conferences

POPL 2018-profile
View general profile