| 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 | 248 | 2014 |
| 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 | 201 | 2017 |
| 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 | 71 | 2017 |
| 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 | 55 | 2018 |
| 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 | 51 | 2012 |
| 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 | 12 | 2017 |
| 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 | 10 | 2017 |
| 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 | 5 | 2017 |
| Effective Techniques for Stateless Model Checking S Aronis Acta Universitatis Upsaliensis, 2018 | 4 | 2018 |
| 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 | 4 | 2017 |
| Typed callbacks for more robust behaviours S Aronis, K Sagonas Erlang '11 - Proceedings of the 10th ACM SIGPLAN workshop on Erlang, 23-29, 2011 | 1 | 2011 |
| 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 |
Konstantinos SagonasUppsala University and National Technical University of AthensVerified email at it.uu.se