BibTeX records: Stavros Aronis

download as .bib file

@proceedings{DBLP:conf/erlang/2022,
  editor       = {Stavros Aronis and
                  Burcu Kulahcioglu Ozkan},
  title        = {Erlang '22: 21st {ACM} {SIGPLAN} International Workshop on Erlang,
                  Ljubljana, Slovenia, 11 September 2022},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3546186},
  doi          = {10.1145/3546186},
  isbn         = {978-1-4503-9435-2},
  timestamp    = {Fri, 21 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/erlang/2022.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/erlang/2021,
  editor       = {Stavros Aronis and
                  Annette Bieniusa},
  title        = {Proceedings of the 20th {ACM} {SIGPLAN} International Workshop on
                  Erlang, Erlang@ICFP 2021, Virtual Event, Korea, August 26, 2021},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3471871},
  doi          = {10.1145/3471871},
  isbn         = {978-1-4503-8612-8},
  timestamp    = {Wed, 08 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/erlang/2021.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/basesearch/Aronis18,
  author       = {Stavros Aronis},
  title        = {Effective Techniques for Stateless Model Checking},
  school       = {Uppsala University, Sweden},
  year         = {2018},
  url          = {https://nbn-resolving.org/urn:nbn:se:uu:diva-333541},
  urn          = {urn:nbn:se:uu:diva-333541},
  timestamp    = {Mon, 21 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/phd/basesearch/Aronis18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/erlang/AronisFS18,
  author       = {Stavros Aronis and
                  Vikt{\'{o}}ria F{\"{o}}rd{\'{o}}s and
                  D{\'{a}}niel Szoboszlay},
  editor       = {Natalia Chechina and
                  Adrian Francalanza},
  title        = {Modelling distributed Erlang within a single node},
  booktitle    = {Proceedings of the 17th {ACM} {SIGPLAN} International Workshop on
                  Erlang, {ICFP} 2018, St. Louis, MO, USA, September 23-29, 2018},
  pages        = {25--36},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3239332.3242764},
  doi          = {10.1145/3239332.3242764},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/erlang/AronisFS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AronisJLS18,
  author       = {Stavros Aronis and
                  Bengt Jonsson and
                  Magnus L{\aa}ng and
                  Konstantinos Sagonas},
  editor       = {Dirk Beyer and
                  Marieke Huisman},
  title        = {Optimal Dynamic Partial Order Reduction with Observers},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 24th International Conference, {TACAS} 2018, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10806},
  pages        = {229--248},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89963-3\_14},
  doi          = {10.1007/978-3-319-89963-3\_14},
  timestamp    = {Tue, 31 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/AronisJLS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/AbdullaAAJLS17,
  author       = {Parosh Aziz Abdulla and
                  Stavros Aronis and
                  Mohamed Faouzi Atig and
                  Bengt Jonsson and
                  Carl Leonardsson and
                  Konstantinos Sagonas},
  title        = {Stateless model checking for {TSO} and {PSO}},
  journal      = {Acta Informatica},
  volume       = {54},
  number       = {8},
  pages        = {789--818},
  year         = {2017},
  url          = {https://doi.org/10.1007/s00236-016-0275-0},
  doi          = {10.1007/S00236-016-0275-0},
  timestamp    = {Tue, 31 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/AbdullaAAJLS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/AbdullaAJS17,
  author       = {Parosh Aziz Abdulla and
                  Stavros Aronis and
                  Bengt Jonsson and
                  Konstantinos Sagonas},
  title        = {Source Sets: {A} Foundation for Optimal Dynamic Partial Order Reduction},
  journal      = {J. {ACM}},
  volume       = {64},
  number       = {4},
  pages        = {25:1--25:49},
  year         = {2017},
  url          = {https://doi.org/10.1145/3073408},
  doi          = {10.1145/3073408},
  timestamp    = {Tue, 31 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jacm/AbdullaAJS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/TrinderCPSTAABB17,
  author       = {Phil Trinder and
                  Natalia Chechina and
                  Nikolaos Papaspyrou and
                  Konstantinos Sagonas and
                  Simon J. Thompson and
                  Stephen Adams and
                  Stavros Aronis and
                  Robert Baker and
                  Eva Bihari and
                  Olivier Boudeville and
                  Francesco Cesarini and
                  Maurizio Di Stefano and
                  Sverker Eriksson and
                  Viktoria Ford{\'{o}}s and
                  Amir Ghaffari and
                  Aggelos Giantsios and
                  Rickard Green and
                  Csaba Hoch and
                  David Klaftenegger and
                  Huiqing Li and
                  Kenneth Lundin and
                  Kenneth MacKenzie and
                  Katerina Roukounaki and
                  Yiannis Tsiouris and
                  Kjell Winblad},
  title        = {Scaling Reliably: Improving the Scalability of the Erlang Distributed
                  Actor Platform},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {39},
  number       = {4},
  pages        = {17:1--17:46},
  year         = {2017},
  url          = {https://doi.org/10.1145/3107937},
  doi          = {10.1145/3107937},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/toplas/TrinderCPSTAABB17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/AbdullaAJS17,
  author       = {Parosh Aziz Abdulla and
                  Stavros Aronis and
                  Bengt Jonsson and
                  Konstantinos Sagonas},
  editor       = {Luca Aceto and
                  Giorgio Bacci and
                  Giovanni Bacci and
                  Anna Ing{\'{o}}lfsd{\'{o}}ttir and
                  Axel Legay and
                  Radu Mardare},
  title        = {Comparing Source Sets and Persistent Sets for Partial Order Reduction},
  booktitle    = {Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand
                  Larsen on the Occasion of His 60th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {10460},
  pages        = {516--536},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-63121-9\_26},
  doi          = {10.1007/978-3-319-63121-9\_26},
  timestamp    = {Tue, 31 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/AbdullaAJS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/erlang/AronisS17,
  author       = {Stavros Aronis and
                  Konstantinos Sagonas},
  editor       = {Natalia Chechina and
                  Scott Lystig Fritchie},
  title        = {The shared-memory interferences of Erlang/OTP built-ins},
  booktitle    = {Proceedings of the 16th {ACM} {SIGPLAN} International Workshop on
                  Erlang, Oxford, United Kingdom, September 3-9, 2017},
  pages        = {43--54},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3123569.3123573},
  doi          = {10.1145/3123569.3123573},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/erlang/AronisS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/AronisFS17,
  author       = {Stavros Aronis and
                  Scott Lystig Fritchie and
                  Konstantinos Sagonas},
  editor       = {Nadia Polikarpova and
                  Steve A. Schneider},
  title        = {Testing and Verifying Chain Repair Methods for Corfu Using Stateless
                  Model Checking},
  booktitle    = {Integrated Formal Methods - 13th International Conference, {IFM} 2017,
                  Turin, Italy, September 20-22, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10510},
  pages        = {227--242},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-66845-1\_15},
  doi          = {10.1007/978-3-319-66845-1\_15},
  timestamp    = {Fri, 07 Aug 2020 17:57:32 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/AronisFS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/TrinderCPSTAABB17,
  author       = {Phil Trinder and
                  Natalia Chechina and
                  Nikolaos Papaspyrou and
                  Konstantinos Sagonas and
                  Simon J. Thompson and
                  Stephen Adams and
                  Stavros Aronis and
                  Robert Baker and
                  Eva Bihari and
                  Olivier Boudeville and
                  Francesco Cesarini and
                  Maurizio Di Stefano and
                  Sverker Eriksson and
                  Viktoria Ford{\'{o}}s and
                  Amir Ghaffari and
                  Aggelos Giantsios and
                  Rickard Green and
                  Csaba Hoch and
                  David Klaftenegger and
                  Huiqing Li and
                  Kenneth Lundin and
                  Kenneth MacKenzie and
                  Katerina Roukounaki and
                  Yiannis Tsiouris and
                  Kjell Winblad},
  title        = {Scaling Reliably: Improving the Scalability of the Erlang Distributed
                  Actor Platform},
  journal      = {CoRR},
  volume       = {abs/1704.07234},
  year         = {2017},
  url          = {http://arxiv.org/abs/1704.07234},
  eprinttype    = {arXiv},
  eprint       = {1704.07234},
  timestamp    = {Wed, 03 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/TrinderCPSTAABB17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AbdullaAAJLS15,
  author       = {Parosh Aziz Abdulla and
                  Stavros Aronis and
                  Mohamed Faouzi Atig and
                  Bengt Jonsson and
                  Carl Leonardsson and
                  Konstantinos Sagonas},
  editor       = {Christel Baier and
                  Cesare Tinelli},
  title        = {Stateless Model Checking for {TSO} and {PSO}},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 21st International Conference, {TACAS} 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       = {9035},
  pages        = {353--367},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-662-46681-0\_28},
  doi          = {10.1007/978-3-662-46681-0\_28},
  timestamp    = {Sat, 30 Sep 2023 09:57:43 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/AbdullaAAJLS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AbdullaAAJLS15,
  author       = {Parosh Aziz Abdulla and
                  Stavros Aronis and
                  Mohamed Faouzi Atig and
                  Bengt Jonsson and
                  Carl Leonardsson and
                  Konstantinos Sagonas},
  title        = {Stateless Model Checking for {TSO} and {PSO}},
  journal      = {CoRR},
  volume       = {abs/1501.02069},
  year         = {2015},
  url          = {http://arxiv.org/abs/1501.02069},
  eprinttype    = {arXiv},
  eprint       = {1501.02069},
  timestamp    = {Tue, 31 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/AbdullaAAJLS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/AbdullaAJS14,
  author       = {Parosh Aziz Abdulla and
                  Stavros Aronis and
                  Bengt Jonsson and
                  Konstantinos Sagonas},
  editor       = {Suresh Jagannathan and
                  Peter Sewell},
  title        = {Optimal dynamic partial order reduction},
  booktitle    = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
                  Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21,
                  2014},
  pages        = {373--384},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2535838.2535845},
  doi          = {10.1145/2535838.2535845},
  timestamp    = {Tue, 31 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/popl/AbdullaAJS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/erlang/AronisPRSTV12,
  author       = {Stavros Aronis and
                  Nikolaos Papaspyrou and
                  Katerina Roukounaki and
                  Konstantinos Sagonas and
                  Yiannis Tsiouris and
                  Ioannis E. Venetis},
  editor       = {Torben Hoffman and
                  John Hughes},
  title        = {A scalability benchmark suite for Erlang/OTP},
  booktitle    = {Proceedings of the Eleventh {ACM} {SIGPLAN} Erlang Workshop, Copenhagen,
                  Denmark, September 14, 2012},
  pages        = {33--42},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2364489.2364495},
  doi          = {10.1145/2364489.2364495},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/erlang/AronisPRSTV12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/AronisS12,
  author       = {Stavros Aronis and
                  Konstantinos Sagonas},
  editor       = {Hans{-}Wolfgang Loidl and
                  Ricardo Pe{\~{n}}a},
  title        = {On Using Erlang for Parallelization - Experience from Parallelizing
                  Dialyzer},
  booktitle    = {Trends in Functional Programming - 13th International Symposium, {TFP}
                  2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7829},
  pages        = {295--310},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-40447-4\_19},
  doi          = {10.1007/978-3-642-40447-4\_19},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sfp/AronisS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/erlang/AronisS11,
  author       = {Stavros Aronis and
                  Konstantinos Sagonas},
  editor       = {Kenji Rikitake and
                  Erik Stenman},
  title        = {Typed callbacks for more robust behaviours},
  booktitle    = {Proceedings of the 10th {ACM} {SIGPLAN} workshop on Erlang, Tokyo,
                  Japan, September 23, 2011},
  pages        = {23--29},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2034654.2034660},
  doi          = {10.1145/2034654.2034660},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/erlang/AronisS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics