Azadeh Farzan - PLDI 2022

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

PLDI 2022	(PLDI 2021) Phased Synthesis of Divide and Conquer Programs Recursion Synthesis with Unrealizability Witnesses Chair in Organizing Committee within the W@PLDI-track Sound Sequentialization for Concurrent Program Verification
Commute	Safety Proof Simplification Through Commutativity Closing Remarks & Business Meeting Organizer in Organizing Committee within the Commute 2022-track Welcome Remarks
Show activities from other conferences