Stavros Aronis

According to our database, Stavros Aronis authored at least 13 papers between 2011 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Effective Techniques for Stateless Model Checking.

Stavros Aronis

PhD thesis, 2018

Optimal Dynamic Partial Order Reduction with Observers.

Stavros Aronis, Bengt Jonsson, Magnus Lång, Konstantinos Sagonas

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

Modelling distributed Erlang within a single node.

Stavros Aronis, Viktória Fördós, Dániel Szoboszlay

Proceedings of the 17th ACM SIGPLAN International Workshop on Erlang, 2018

2017

Scaling Reliably: Improving the Scalability of the Erlang Distributed Actor Platform.

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

ACM Trans. Program. Lang. Syst., 2017

Source Sets: A Foundation for Optimal Dynamic Partial Order Reduction.

Parosh Aziz Abdulla, Stavros Aronis, Bengt Jonsson, Konstantinos Sagonas

J. ACM, 2017

Stateless model checking for TSO and PSO.

Parosh Aziz Abdulla, Stavros Aronis, Mohamed Faouzi Atig, Bengt Jonsson, Carl Leonardsson, Konstantinos Sagonas

Acta Informatica, 2017

Testing and Verifying Chain Repair Methods for Corfu Using Stateless Model Checking.

Stavros Aronis, Scott Lystig Fritchie, Konstantinos Sagonas

Proceedings of the Integrated Formal Methods - 13th International Conference, 2017

The shared-memory interferences of Erlang/OTP built-ins.

Stavros Aronis, Konstantinos Sagonas

Proceedings of the 16th ACM SIGPLAN International Workshop on Erlang, 2017

Comparing Source Sets and Persistent Sets for Partial Order Reduction.

Parosh Aziz Abdulla, Stavros Aronis, Bengt Jonsson, Konstantinos Sagonas

Proceedings of the Models, Algorithms, Logics and Tools, 2017

2014

Optimal dynamic partial order reduction.

Parosh Aziz Abdulla, Stavros Aronis, Bengt Jonsson, Konstantinos Sagonas

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

2012

On Using Erlang for Parallelization - Experience from Parallelizing Dialyzer.

Stavros Aronis, Konstantinos Sagonas

Proceedings of the Trends in Functional Programming - 13th International Symposium, 2012

A scalability benchmark suite for Erlang/OTP.

Stavros Aronis, Nikolaos Papaspyrou, Katerina Roukounaki, Konstantinos Sagonas, Yiannis Tsiouris, Ioannis E. Venetis

Proceedings of the Eleventh ACM SIGPLAN Erlang Workshop, 2012

2011

Typed callbacks for more robust behaviours.

Stavros Aronis, Konstantinos Sagonas

Proceedings of the 10th ACM SIGPLAN workshop on Erlang, Tokyo, Japan, September 23, 2011, 2011