Azadeh Farzan

Registered user since Tue 14 Feb 2017

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

Contributions

PLDI 2021 Author of Phased Synthesis of Divide and Conquer Programs within the PLDI-track
POPL 2021 PC Chair in Program Committee within the POPL-track
Program Chair in Organizing Committee
PLDI 2020 Committee Member in External Review Committee within the PLDI Research Papers-track
POPL 2020 Author of Reductions for Safety Proofs within the Research Papers-track
ECOOP 2019 Keynote Speaker of Rethinking Compositionality: Composing Proofs From Program Behaviours within the Research Papers-track
PLDI 2019 Author of Modular Divide-and-Conquer Parallelization of Nested Loops within the PLDI Research Papers-track
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
PLDI 2018 Committee Member in External Review Committee
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
POPL 2017 ERC member in External Review Committee within the POPL-track
PLDI 2017 Author of Synthesis of Divide and Conquer Parallelism for Loops within the PLDI Research Papers-track
POPL 2016 ERC member in External Reviewing Committee
ERC member in External Reviewing Committee within the Research Papers-track
ESOP 2015 Committee Member in Program Committee within the ESOP-track