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

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

Twitter:https://twitter.com/AzadehFarzan

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