Articles with public access mandates - Azadeh FarzanLearn more
Not available anywhere: 1
Perspectives on White-Box Testing: Coverage, Concurrency, and Concolic Execution
A Farzan, A Holzer, H Veith
2015 IEEE 8th International Conference on Software Testing, Verification and …, 2015
Mandates: Austrian Science Fund, Vienna Science and Technology Fund, Austria
Available somewhere: 14
Con2colic testing
A Farzan, A Holzer, N Razavi, H Veith
Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013
Mandates: Austrian Science Fund
Strategy synthesis for linear arithmetic games
A Farzan, Z Kincaid
Proceedings of the ACM on Programming Languages 2 (POPL), 1-30, 2017
Mandates: Natural Sciences and Engineering Research Council of Canada
Synthesis of divide and conquer parallelism for loops
A Farzan, V Nicolet
ACM SIGPLAN Notices 52 (6), 540-555, 2017
Mandates: Natural Sciences and Engineering Research Council of Canada
Proof spaces for unbounded parallelism
A Farzan, Z Kincaid, A Podelski
ACM SIGPLAN Notices 50 (1), 407-420, 2015
Mandates: German Research Foundation
Proving liveness of parameterized programs
A Farzan, Z Kincaid, A Podelski
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016
Mandates: Natural Sciences and Engineering Research Council of Canada
Reductions for safety proofs
A Farzan, A Vandikas
Proceedings of the ACM on Programming Languages 4 (POPL), 1-28, 2019
Mandates: Natural Sciences and Engineering Research Council of Canada
TaDA Live: Compositional reasoning for termination of fine-grained concurrent programs
E D’Osualdo, J Sutherland, A Farzan, P Gardner
ACM Transactions on Programming Languages and Systems (TOPLAS) 43 (4), 1-134, 2021
Mandates: UK Engineering and Physical Sciences Research Council, European Commission …
Proving hypersafety compositionally
E D’Osualdo, A Farzan, D Dreyer
Proceedings of the ACM on Programming Languages 6 (OOPSLA2), 289-314, 2022
Mandates: European Commission
Bounded-interference sequentialization for testing concurrent programs
N Razavi, A Farzan, A Holzer
International Symposium On Leveraging Applications of Formal Methods …, 2012
Mandates: Austrian Science Fund
Commutativity in Automated Verification
A Farzan
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-7, 2023
Mandates: Natural Sciences and Engineering Research Council of Canada
Coarser Equivalences for Causal Concurrency
A Farzan, U Mathur
Proceedings of the ACM on Programming Languages 8 (POPL), 911-941, 2024
Mandates: Natural Sciences and Engineering Research Council of Canada
Root causing linearizability violations
B Çirisci, C Enea, A Farzan, SO Mutluergil
International Conference on Computer Aided Verification, 350-375, 2020
Mandates: European Commission
Bluebell: An Alliance of Relational Lifting and Independence For Probabilistic Reasoning
J Bao, E D'Osualdo, A Farzan
Proceedings of the ACM on Programming Languages 9 (POPL), 1719-1749, 2025
Mandates: European Commission
Concolic Testing of Concurrent Programs.
A Farzan, A Holzer, N Razavi, H Veith
Software Engineering, 101-102, 2014
Mandates: Austrian Science Fund
Publication and funding information is determined automatically by a computer program