Articles with public access mandates - Stavros AronisLearn more
Available somewhere: 8
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
Mandates: Swedish Research Council
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
Mandates: Swedish Research Council
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
Mandates: Swedish Research Council
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
Mandates: Swedish Research Council
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
Mandates: UK Engineering and Physical Sciences Research Council
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
Mandates: Swedish Research Council
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
Mandates: Swedish Research Council
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
Mandates: Swedish Research Council
Publication and funding information is determined automatically by a computer program