Azadeh Farzan

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

PLDI 2020Committee Member in External Review Committee within the PLDI Research Papers-track
POPL 2020Author of Reductions for Safety Proofs within the Research Papers-track
ECOOP 2019Keynote Speaker of Rethinking Compositionality: Composing Proofs From Program Behaviours within the Research Papers-track
PLDI 2019Author of Modular Divide-and-Conquer Parallelization of Nested Loops within the PLDI Research Papers-track
PLMW 2018Committee Member in Panelists within the PLMW-track
Author of Panel II: Life in Grad School (and Beyond) within the PLMW-track
VMCAI 2018Author of Rethinking Compositionality for Concurrent Program Proofs within the VMCAI 2018-track
Invited Speaker in Invited Speakers within the VMCAI 2018-track
PLDI 2018Committee Member in External Review Committee
POPL 2018Session 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
POPL 2017ERC member in External Review Committee within the POPL-track
PLDI 2017Author of Synthesis of Divide and Conquer Parallelism for Loops within the PLDI Research Papers-track
POPL 2016ERC member in External Reviewing Committee
ERC member in External Reviewing Committee within the Research Papers-track
ESOP 2015Committee Member in Program Committee within the ESOP-track