Follow
Stavros Aronis
Stavros Aronis
Erlang Solutions
Verified email at erlang-solutions.com - Homepage
Title
Cited by
Cited by
Year
Optimal Dynamic Partial Order Reduction
PA Abdulla, S Aronis, B Jonsson, K Sagonas
POPL '14 - Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on …, 2014
2442014
Stateless model checking for TSO and PSO
PA Abdulla, S Aronis, MF Atig, B Jonsson, C Leonardsson, K Sagonas
Acta Informatica 54, 789-818, 2017
1942017
Source sets: A foundation for optimal dynamic partial order reduction
PA Abdulla, S Aronis, B Jonsson, K Sagonas
Journal of the ACM (JACM) 64 (4), 1-49, 2017
682017
Optimal dynamic partial order reduction with observers
S Aronis, B Jonsson, M Lång, K Sagonas
International Conference on Tools and Algorithms for the Construction and …, 2018
542018
A scalability benchmark suite for Erlang/OTP
S Aronis, N Papaspyrou, K Roukounaki, K Sagonas, Y Tsiouris, IE Venetis
Erlang '12 - Proceedings of the 11th ACM SIGPLAN workshop on Erlang, 33-42, 2012
512012
On Using Erlang for Parallelization
S Aronis, K Sagonas
TFP 2012 - International Symposium on Trends in Functional Programming, 295-310, 2012
16*2012
Scaling reliably: Improving the scalability of the Erlang distributed actor platform
P Trinder, N Chechina, N Papaspyrou, K Sagonas, S Thompson, ...
ACM Transactions on Programming Languages and Systems (TOPLAS) 39 (4), 1-46, 2017
122017
Comparing source sets and persistent sets for partial order reduction
P Abdulla, S Aronis, B Jonsson, K Sagonas
Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand …, 2017
92017
Testing and Verifying Chain Repair Methods for Corfu Using Stateless Model Checking
S Aronis, SL Fritchie, K Sagonas
Integrated Formal Methods: 13th International Conference, IFM 2017, Turin …, 2017
52017
Effective Techniques for Stateless Model Checking
S Aronis
Acta Universitatis Upsaliensis, 2018
42018
The Shared-Memory Interferences of Erlang/OTP Built-ins
S Aronis, K Sagonas
Erlang '17 - Proceedings of the 16th ACM SIGPLAN workshop on Erlang, 43-54, 2017
42017
Typed callbacks for more robust behaviours
S Aronis, K Sagonas
Erlang '11 - Proceedings of the 10th ACM SIGPLAN workshop on Erlang, 23-29, 2011
12011
Modelling distributed Erlang within a single node
S Aronis, V Fördős, D Szoboszlay
Proceedings of the 17th ACM SIGPLAN International Workshop on Erlang, 25-36, 2018
2018
Concuerror
S Aronis
Uppsala University, Sweden, 2017
2017
Dialyzer
S Aronis
Uppsala University, Sweden, 2015
2015
The system can't perform the operation now. Try again later.
Articles 1–15