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
1762014
Stateless model checking for TSO and PSO
PA Abdulla, S Aronis, MF Atig, B Jonsson, C Leonardsson, K Sagonas
Acta Informatica 54 (8), 789-818, 2017
1342017
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
422012
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
332017
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
272018
On Using Erlang for Parallelization
S Aronis, K Sagonas
TFP 2012 - International Symposium on Trends in Functional Programming, 295-310, 2012
162012
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
72017
Testing and Verifying Chain Repair Methods for Corfu Using Stateless Model Checking
S Aronis, SL Fritchie, K Sagonas
International Conference on Integrated Formal Methods, 227-242, 2017
52017
Comparing source sets and persistent sets for partial order reduction
P Abdulla, S Aronis, B Jonsson, K Sagonas
Models, Algorithms, Logics and Tools, 516-536, 2017
52017
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
32017
Effective Techniques for Stateless Model Checking
S Aronis
Acta Universitatis Upsaliensis, 2018
22018
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
On Using Erlang for Parallelization
S Aronis, K Sagonas
Trends in Functional Programming, 295, 0
The system can't perform the operation now. Try again later.
Articles 1–16