Stavros Aronis

ORCID

Publication Activity (10 Years)

Years Active: 2011-2018
Publications (10 Years): 11

Top Venues

Erlang Workshop

CoRR

Trends in Functional Programming

TACAS

Uppsala University, Sweden (PHD)

Education History

Uppsala University, Sweden

PHD

Publications

Stavros Aronis, Viktória Fördós, Dániel Szoboszlay
Modelling distributed Erlang within a single node. Erlang Workshop (2018)
Stavros Aronis, Bengt Jonsson, Magnus Lång, Konstantinos Sagonas
Optimal Dynamic Partial Order Reduction with Observers. TACAS (2) (2018)
Stavros Aronis, Scott Lystig Fritchie, Konstantinos Sagonas
Testing and Verifying Chain Repair Methods for Corfu Using Stateless Model Checking. IFM (2017)
Parosh Aziz Abdulla, Stavros Aronis, Bengt Jonsson, Konstantinos Sagonas
Comparing Source Sets and Persistent Sets for Partial Order Reduction. Models, Algorithms, Logics and Tools (2017)
Stavros Aronis, Konstantinos Sagonas
The shared-memory interferences of Erlang/OTP built-ins. Erlang Workshop (2017)
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
Scaling Reliably: Improving the Scalability of the Erlang Distributed Actor Platform. ACM Trans. Program. Lang. Syst. 39 (4) (2017)
Parosh Aziz Abdulla, Stavros Aronis, Bengt Jonsson, Konstantinos Sagonas
Source Sets: A Foundation for Optimal Dynamic Partial Order Reduction. J. ACM 64 (4) (2017)
Parosh Aziz Abdulla, Stavros Aronis, Mohamed Faouzi Atig, Bengt Jonsson, Carl Leonardsson, Konstantinos Sagonas
Stateless model checking for TSO and PSO. Acta Informatica 54 (8) (2017)
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
Scaling Reliably: Improving the Scalability of the Erlang Distributed Actor Platform. CoRR (2017)
Parosh Aziz Abdulla, Stavros Aronis, Mohamed Faouzi Atig, Bengt Jonsson, Carl Leonardsson, Konstantinos Sagonas
Stateless Model Checking for TSO and PSO. CoRR (2015)
Parosh Aziz Abdulla, Stavros Aronis, Mohamed Faouzi Atig, Bengt Jonsson, Carl Leonardsson, Konstantinos Sagonas
Stateless Model Checking for TSO and PSO. TACAS (2015)
Parosh Aziz Abdulla, Stavros Aronis, Bengt Jonsson, Konstantinos Sagonas
Optimal dynamic partial order reduction. POPL (2014)
Stavros Aronis, Konstantinos Sagonas
On Using Erlang for Parallelization - Experience from Parallelizing Dialyzer. Trends in Functional Programming (2012)
Stavros Aronis, Nikolaos Papaspyrou, Katerina Roukounaki, Konstantinos Sagonas, Yiannis Tsiouris, Ioannis E. Venetis
A scalability benchmark suite for Erlang/OTP. Erlang Workshop (2012)
Stavros Aronis, Konstantinos Sagonas
Typed callbacks for more robust behaviours. Erlang Workshop (2011)

Stavros Aronis.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Stavros Aronis