conf.researchr.org / 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/
X (Twitter): https://x.com/AzadehFarzan
Research interests:Formal Verification, Concurrency, Synthesis, Theory
Contributions
2024
2023
2022
PLDI
- 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
CORA
2021
2020
2019
2018
PLMW
POPL
- 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