BibTeX records: Azadeh Farzan

download as .bib file

@article{DBLP:journals/pacmpl/FarzanM24,
  author       = {Azadeh Farzan and
                  Umang Mathur},
  title        = {Coarser Equivalences for Causal Concurrency},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {8},
  number       = {{POPL}},
  pages        = {911--941},
  year         = {2024},
  url          = {https://doi.org/10.1145/3632873},
  doi          = {10.1145/3632873},
  timestamp    = {Sat, 10 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pacmpl/FarzanM24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/FarzanKP24,
  author       = {Azadeh Farzan and
                  Dominik Klumpp and
                  Andreas Podelski},
  title        = {Commutativity Simplifies Proofs of Parameterized Programs},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {8},
  number       = {{POPL}},
  pages        = {2485--2513},
  year         = {2024},
  url          = {https://doi.org/10.1145/3632925},
  doi          = {10.1145/3632925},
  timestamp    = {Sat, 10 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pacmpl/FarzanKP24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-18708,
  author       = {Jialu Bao and
                  Emanuele D'Osualdo and
                  Azadeh Farzan},
  title        = {Bluebell: An Alliance of Relational Lifting and Independence For Probabilistic
                  Reasoning},
  journal      = {CoRR},
  volume       = {abs/2402.18708},
  year         = {2024},
  url          = {https://doi.org/10.48550/arXiv.2402.18708},
  doi          = {10.48550/ARXIV.2402.18708},
  eprinttype    = {arXiv},
  eprint       = {2402.18708},
  timestamp    = {Tue, 26 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2402-18708.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/FarzanKP23,
  author       = {Azadeh Farzan and
                  Dominik Klumpp and
                  Andreas Podelski},
  title        = {Stratified Commutativity in Verification Algorithms for Concurrent
                  Programs},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {7},
  number       = {{POPL}},
  pages        = {1426--1453},
  year         = {2023},
  url          = {https://doi.org/10.1145/3571242},
  doi          = {10.1145/3571242},
  timestamp    = {Fri, 10 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pacmpl/FarzanKP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/LetteF23,
  author       = {Danya Lette and
                  Azadeh Farzan},
  editor       = {Constantin Enea and
                  Akash Lal},
  title        = {Commutativity for Concurrent Program Termination Proofs},
  booktitle    = {Computer Aided Verification - 35th International Conference, {CAV}
                  2023, Paris, France, July 17-22, 2023, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13964},
  pages        = {109--131},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-37706-8\_6},
  doi          = {10.1007/978-3-031-37706-8\_6},
  timestamp    = {Tue, 12 Sep 2023 07:57:21 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/LetteF23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Farzan23,
  author       = {Azadeh Farzan},
  title        = {Commutativity in Automated Verification},
  booktitle    = {{LICS}},
  pages        = {1--7},
  year         = {2023},
  url          = {https://doi.org/10.1109/LICS56636.2023.10175734},
  doi          = {10.1109/LICS56636.2023.10175734},
  timestamp    = {Thu, 20 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lics/Farzan23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/CirisciEFM23,
  author       = {Berk {\c{C}}irisci and
                  Constantin Enea and
                  Azadeh Farzan and
                  Suha Orhun Mutluergil},
  editor       = {Cezara Dragoi and
                  Michael Emmi and
                  Jingbo Wang},
  title        = {A Pragmatic Approach to Stateful Partial Order Reduction},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation - 24th International
                  Conference, {VMCAI} 2023, Boston, MA, USA, January 16-17, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13881},
  pages        = {129--154},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-24950-1\_7},
  doi          = {10.1007/978-3-031-24950-1\_7},
  timestamp    = {Fri, 10 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vmcai/CirisciEFM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-02673,
  author       = {Azadeh Farzan and
                  Dominik Klumpp and
                  Andreas Podelski},
  title        = {Commutativity Simplifies Proofs of Parameterized Programs},
  journal      = {CoRR},
  volume       = {abs/2311.02673},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2311.02673},
  doi          = {10.48550/ARXIV.2311.02673},
  eprinttype    = {arXiv},
  eprint       = {2311.02673},
  timestamp    = {Wed, 08 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2311-02673.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/DOsualdoFD22,
  author       = {Emanuele D'Osualdo and
                  Azadeh Farzan and
                  Derek Dreyer},
  title        = {Proving hypersafety compositionally},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {6},
  number       = {{OOPSLA2}},
  pages        = {289--314},
  year         = {2022},
  url          = {https://doi.org/10.1145/3563298},
  doi          = {10.1145/3563298},
  timestamp    = {Mon, 05 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pacmpl/DOsualdoFD22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/FarzanLN22,
  author       = {Azadeh Farzan and
                  Danya Lette and
                  Victor Nicolet},
  editor       = {Ranjit Jhala and
                  Isil Dillig},
  title        = {Recursion synthesis with unrealizability witnesses},
  booktitle    = {{PLDI} '22: 43rd {ACM} {SIGPLAN} International Conference on Programming
                  Language Design and Implementation, San Diego, CA, USA, June 13 -
                  17, 2022},
  pages        = {244--259},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3519939.3523726},
  doi          = {10.1145/3519939.3523726},
  timestamp    = {Fri, 03 Jun 2022 08:25:37 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/FarzanLN22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/FarzanKP22,
  author       = {Azadeh Farzan and
                  Dominik Klumpp and
                  Andreas Podelski},
  editor       = {Ranjit Jhala and
                  Isil Dillig},
  title        = {Sound sequentialization for concurrent program verification},
  booktitle    = {{PLDI} '22: 43rd {ACM} {SIGPLAN} International Conference on Programming
                  Language Design and Implementation, San Diego, CA, USA, June 13 -
                  17, 2022},
  pages        = {506--521},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3519939.3523727},
  doi          = {10.1145/3519939.3523727},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pldi/FarzanKP22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/KlumppDHSEFP22,
  author       = {Dominik Klumpp and
                  Daniel Dietsch and
                  Matthias Heizmann and
                  Frank Sch{\"{u}}ssele and
                  Marcel Ebbinghaus and
                  Azadeh Farzan and
                  Andreas Podelski},
  editor       = {Dana Fisman and
                  Grigore Rosu},
  title        = {Ultimate GemCutter and the Axes of Generalization - (Competition Contribution)},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 28th International Conference, {TACAS} 2022, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2022, Munich, Germany, April 2-7, 2022, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13244},
  pages        = {479--483},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-030-99527-0\_35},
  doi          = {10.1007/978-3-030-99527-0\_35},
  timestamp    = {Fri, 29 Apr 2022 14:50:32 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/KlumppDHSEFP22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2208-12117,
  author       = {Azadeh Farzan and
                  Umang Mathur},
  title        = {Coarser Equivalences for Concurrent Program Runs},
  journal      = {CoRR},
  volume       = {abs/2208.12117},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2208.12117},
  doi          = {10.48550/ARXIV.2208.12117},
  eprinttype    = {arXiv},
  eprint       = {2208.12117},
  timestamp    = {Tue, 30 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2208-12117.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2209-07448,
  author       = {Emanuele D'Osualdo and
                  Azadeh Farzan and
                  Derek Dreyer},
  title        = {Proving Hypersafety Compositionally},
  journal      = {CoRR},
  volume       = {abs/2209.07448},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2209.07448},
  doi          = {10.48550/ARXIV.2209.07448},
  eprinttype    = {arXiv},
  eprint       = {2209.07448},
  timestamp    = {Tue, 27 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2209-07448.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2211-11942,
  author       = {Berk {\c{C}}irisci and
                  Constantin Enea and
                  Azadeh Farzan and
                  Suha Orhun Mutluergil},
  title        = {A Pragmatic Approach to Stateful Partial Order Reduction},
  journal      = {CoRR},
  volume       = {abs/2211.11942},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2211.11942},
  doi          = {10.48550/ARXIV.2211.11942},
  eprinttype    = {arXiv},
  eprint       = {2211.11942},
  timestamp    = {Thu, 24 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2211-11942.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/DOsualdoSFG21,
  author       = {Emanuele D'Osualdo and
                  Julian Sutherland and
                  Azadeh Farzan and
                  Philippa Gardner},
  title        = {TaDA Live: Compositional Reasoning for Termination of Fine-grained
                  Concurrent Programs},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {43},
  number       = {4},
  pages        = {16:1--16:134},
  year         = {2021},
  url          = {https://doi.org/10.1145/3477082},
  doi          = {10.1145/3477082},
  timestamp    = {Wed, 15 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/DOsualdoSFG21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/FarzanN21,
  author       = {Azadeh Farzan and
                  Victor Nicolet},
  editor       = {Alexandra Silva and
                  K. Rustan M. Leino},
  title        = {Counterexample-Guided Partial Bounding for Recursive Function Synthesis},
  booktitle    = {Computer Aided Verification - 33rd International Conference, {CAV}
                  2021, Virtual Event, July 20-23, 2021, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12759},
  pages        = {832--855},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-81685-8\_39},
  doi          = {10.1007/978-3-030-81685-8\_39},
  timestamp    = {Fri, 23 Jul 2021 16:41:31 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/FarzanN21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/FarzanN21,
  author       = {Azadeh Farzan and
                  Victor Nicolet},
  editor       = {Stephen N. Freund and
                  Eran Yahav},
  title        = {Phased synthesis of divide and conquer programs},
  booktitle    = {{PLDI} '21: 42nd {ACM} {SIGPLAN} International Conference on Programming
                  Language Design and Implementation, Virtual Event, Canada, June 20-25,
                  2021},
  pages        = {974--986},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3453483.3454089},
  doi          = {10.1145/3453483.3454089},
  timestamp    = {Thu, 09 Dec 2021 07:39:43 +0100},
  biburl       = {https://dblp.org/rec/conf/pldi/FarzanN21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/FarzanV20,
  author       = {Azadeh Farzan and
                  Anthony Vandikas},
  title        = {Reductions for safety proofs},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {4},
  number       = {{POPL}},
  pages        = {13:1--13:28},
  year         = {2020},
  url          = {https://doi.org/10.1145/3371081},
  doi          = {10.1145/3371081},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pacmpl/FarzanV20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CirisciEFM20,
  author       = {Berk {\c{C}}irisci and
                  Constantin Enea and
                  Azadeh Farzan and
                  Suha Orhun Mutluergil},
  editor       = {Shuvendu K. Lahiri and
                  Chao Wang},
  title        = {Root Causing Linearizability Violations},
  booktitle    = {Computer Aided Verification - 32nd International Conference, {CAV}
                  2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12224},
  pages        = {350--375},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-53288-8\_17},
  doi          = {10.1007/978-3-030-53288-8\_17},
  timestamp    = {Wed, 12 Aug 2020 15:15:42 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/CirisciEFM20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/FarzanV19,
  author       = {Azadeh Farzan and
                  Anthony Vandikas},
  editor       = {Isil Dillig and
                  Serdar Tasiran},
  title        = {Automated Hypersafety Verification},
  booktitle    = {Computer Aided Verification - 31st International Conference, {CAV}
                  2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part
                  {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {11561},
  pages        = {200--218},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-25540-4\_11},
  doi          = {10.1007/978-3-030-25540-4\_11},
  timestamp    = {Fri, 31 Jan 2020 21:32:18 +0100},
  biburl       = {https://dblp.org/rec/conf/cav/FarzanV19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/FarzanN19,
  author       = {Azadeh Farzan and
                  Victor Nicolet},
  editor       = {Kathryn S. McKinley and
                  Kathleen Fisher},
  title        = {Modular divide-and-conquer parallelization of nested loops},
  booktitle    = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
                  Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
                  June 22-26, 2019},
  pages        = {610--624},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3314221.3314612},
  doi          = {10.1145/3314221.3314612},
  timestamp    = {Sun, 09 Jun 2019 18:52:19 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/FarzanN19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1901-05750,
  author       = {Emanuele D'Osualdo and
                  Azadeh Farzan and
                  Philippa Gardner and
                  Julian Sutherland},
  title        = {TaDA Live: Compositional Reasoning for Termination of Fine-grained
                  Concurrent Programs},
  journal      = {CoRR},
  volume       = {abs/1901.05750},
  year         = {2019},
  url          = {http://arxiv.org/abs/1901.05750},
  eprinttype    = {arXiv},
  eprint       = {1901.05750},
  timestamp    = {Fri, 01 Feb 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1901-05750.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-01031,
  author       = {Azadeh Farzan and
                  Victor Nicolet},
  title        = {Modular Synthesis of Divide-and-Conquer Parallelism for Nested Loops
                  (Extended Version)},
  journal      = {CoRR},
  volume       = {abs/1904.01031},
  year         = {2019},
  url          = {http://arxiv.org/abs/1904.01031},
  eprinttype    = {arXiv},
  eprint       = {1904.01031},
  timestamp    = {Wed, 24 Apr 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1904-01031.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1905-09242,
  author       = {Azadeh Farzan and
                  Anthony Vandikas},
  title        = {Reductions for Automated Hypersafety Verification},
  journal      = {CoRR},
  volume       = {abs/1905.09242},
  year         = {2019},
  url          = {http://arxiv.org/abs/1905.09242},
  eprinttype    = {arXiv},
  eprint       = {1905.09242},
  timestamp    = {Wed, 29 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1905-09242.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-14619,
  author       = {Azadeh Farzan and
                  Anthony Vandikas},
  title        = {Reductions for Safety Proofs (Extended Version)},
  journal      = {CoRR},
  volume       = {abs/1910.14619},
  year         = {2019},
  url          = {http://arxiv.org/abs/1910.14619},
  eprinttype    = {arXiv},
  eprint       = {1910.14619},
  timestamp    = {Mon, 04 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1910-14619.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/FarzanK18,
  author       = {Azadeh Farzan and
                  Zachary Kincaid},
  title        = {Strategy synthesis for linear arithmetic games},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {2},
  number       = {{POPL}},
  pages        = {61:1--61:30},
  year         = {2018},
  url          = {https://doi.org/10.1145/3158149},
  doi          = {10.1145/3158149},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pacmpl/FarzanK18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/FarzanK17,
  author       = {Azadeh Farzan and
                  Zachary Kincaid},
  editor       = {Roland Meyer and
                  Uwe Nestmann},
  title        = {A New Notion of Compositionality for Concurrent Program Proofs (Invited
                  Talk)},
  booktitle    = {28th International Conference on Concurrency Theory, {CONCUR} 2017,
                  September 5-8, 2017, Berlin, Germany},
  series       = {LIPIcs},
  volume       = {85},
  pages        = {4:1--4:11},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.CONCUR.2017.4},
  doi          = {10.4230/LIPICS.CONCUR.2017.4},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/concur/FarzanK17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/FarzanN17,
  author       = {Azadeh Farzan and
                  Victor Nicolet},
  editor       = {Albert Cohen and
                  Martin T. Vechev},
  title        = {Synthesis of divide and conquer parallelism for loops},
  booktitle    = {Proceedings of the 38th {ACM} {SIGPLAN} Conference on Programming
                  Language Design and Implementation, {PLDI} 2017, Barcelona, Spain,
                  June 18-23, 2017},
  pages        = {540--555},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3062341.3062355},
  doi          = {10.1145/3062341.3062355},
  timestamp    = {Wed, 23 Jun 2021 15:34:31 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/FarzanN17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FarzanN17,
  author       = {Azadeh Farzan and
                  Victor Nicolet},
  title        = {Automated Synthesis of Divide and Conquer Parallelism},
  journal      = {CoRR},
  volume       = {abs/1701.08345},
  year         = {2017},
  url          = {http://arxiv.org/abs/1701.08345},
  eprinttype    = {arXiv},
  eprint       = {1701.08345},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/FarzanN17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/FarzanK16,
  author       = {Azadeh Farzan and
                  Zachary Kincaid},
  editor       = {Subbarao Kambhampati},
  title        = {Linear Arithmetic Satisfiability via Strategy Improvement},
  booktitle    = {Proceedings of the Twenty-Fifth International Joint Conference on
                  Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July
                  2016},
  pages        = {735--743},
  publisher    = {{IJCAI/AAAI} Press},
  year         = {2016},
  url          = {http://www.ijcai.org/Abstract/16/110},
  timestamp    = {Tue, 20 Aug 2019 16:19:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/FarzanK16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/FarzanKP16,
  author       = {Azadeh Farzan and
                  Zachary Kincaid and
                  Andreas Podelski},
  editor       = {Martin Grohe and
                  Eric Koskinen and
                  Natarajan Shankar},
  title        = {Proving Liveness of Parameterized Programs},
  booktitle    = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
                  Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
  pages        = {185--196},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2933575.2935310},
  doi          = {10.1145/2933575.2935310},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/FarzanKP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/EneaF16,
  author       = {Constantin Enea and
                  Azadeh Farzan},
  editor       = {Marsha Chechik and
                  Jean{-}Fran{\c{c}}ois Raskin},
  title        = {On Atomicity in Presence of Non-atomic Writes},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 22nd International Conference, {TACAS} 2016, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9636},
  pages        = {497--514},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-662-49674-9\_29},
  doi          = {10.1007/978-3-662-49674-9\_29},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/EneaF16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2016-1,
  editor       = {Swarat Chaudhuri and
                  Azadeh Farzan},
  title        = {Computer Aided Verification - 28th International Conference, {CAV}
                  2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9779},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-41528-4},
  doi          = {10.1007/978-3-319-41528-4},
  isbn         = {978-3-319-41527-7},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/2016-1.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2016-2,
  editor       = {Swarat Chaudhuri and
                  Azadeh Farzan},
  title        = {Computer Aided Verification - 28th International Conference, {CAV}
                  2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9780},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-41540-6},
  doi          = {10.1007/978-3-319-41540-6},
  isbn         = {978-3-319-41539-0},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/2016-2.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FarzanKP16,
  author       = {Azadeh Farzan and
                  Zachary Kincaid and
                  Andreas Podelski},
  title        = {Proving Liveness of Parameterized Programs},
  journal      = {CoRR},
  volume       = {abs/1605.02350},
  year         = {2016},
  url          = {http://arxiv.org/abs/1605.02350},
  eprinttype    = {arXiv},
  eprint       = {1605.02350},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/FarzanKP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/FarzanK15,
  author       = {Azadeh Farzan and
                  Zachary Kincaid},
  editor       = {Roope Kaivola and
                  Thomas Wahl},
  title        = {Compositional Recurrence Analysis},
  booktitle    = {Formal Methods in Computer-Aided Design, {FMCAD} 2015, Austin, Texas,
                  USA, September 27-30, 2015},
  pages        = {57--64},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/FMCAD.2015.7542253},
  doi          = {10.1109/FMCAD.2015.7542253},
  timestamp    = {Tue, 30 May 2023 17:04:45 +0200},
  biburl       = {https://dblp.org/rec/conf/fmcad/FarzanK15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/FarzanHV15,
  author       = {Azadeh Farzan and
                  Andreas Holzer and
                  Helmut Veith},
  title        = {Perspectives on White-Box Testing: Coverage, Concurrency, and Concolic
                  Execution},
  booktitle    = {8th {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2015, Graz, Austria, April 13-17, 2015},
  pages        = {1--11},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/ICST.2015.7102600},
  doi          = {10.1109/ICST.2015.7102600},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/FarzanHV15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/FarzanHHKP15,
  author       = {Azadeh Farzan and
                  Matthias Heizmann and
                  Jochen Hoenicke and
                  Zachary Kincaid and
                  Andreas Podelski},
  editor       = {Adrian{-}Horia Dediu and
                  Enrico Formenti and
                  Carlos Mart{\'{\i}}n{-}Vide and
                  Bianca Truthe},
  title        = {Automated Program Verification},
  booktitle    = {Language and Automata Theory and Applications - 9th International
                  Conference, {LATA} 2015, Nice, France, March 2-6, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8977},
  pages        = {25--46},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-15579-1\_2},
  doi          = {10.1007/978-3-319-15579-1\_2},
  timestamp    = {Mon, 16 Sep 2019 15:27:03 +0200},
  biburl       = {https://dblp.org/rec/conf/lata/FarzanHHKP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/FarzanKP15,
  author       = {Azadeh Farzan and
                  Zachary Kincaid and
                  Andreas Podelski},
  editor       = {Sriram K. Rajamani and
                  David Walker},
  title        = {Proof Spaces for Unbounded Parallelism},
  booktitle    = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
                  Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
                  15-17, 2015},
  pages        = {407--420},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2676726.2677012},
  doi          = {10.1145/2676726.2677012},
  timestamp    = {Sat, 30 Sep 2023 09:54:52 +0200},
  biburl       = {https://dblp.org/rec/conf/popl/FarzanKP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FarzanK15,
  author       = {Azadeh Farzan and
                  Zachary Kincaid},
  title        = {Compositional Invariant Generation via Linear Recurrence Analysis},
  journal      = {CoRR},
  volume       = {abs/1502.00138},
  year         = {2015},
  url          = {http://arxiv.org/abs/1502.00138},
  eprinttype    = {arXiv},
  eprint       = {1502.00138},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/FarzanK15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/RazaviFM14,
  author       = {Niloofar Razavi and
                  Azadeh Farzan and
                  Sheila A. McIlraith},
  title        = {Generating effective tests for concurrent programs via {AI} automated
                  planning techniques},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {16},
  number       = {1},
  pages        = {49--65},
  year         = {2014},
  url          = {https://doi.org/10.1007/s10009-013-0277-y},
  doi          = {10.1007/S10009-013-0277-Y},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sttt/RazaviFM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/FarzanKP14,
  author       = {Azadeh Farzan and
                  Zachary Kincaid and
                  Andreas Podelski},
  editor       = {Suresh Jagannathan and
                  Peter Sewell},
  title        = {Proofs that count},
  booktitle    = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
                  Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21,
                  2014},
  pages        = {151--164},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2535838.2535885},
  doi          = {10.1145/2535838.2535885},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/FarzanKP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/ChaudhuriFK14,
  author       = {Swarat Chaudhuri and
                  Azadeh Farzan and
                  Zachary Kincaid},
  editor       = {Suresh Jagannathan and
                  Peter Sewell},
  title        = {Consistency analysis of decision-making programs},
  booktitle    = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
                  Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21,
                  2014},
  pages        = {555--568},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2535838.2535858},
  doi          = {10.1145/2535838.2535858},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/ChaudhuriFK14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/FarzanHRV14,
  author       = {Azadeh Farzan and
                  Andreas Holzer and
                  Niloofar Razavi and
                  Helmut Veith},
  editor       = {Wilhelm Hasselbring and
                  Nils Christian Ehmke},
  title        = {Concolic Testing of Concurrent Programs},
  booktitle    = {Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik,
                  25. Februar - 28. Februar 2014, Kiel, Germany},
  series       = {{LNI}},
  volume       = {{P-227}},
  pages        = {101--102},
  publisher    = {{GI}},
  year         = {2014},
  url          = {https://dl.gi.de/handle/20.500.12116/30982},
  timestamp    = {Tue, 04 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/se/FarzanHRV14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/FarzanK13,
  author       = {Azadeh Farzan and
                  Zachary Kincaid},
  editor       = {Natasha Sharygina and
                  Helmut Veith},
  title        = {Duet: Static Analysis for Unbounded Parallelism},
  booktitle    = {Computer Aided Verification - 25th International Conference, {CAV}
                  2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8044},
  pages        = {191--196},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39799-8\_12},
  doi          = {10.1007/978-3-642-39799-8\_12},
  timestamp    = {Wed, 07 Dec 2022 23:12:58 +0100},
  biburl       = {https://dblp.org/rec/conf/cav/FarzanK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/FarzanKP13,
  author       = {Azadeh Farzan and
                  Zachary Kincaid and
                  Andreas Podelski},
  editor       = {Roberto Giacobazzi and
                  Radhia Cousot},
  title        = {Inductive data flow graphs},
  booktitle    = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
                  Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25,
                  2013},
  pages        = {129--142},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2429069.2429086},
  doi          = {10.1145/2429069.2429086},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/FarzanKP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/FarzanHRV13,
  author       = {Azadeh Farzan and
                  Andreas Holzer and
                  Niloofar Razavi and
                  Helmut Veith},
  editor       = {Bertrand Meyer and
                  Luciano Baresi and
                  Mira Mezini},
  title        = {Con2colic testing},
  booktitle    = {Joint Meeting of the European Software Engineering Conference and
                  the {ACM} {SIGSOFT} Symposium on the Foundations of Software Engineering,
                  ESEC/FSE'13, Saint Petersburg, Russian Federation, August 18-26, 2013},
  pages        = {37--47},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2491411.2491453},
  doi          = {10.1145/2491411.2491453},
  timestamp    = {Tue, 01 Feb 2022 10:45:16 +0100},
  biburl       = {https://dblp.org/rec/conf/sigsoft/FarzanHRV13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FarzanK13,
  author       = {Azadeh Farzan and
                  Zachary Kincaid},
  title        = {An Algebraic Framework for Compositional Program Analysis},
  journal      = {CoRR},
  volume       = {abs/1310.3481},
  year         = {2013},
  url          = {http://arxiv.org/abs/1310.3481},
  eprinttype    = {arXiv},
  eprint       = {1310.3481},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/FarzanK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/RazaviFH12,
  author       = {Niloofar Razavi and
                  Azadeh Farzan and
                  Andreas Holzer},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Bounded-Interference Sequentialization for Testing Concurrent Programs},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation.
                  Technologies for Mastering Change - 5th International Symposium, ISoLA
                  2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings,
                  Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {7609},
  pages        = {372--387},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-34026-0\_28},
  doi          = {10.1007/978-3-642-34026-0\_28},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/RazaviFH12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/FarzanK12,
  author       = {Azadeh Farzan and
                  Zachary Kincaid},
  editor       = {John Field and
                  Michael Hicks},
  title        = {Verification of parameterized concurrent programs by modular reasoning
                  about data and control},
  booktitle    = {Proceedings of the 39th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
                  of Programming Languages, {POPL} 2012, Philadelphia, Pennsylvania,
                  USA, January 22-28, 2012},
  pages        = {297--308},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2103656.2103693},
  doi          = {10.1145/2103656.2103693},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/FarzanK12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/FarzanMRS12,
  author       = {Azadeh Farzan and
                  P. Madhusudan and
                  Niloofar Razavi and
                  Francesco Sorrentino},
  editor       = {Will Tracz and
                  Martin P. Robillard and
                  Tevfik Bultan},
  title        = {Predicting null-pointer dereferences in concurrent programs},
  booktitle    = {20th {ACM} {SIGSOFT} Symposium on the Foundations of Software Engineering
                  (FSE-20), SIGSOFT/FSE'12, Cary, NC, {USA} - November 11 - 16, 2012},
  pages        = {47},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2393596.2393651},
  doi          = {10.1145/2393596.2393651},
  timestamp    = {Tue, 01 Feb 2022 10:45:16 +0100},
  biburl       = {https://dblp.org/rec/conf/sigsoft/FarzanMRS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ChenCFTTW10,
  author       = {Yu{-}Fang Chen and
                  Edmund M. Clarke and
                  Azadeh Farzan and
                  Ming{-}Hsien Tsai and
                  Yih{-}Kuen Tsay and
                  Bow{-}Yaw Wang},
  editor       = {Tayssir Touili and
                  Byron Cook and
                  Paul B. Jackson},
  title        = {Automated Assume-Guarantee Reasoning through Implicit Learning},
  booktitle    = {Computer Aided Verification, 22nd International Conference, {CAV}
                  2010, Edinburgh, UK, July 15-19, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6174},
  pages        = {511--526},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-14295-6\_44},
  doi          = {10.1007/978-3-642-14295-6\_44},
  timestamp    = {Tue, 20 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cav/ChenCFTTW10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/ChenCFHTTWZ10,
  author       = {Yu{-}Fang Chen and
                  Edmund M. Clarke and
                  Azadeh Farzan and
                  Fei He and
                  Ming{-}Hsien Tsai and
                  Yih{-}Kuen Tsay and
                  Bow{-}Yaw Wang and
                  Lei Zhu},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Comparing Learning Algorithms in Automated Assume-Guarantee Reasoning},
  booktitle    = {Leveraging Applications of Formal Methods, Verification, and Validation
                  - 4th International Symposium on Leveraging Applications, ISoLA 2010,
                  Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {6415},
  pages        = {643--657},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-16558-0\_52},
  doi          = {10.1007/978-3-642-16558-0\_52},
  timestamp    = {Tue, 20 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isola/ChenCFHTTWZ10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/FarzanK10,
  author       = {Azadeh Farzan and
                  Zachary Kincaid},
  editor       = {Radhia Cousot and
                  Matthieu Martel},
  title        = {Compositional Bitvector Analysis for Concurrent Programs with Nested
                  Locks},
  booktitle    = {Static Analysis - 17th International Symposium, {SAS} 2010, Perpignan,
                  France, September 14-16, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6337},
  pages        = {253--270},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15769-1\_16},
  doi          = {10.1007/978-3-642-15769-1\_16},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/FarzanK10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/SorrentinoFM10,
  author       = {Francesco Sorrentino and
                  Azadeh Farzan and
                  P. Madhusudan},
  editor       = {Gruia{-}Catalin Roman and
                  Andr{\'{e}} van der Hoek},
  title        = {{PENELOPE:} weaving threads to expose atomicity violations},
  booktitle    = {Proceedings of the 18th {ACM} {SIGSOFT} International Symposium on
                  Foundations of Software Engineering, 2010, Santa Fe, NM, USA, November
                  7-11, 2010},
  pages        = {37--46},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1882291.1882300},
  doi          = {10.1145/1882291.1882300},
  timestamp    = {Tue, 01 Feb 2022 10:45:16 +0100},
  biburl       = {https://dblp.org/rec/conf/sigsoft/SorrentinoFM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/FarzanMS09,
  author       = {Azadeh Farzan and
                  P. Madhusudan and
                  Francesco Sorrentino},
  editor       = {Ahmed Bouajjani and
                  Oded Maler},
  title        = {Meta-analysis for Atomicity Violations under Nested Locking},
  booktitle    = {Computer Aided Verification, 21st International Conference, {CAV}
                  2009, Grenoble, France, June 26 - July 2, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5643},
  pages        = {248--262},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02658-4\_21},
  doi          = {10.1007/978-3-642-02658-4\_21},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/FarzanMS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/ChenFCTW09,
  author       = {Yu{-}Fang Chen and
                  Azadeh Farzan and
                  Edmund M. Clarke and
                  Yih{-}Kuen Tsay and
                  Bow{-}Yaw Wang},
  editor       = {Stefan Kowalewski and
                  Anna Philippou},
  title        = {Learning Minimal Separating DFA's for Compositional Verification},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems,
                  15th International Conference, {TACAS} 2009, Held as Part of the Joint
                  European Conferences on Theory and Practice of Software, {ETAPS} 2009,
                  York, UK, March 22-29, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5505},
  pages        = {31--45},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-00768-2\_3},
  doi          = {10.1007/978-3-642-00768-2\_3},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tacas/ChenFCTW09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/FarzanM09,
  author       = {Azadeh Farzan and
                  P. Madhusudan},
  editor       = {Stefan Kowalewski and
                  Anna Philippou},
  title        = {The Complexity of Predicting Atomicity Violations},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems,
                  15th International Conference, {TACAS} 2009, Held as Part of the Joint
                  European Conferences on Theory and Practice of Software, {ETAPS} 2009,
                  York, UK, March 22-29, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5505},
  pages        = {155--169},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-00768-2\_14},
  doi          = {10.1007/978-3-642-00768-2\_14},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/FarzanM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/FarzanM08,
  author       = {Azadeh Farzan and
                  P. Madhusudan},
  editor       = {Aarti Gupta and
                  Sharad Malik},
  title        = {Monitoring Atomicity in Concurrent Programs},
  booktitle    = {Computer Aided Verification, 20th International Conference, {CAV}
                  2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5123},
  pages        = {52--65},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-70545-1\_8},
  doi          = {10.1007/978-3-540-70545-1\_8},
  timestamp    = {Sat, 30 Sep 2023 09:35:55 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/FarzanM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/FarzanCCTW08,
  author       = {Azadeh Farzan and
                  Yu{-}Fang Chen and
                  Edmund M. Clarke and
                  Yih{-}Kuen Tsay and
                  Bow{-}Yaw Wang},
  editor       = {C. R. Ramakrishnan and
                  Jakob Rehof},
  title        = {Extending Automated Compositional Verification to the Full Class of
                  Omega-Regular Languages},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems,
                  14th International Conference, {TACAS} 2008, Held as Part of the Joint
                  European Conferences on Theory and Practice of Software, {ETAPS} 2008,
                  Budapest, Hungary, March 29-April 6, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4963},
  pages        = {2--17},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-78800-3\_2},
  doi          = {10.1007/978-3-540-78800-3\_2},
  timestamp    = {Mon, 03 Apr 2023 17:23:33 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/FarzanCCTW08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/us/Farzan07,
  author       = {Azadeh Farzan},
  title        = {Static and Dynamic Formal Analysis of Concurrent Systems and Languages:
                  {A} Semantics-Based Approach},
  school       = {University of Illinois Urbana-Champaign, {USA}},
  year         = {2007},
  url          = {https://hdl.handle.net/2142/81762},
  timestamp    = {Thu, 31 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/us/Farzan07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/FarzanM07,
  author       = {Azadeh Farzan and
                  P. Madhusudan},
  editor       = {Orna Grumberg and
                  Michael Huth},
  title        = {Causal Dataflow Analysis for Concurrent Programs},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems,
                  13th International Conference, {TACAS} 2007, Held as Part of the Joint
                  European Conferences on Theory and Practice of Software, {ETAPS} 2007
                  Braga, Portugal, March 24 - April 1, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4424},
  pages        = {102--116},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-71209-1\_10},
  doi          = {10.1007/978-3-540-71209-1\_10},
  timestamp    = {Mon, 11 Sep 2023 15:43:49 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/FarzanM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/maude/ClavelDELMMTBFHOPSSV07,
  author       = {Manuel Clavel and
                  Francisco Dur{\'{a}}n and
                  Steven Eker and
                  Patrick Lincoln and
                  Narciso Mart{\'{\i}}{-}Oliet and
                  Jos{\'{e}} Meseguer and
                  Carolyn L. Talcott and
                  Christiano Braga and
                  Azadeh Farzan and
                  Joe Hendrix and
                  Peter Csaba {\"{O}}lveczky and
                  Miguel Palomino and
                  Ralf Sasse and
                  Mark{-}Oliver Stehr and
                  Alberto Verdejo},
  editor       = {Manuel Clavel and
                  Francisco Dur{\'{a}}n and
                  Steven Eker and
                  Patrick Lincoln and
                  Narciso Mart{\'{\i}}{-}Oliet and
                  Jos{\'{e}} Meseguer and
                  Carolyn L. Talcott},
  title        = {Some Tools},
  booktitle    = {All About Maude - {A} High-Performance Logical Framework, How to Specify,
                  Program and Verify Systems in Rewriting Logic},
  series       = {Lecture Notes in Computer Science},
  volume       = {4350},
  pages        = {667--693},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-71999-1\_21},
  doi          = {10.1007/978-3-540-71999-1\_21},
  timestamp    = {Wed, 20 Sep 2023 08:58:11 +0200},
  biburl       = {https://dblp.org/rec/conf/maude/ClavelDELMMTBFHOPSSV07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/FarzanM06,
  author       = {Azadeh Farzan and
                  Jos{\'{e}} Meseguer},
  editor       = {Michael Johnson and
                  Varmo Vene},
  title        = {State Space Reduction of Rewrite Theories Using Invisible Transitions},
  booktitle    = {Algebraic Methodology and Software Technology, 11th International
                  Conference, {AMAST} 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4019},
  pages        = {142--157},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11784180\_13},
  doi          = {10.1007/11784180\_13},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/amast/FarzanM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/FarzanM06,
  author       = {Azadeh Farzan and
                  P. Madhusudan},
  editor       = {Thomas Ball and
                  Robert B. Jones},
  title        = {Causal Atomicity},
  booktitle    = {Computer Aided Verification, 18th International Conference, {CAV}
                  2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4144},
  pages        = {315--328},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11817963\_30},
  doi          = {10.1007/11817963\_30},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/FarzanM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FarzanM07,
  author       = {Azadeh Farzan and
                  Jos{\'{e}} Meseguer},
  editor       = {Grit Denker and
                  Carolyn L. Talcott},
  title        = {Partial Order Reduction for Rewriting Semantics of Programming Languages},
  booktitle    = {Proceedings of the 6th International Workshop on Rewriting Logic and
                  its Applications, {WRLA} 2006, Vienna, Austria, April 1-2, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {176},
  number       = {4},
  pages        = {61--78},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2007.06.008},
  doi          = {10.1016/J.ENTCS.2007.06.008},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/FarzanM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/FarzanMR04,
  author       = {Azadeh Farzan and
                  Jos{\'{e}} Meseguer and
                  Grigore Rosu},
  editor       = {Charles Rattray and
                  Savi Maharaj and
                  Carron Shankland},
  title        = {Formal {JVM} Code Analysis in JavaFAN},
  booktitle    = {Algebraic Methodology and Software Technology, 10th International
                  Conference, {AMAST} 2004, Stirling, Scotland, UK, July 12-16, 2004,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3116},
  pages        = {132--147},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-27815-3\_14},
  doi          = {10.1007/978-3-540-27815-3\_14},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/amast/FarzanMR04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/FarzanCMR04,
  author       = {Azadeh Farzan and
                  Feng Chen and
                  Jos{\'{e}} Meseguer and
                  Grigore Rosu},
  editor       = {Rajeev Alur and
                  Doron A. Peled},
  title        = {Formal Analysis of Java Programs in JavaFAN},
  booktitle    = {Computer Aided Verification, 16th International Conference, {CAV}
                  2004, Boston, MA, USA, July 13-17, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3114},
  pages        = {501--505},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-27813-9\_46},
  doi          = {10.1007/978-3-540-27813-9\_46},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/FarzanCMR04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics