BibTeX records: Azalea Raad

download as .bib file

@article{DBLP:journals/pacmpl/Kokologiannakis21,
  author    = {Michalis Kokologiannakis and
               Ilya Kaysin and
               Azalea Raad and
               Viktor Vafeiadis},
  title     = {PerSeVerE: persistency semantics for verification under ext4},
  journal   = {Proc. {ACM} Program. Lang.},
  volume    = {5},
  number    = {{POPL}},
  pages     = {1--29},
  year      = {2021},
  url       = {https://doi.org/10.1145/3434324},
  doi       = {10.1145/3434324},
  timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/pacmpl/Kokologiannakis21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ChoLRK21,
  author    = {Kyeongmin Cho and
               Sung Hwan Lee and
               Azalea Raad and
               Jeehoon Kang},
  editor    = {Stephen N. Freund and
               Eran Yahav},
  title     = {Revamping hardware persistency models: view-based and axiomatic persistency
               models for Intel-x86 and Armv8},
  booktitle = {{PLDI} '21: 42nd {ACM} {SIGPLAN} International Conference on Programming
               Language Design and Implementation, Virtual Event, Canada, June 20-25,
               20211},
  pages     = {16--31},
  publisher = {{ACM}},
  year      = {2021},
  url       = {https://doi.org/10.1145/3453483.3454027},
  doi       = {10.1145/3453483.3454027},
  timestamp = {Mon, 21 Jun 2021 12:31:13 +0200},
  biburl    = {https://dblp.org/rec/conf/pldi/ChoLRK21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/RaadLV20,
  author    = {Azalea Raad and
               Ori Lahav and
               Viktor Vafeiadis},
  title     = {Persistent Owicki-Gries reasoning: a program logic for reasoning about
               persistent programs on Intel-x86},
  journal   = {Proc. {ACM} Program. Lang.},
  volume    = {4},
  number    = {{OOPSLA}},
  pages     = {151:1--151:28},
  year      = {2020},
  url       = {https://doi.org/10.1145/3428219},
  doi       = {10.1145/3428219},
  timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/pacmpl/RaadLV20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/RaadWNV20,
  author    = {Azalea Raad and
               John Wickerson and
               Gil Neiger and
               Viktor Vafeiadis},
  title     = {Persistency semantics of the Intel-x86 architecture},
  journal   = {Proc. {ACM} Program. Lang.},
  volume    = {4},
  number    = {{POPL}},
  pages     = {11:1--11:31},
  year      = {2020},
  url       = {https://doi.org/10.1145/3371079},
  doi       = {10.1145/3371079},
  timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/pacmpl/RaadWNV20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/RaadBDDOV20,
  author    = {Azalea Raad and
               Josh Berdine and
               Hoang{-}Hai Dang and
               Derek Dreyer and
               Peter W. O'Hearn and
               Jules Villard},
  editor    = {Shuvendu K. Lahiri and
               Chao Wang},
  title     = {Local Reasoning About the Presence of Bugs: Incorrectness Separation
               Logic},
  booktitle = {Computer Aided Verification - 32nd International Conference, {CAV}
               2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {II}},
  series    = {Lecture Notes in Computer Science},
  volume    = {12225},
  pages     = {225--252},
  publisher = {Springer},
  year      = {2020},
  url       = {https://doi.org/10.1007/978-3-030-53291-8\_14},
  doi       = {10.1007/978-3-030-53291-8\_14},
  timestamp = {Wed, 12 Aug 2020 15:15:44 +0200},
  biburl    = {https://dblp.org/rec/conf/cav/RaadBDDOV20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/XiongCRG19,
  author    = {Shale Xiong and
               Andrea Cerone and
               Azalea Raad and
               Philippa Gardner},
  editor    = {Robert Hirschfeld and
               Tobias Pape},
  title     = {Data Consistency in Transactional Storage Systems: {A} Centralised
               Semantics},
  booktitle = {34th European Conference on Object-Oriented Programming, {ECOOP} 2020,
               November 15-17, 2020, Berlin, Germany (Virtual Conference)},
  series    = {LIPIcs},
  volume    = {166},
  pages     = {21:1--21:31},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year      = {2020},
  url       = {https://doi.org/10.4230/LIPIcs.ECOOP.2020.21},
  doi       = {10.4230/LIPIcs.ECOOP.2020.21},
  timestamp = {Mon, 21 Dec 2020 13:23:22 +0100},
  biburl    = {https://dblp.org/rec/conf/ecoop/XiongCRG19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/RaadWV19,
  author    = {Azalea Raad and
               John Wickerson and
               Viktor Vafeiadis},
  title     = {Weak persistency semantics from the ground up: formalising the persistency
               semantics of ARMv8 and transactional models},
  journal   = {Proc. {ACM} Program. Lang.},
  volume    = {3},
  number    = {{OOPSLA}},
  pages     = {135:1--135:27},
  year      = {2019},
  url       = {https://doi.org/10.1145/3360561},
  doi       = {10.1145/3360561},
  timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/pacmpl/RaadWV19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/Kokologiannakis19,
  author    = {Michalis Kokologiannakis and
               Azalea Raad and
               Viktor Vafeiadis},
  title     = {Effective lock handling in stateless model checking},
  journal   = {Proc. {ACM} Program. Lang.},
  volume    = {3},
  number    = {{OOPSLA}},
  pages     = {173:1--173:26},
  year      = {2019},
  url       = {https://doi.org/10.1145/3360599},
  doi       = {10.1145/3360599},
  timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/pacmpl/Kokologiannakis19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/RaadDRLV19,
  author    = {Azalea Raad and
               Marko Doko and
               Lovro Rozic and
               Ori Lahav and
               Viktor Vafeiadis},
  title     = {On library correctness under weak memory consistency: specifying and
               verifying concurrent libraries under declarative consistency models},
  journal   = {Proc. {ACM} Program. Lang.},
  volume    = {3},
  number    = {{POPL}},
  pages     = {68:1--68:31},
  year      = {2019},
  url       = {https://doi.org/10.1145/3290381},
  doi       = {10.1145/3290381},
  timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/pacmpl/RaadDRLV19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cig/CookR19,
  author    = {Michael Cook and
               Azalea Raad},
  title     = {Hyperstate Space Graphs for Automated Game Analysis},
  booktitle = {{IEEE} Conference on Games, CoG 2019, London, United Kingdom, August
               20-23, 2019},
  pages     = {1--8},
  publisher = {{IEEE}},
  year      = {2019},
  url       = {https://doi.org/10.1109/CIG.2019.8848026},
  doi       = {10.1109/CIG.2019.8848026},
  timestamp = {Tue, 17 Dec 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/cig/CookR19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/Kokologiannakis19,
  author    = {Michalis Kokologiannakis and
               Azalea Raad and
               Viktor Vafeiadis},
  editor    = {Kathryn S. McKinley and
               Kathleen Fisher},
  title     = {Model checking for weakly consistent libraries},
  booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
               Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
               June 22-26, 2019},
  pages     = {96--110},
  publisher = {{ACM}},
  year      = {2019},
  url       = {https://doi.org/10.1145/3314221.3314609},
  doi       = {10.1145/3314221.3314609},
  timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/pldi/Kokologiannakis19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/RaadLV19,
  author    = {Azalea Raad and
               Ori Lahav and
               Viktor Vafeiadis},
  editor    = {Constantin Enea and
               Ruzica Piskac},
  title     = {On the Semantics of Snapshot Isolation},
  booktitle = {Verification, Model Checking, and Abstract Interpretation - 20th International
               Conference, {VMCAI} 2019, Cascais, Portugal, January 13-15, 2019,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11388},
  pages     = {1--23},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-11245-5\_1},
  doi       = {10.1007/978-3-030-11245-5\_1},
  timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/vmcai/RaadLV19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1901-10615,
  author    = {Shale Xiong and
               Andrea Cerone and
               Azalea Raad and
               Philippa Gardner},
  title     = {Data Consistency in Transactional Storage Systems: a Centralised Approach},
  journal   = {CoRR},
  volume    = {abs/1901.10615},
  year      = {2019},
  url       = {http://arxiv.org/abs/1901.10615},
  archivePrefix = {arXiv},
  eprint    = {1901.10615},
  timestamp = {Sun, 03 Feb 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1901-10615.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/RaadV18,
  author    = {Azalea Raad and
               Viktor Vafeiadis},
  title     = {Persistence semantics for weak memory: integrating epoch persistency
               with the {TSO} memory model},
  journal   = {Proc. {ACM} Program. Lang.},
  volume    = {2},
  number    = {{OOPSLA}},
  pages     = {137:1--137:27},
  year      = {2018},
  url       = {https://doi.org/10.1145/3276507},
  doi       = {10.1145/3276507},
  timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/pacmpl/RaadV18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cig/CookCR18,
  author    = {Michael Cook and
               Simon Colton and
               Azalea Raad},
  title     = {Inferring Design Constraints From Game Ruleset Analysis},
  booktitle = {2018 {IEEE} Conference on Computational Intelligence and Games, {CIG}
               2018, Maastricht, The Netherlands, August 14-17, 2018},
  pages     = {1--8},
  publisher = {{IEEE}},
  year      = {2018},
  url       = {https://doi.org/10.1109/CIG.2018.8490412},
  doi       = {10.1109/CIG.2018.8490412},
  timestamp = {Tue, 17 Dec 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/cig/CookCR18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/RaadLV18,
  author    = {Azalea Raad and
               Ori Lahav and
               Viktor Vafeiadis},
  editor    = {Amal Ahmed},
  title     = {On Parallel Snapshot Isolation and Release/Acquire Consistency},
  booktitle = {Programming Languages and Systems - 27th European Symposium on Programming,
               {ESOP} 2018, Held as Part of the European Joint Conferences on Theory
               and Practice of Software, {ETAPS} 2018, Thessaloniki, Greece, April
               14-20, 2018, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10801},
  pages     = {940--967},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-89884-1\_33},
  doi       = {10.1007/978-3-319-89884-1\_33},
  timestamp = {Fri, 31 Jan 2020 21:32:28 +0100},
  biburl    = {https://dblp.org/rec/conf/esop/RaadLV18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-06196,
  author    = {Azalea Raad and
               Ori Lahav and
               Viktor Vafeiadis},
  title     = {On the Semantics of Snapshot Isolation},
  journal   = {CoRR},
  volume    = {abs/1805.06196},
  year      = {2018},
  url       = {http://arxiv.org/abs/1805.06196},
  archivePrefix = {arXiv},
  eprint    = {1805.06196},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1805-06196.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Raad16,
  author    = {Azalea Raad},
  title     = {Abstraction, refinement and concurrent reasoning},
  school    = {Imperial College London, {UK}},
  year      = {2016},
  url       = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.721563},
  timestamp = {Sat, 09 Feb 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/phd/ethos/Raad16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/RaadHVG16,
  author    = {Azalea Raad and
               Aquinas Hobor and
               Jules Villard and
               Philippa Gardner},
  editor    = {Atsushi Igarashi},
  title     = {Verifying Concurrent Graph Algorithms},
  booktitle = {Programming Languages and Systems - 14th Asian Symposium, {APLAS}
               2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10017},
  pages     = {314--334},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-47958-3\_17},
  doi       = {10.1007/978-3-319-47958-3\_17},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/conf/aplas/RaadHVG16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/RaadSG16,
  author    = {Azalea Raad and
               Jos{\'{e}} Fragoso Santos and
               Philippa Gardner},
  editor    = {Atsushi Igarashi},
  title     = {{DOM:} Specification and Client Reasoning},
  booktitle = {Programming Languages and Systems - 14th Asian Symposium, {APLAS}
               2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10017},
  pages     = {401--422},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-47958-3\_21},
  doi       = {10.1007/978-3-319-47958-3\_21},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/aplas/RaadSG16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/RaadVG15,
  author    = {Azalea Raad and
               Jules Villard and
               Philippa Gardner},
  editor    = {Jan Vitek},
  title     = {CoLoSL: Concurrent Local Subjective Logic},
  booktitle = {Programming Languages and Systems - 24th European Symposium on Programming,
               {ESOP} 2015, Held as Part of the European Joint Conferences on Theory
               and Practice of Software, {ETAPS} 2015, London, UK, April 11-18, 2015.
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9032},
  pages     = {710--735},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-662-46669-8\_29},
  doi       = {10.1007/978-3-662-46669-8\_29},
  timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/esop/RaadVG15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GardnerRWW14,
  author    = {Philippa Gardner and
               Azalea Raad and
               Mark J. Wheelhouse and
               Adam Wright},
  editor    = {Bart Jacobs and
               Alexandra Silva and
               Sam Staton},
  title     = {Abstract Local Reasoning for Concurrent Libraries: Mind the Gap},
  booktitle = {Proceedings of the 30th Conference on the Mathematical Foundations
               of Programming Semantics, {MFPS} 2014, Ithaca, NY, USA, June 12-15,
               2014},
  series    = {Electronic Notes in Theoretical Computer Science},
  volume    = {308},
  pages     = {147--166},
  publisher = {Elsevier},
  year      = {2014},
  url       = {https://doi.org/10.1016/j.entcs.2014.10.009},
  doi       = {10.1016/j.entcs.2014.10.009},
  timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/entcs/GardnerRWW14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/evoW/CookCRG13,
  author    = {Michael Cook and
               Simon Colton and
               Azalea Raad and
               Jeremy Gow},
  editor    = {Anna Isabel Esparcia{-}Alc{\'{a}}zar},
  title     = {Mechanic Miner: Reflection-Driven Game Mechanic Discovery and Level
               Design},
  booktitle = {Applications of Evolutionary Computation - 16th European Conference,
               EvoApplications 2013, Vienna, Austria, April 3-5, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7835},
  pages     = {284--293},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-37192-9\_29},
  doi       = {10.1007/978-3-642-37192-9\_29},
  timestamp = {Tue, 17 Dec 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/evoW/CookCRG13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/RaadD11,
  author    = {Azalea Raad and
               Sophia Drossopoulou},
  editor    = {Stephen N. Freund},
  title     = {A sip of the Chalice},
  booktitle = {Proceedings of the 13th Workshop on Formal Techniques for Java-Like
               Programs, FTfJP 2011, Lancaster, United Kingdom, July 25-29, 2011},
  pages     = {2:1--2:30},
  publisher = {{ACM}},
  year      = {2011},
  url       = {https://doi.org/10.1145/2076674.2076676},
  doi       = {10.1145/2076674.2076676},
  timestamp = {Tue, 06 Nov 2018 16:59:31 +0100},
  biburl    = {https://dblp.org/rec/conf/ecoop/RaadD11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/evoW/ColtonCR11,
  author    = {Simon Colton and
               Michael Cook and
               Azalea Raad},
  editor    = {Cecilia Di Chio and
               Anthony Brabazon and
               Gianni A. Di Caro and
               Rolf Drechsler and
               Muddassar Farooq and
               J{\"{o}}rn Grahl and
               Gary Greenfield and
               Christian Prins and
               Juan Romero and
               Giovanni Squillero and
               Ernesto Tarantino and
               Andrea Tettamanzi and
               Neil Urquhart and
               A. Sima Etaner{-}Uyar},
  title     = {Ludic Considerations of Tablet-Based Evo-Art},
  booktitle = {Applications of Evolutionary Computation - EvoApplications 2011: EvoCOMNET,
               EvoFIN, EvoHOT, EvoMUSART, EvoSTIM, and EvoTRANSLOG, Torino, Italy,
               April 27-29, 2011, Proceedings, Part {II}},
  series    = {Lecture Notes in Computer Science},
  volume    = {6625},
  pages     = {223--233},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-20520-0\_23},
  doi       = {10.1007/978-3-642-20520-0\_23},
  timestamp = {Tue, 17 Dec 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/evoW/ColtonCR11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics