Följ
Stavros Aronis
Stavros Aronis
Erlang Solutions
Verifierad e-postadress på erlang-solutions.com - Startsida
Titel
Citeras av
Citeras av
År
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
2292014
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
1822017
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
582017
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
502012
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
472018
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
112017
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
72017
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
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
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
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–15