Stavros Aronis

18 papers A* 1A 1B 1Journal 5Unranked 7
YearRankTypeTitle / Venue / Authors
2022 — ed.
Erlang '22: 21st ACM SIGPLAN International Workshop on Erlang, Ljubljana, Slovenia, 11 September 2022
Erlang Workshop
Stavros Aronis, Burcu Kulahcioglu Ozkan
2021 — ed.
Proceedings of the 20th ACM SIGPLAN International Workshop on Erlang, Erlang@ICFP 2021, Virtual Event, Korea, August 26, 2021.
Erlang Workshop
Stavros Aronis, Annette Bieniusa
2018 — —
Effective Techniques for Stateless Model Checking.
Stavros Aronis
2018 — conf
Modelling distributed Erlang within a single node.
Erlang Workshop
Stavros Aronis, Viktória Fördós, Dániel Szoboszlay
2018 — conf
Optimal Dynamic Partial Order Reduction with Observers.
TACAS (2)
Stavros Aronis, Bengt Jonsson, Magnus Lång, Konstantinos Sagonas
2017 — conf
Comparing Source Sets and Persistent Sets for Partial Order Reduction.
Models, Algorithms, Logics and Tools
Parosh Aziz Abdulla, Stavros Aronis, Bengt Jonsson, Konstantinos Sagonas
2017 J jnl
Scaling Reliably: Improving the Scalability of the Erlang Distributed Actor Platform.
CoRR
Phil Trinder, Natalia Chechina, Nikolaos Papaspyrou, Konstantinos Sagonas, Simon J. Thompson, Stephen Adams, Stavros Aronis, Robert Baker, Eva Bihari, Olivier Boudeville, Francesco Cesarini, Maurizio Di Stefano, Sverker Eriksson, Viktoria Fordós, Amir Ghaffari, Aggelos Giantsios, Rickard Green, Csaba Hoch, David Klaftenegger, Huiqing Li, Kenneth Lundin, Kenneth MacKenzie, Katerina Roukounaki, Yiannis Tsiouris, Kjell Winblad
2017 J jnl
Scaling Reliably: Improving the Scalability of the Erlang Distributed Actor Platform.
ACM Trans. Program. Lang. Syst.
Phil Trinder, Natalia Chechina, Nikolaos Papaspyrou, Konstantinos Sagonas, Simon J. Thompson, Stephen Adams, Stavros Aronis, Robert Baker, Eva Bihari, Olivier Boudeville, Francesco Cesarini, Maurizio Di Stefano, Sverker Eriksson, Viktoria Fordós, Amir Ghaffari, Aggelos Giantsios, Rickard Green, Csaba Hoch, David Klaftenegger, Huiqing Li, Kenneth Lundin, Kenneth MacKenzie, Katerina Roukounaki, Yiannis Tsiouris, Kjell Winblad
2017 J jnl
Source Sets: A Foundation for Optimal Dynamic Partial Order Reduction.
J. ACM
Parosh Aziz Abdulla, Stavros Aronis, Bengt Jonsson, Konstantinos Sagonas
2017 J jnl
Stateless model checking for TSO and PSO.
Acta Informatica
Parosh Aziz Abdulla, Stavros Aronis, Mohamed Faouzi Atig, Bengt Jonsson, Carl Leonardsson, Konstantinos Sagonas
2017 B conf
Testing and Verifying Chain Repair Methods for Corfu Using Stateless Model Checking.
IFM
Stavros Aronis, Scott Lystig Fritchie, Konstantinos Sagonas
2017 — conf
The shared-memory interferences of Erlang/OTP built-ins.
Erlang Workshop
Stavros Aronis, Konstantinos Sagonas
2015 A conf
Stateless Model Checking for TSO and PSO.
TACAS
Parosh Aziz Abdulla, Stavros Aronis, Mohamed Faouzi Atig, Bengt Jonsson, Carl Leonardsson, Konstantinos Sagonas
2015 J jnl
Stateless Model Checking for TSO and PSO.
CoRR
Parosh Aziz Abdulla, Stavros Aronis, Mohamed Faouzi Atig, Bengt Jonsson, Carl Leonardsson, Konstantinos Sagonas
2014 A* conf
Optimal dynamic partial order reduction.
POPL
Parosh Aziz Abdulla, Stavros Aronis, Bengt Jonsson, Konstantinos Sagonas
2012 — conf
A scalability benchmark suite for Erlang/OTP.
Erlang Workshop
Stavros Aronis, Nikolaos Papaspyrou, Katerina Roukounaki, Konstantinos Sagonas, Yiannis Tsiouris, Ioannis E. Venetis
2012 — conf
On Using Erlang for Parallelization - Experience from Parallelizing Dialyzer.
Trends in Functional Programming
Stavros Aronis, Konstantinos Sagonas
2011 — conf
Typed callbacks for more robust behaviours.
Erlang Workshop
Stavros Aronis, Konstantinos Sagonas