Azadeh Farzan

Registered user since Tue 14 Feb 2017

Name:Azadeh Farzan
Bio:

I am a Professor at University of Toronto.

Country:Canada
Affiliation:University of Toronto
Research interests:Formal Verification, Concurrency, Synthesis, Theory

Contributions

Commute Organizer in Organizing Committee within the Commute 2022-track
PLDI 2022 Author of (PLDI 2021) Phased Synthesis of Divide and Conquer Programs within the SIGPLAN Track-track
Author of Recursion Synthesis with Unrealizability Witnesses within the PLDI-track
Chair in Organizing Committee within the W@PLDI-track
Author of Sound Sequentialization for Concurrent Program Verification within the PLDI-track
PLMW 2022 Panelist in Panelists within the PLMW 2022-track
Panelist of Panel (live only, no recording) within the PLMW 2022-track
POPL 2022 Author of TaDA Live: Compositional Reasoning for Termination of Fine-grained Concurrent Programs within the POPL-track
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