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

CC 2023 Committee Member in Program Committee within the Research Papers-track
POPL 2023 Author of Stratified Commutativity in Verification Algorithms for Concurrent Programs within the POPL-track
VMCAI 2023 Author of A Pragmatic Approach to Stateful Partial Order Reduction within the VMCAI 2023-track
SPLASH 2022 Author of Proving Hypersafety Compositionally within the OOPSLA-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
Commute Author of Safety Proof Simplification Through Commutativity within the Commute 2022-track
Author of Closing Remarks & Business Meeting within the Commute 2022-track
Organizer in Organizing Committee within the Commute 2022-track
Author of Welcome Remarks within the Commute 2022-track
POPL 2022 Author of TaDA Live: Compositional Reasoning for Termination of Fine-grained Concurrent Programs within the POPL-track
PLMW 2022 Panelist in Panelists within the PLMW 2022-track
Panelist of Panel (live only, no recording) within the PLMW 2022-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
PLDI 2018 Committee Member in External Review Committee
PLMW 2018 Committee Member in Panelists within the PLMW-track
Author of Panel II: Life in Grad School (and Beyond) within the PLMW-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
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 2017 Author of Synthesis of Divide and Conquer Parallelism for Loops within the PLDI Research Papers-track
POPL 2017 ERC member in External Review Committee within the POPL-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