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
| POPL 2023 | Stratified Commutativity in Verification Algorithms for Concurrent Programs | ||||||||||||||||||||||||||||||||||||||||
| VMCAI 2023 | A Pragmatic Approach to Stateful Partial Order Reduction | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2023-profile
View general profile
View general profile