Write a Blog >>
PLDI 2021
Sun 20 - Sat 26 June 2021 Virtual Conference
Azadeh Farzan

Registered user since Tue 14 Feb 2017

Name: Azadeh Farzan

Country: Canada

Affiliation: University of Toronto

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

Research interests: Programming Languages, Formal Verification

Contributions

PLDI 2021 Phased Synthesis of Divide and Conquer Programs
Show activities from other conferences

Using general profile