According to our database1, Stavros Aronis authored at least 13 papers between 2011 and 2018.
Legend:Book In proceedings Article PhD thesis Other
Effective Techniques for Stateless Model Checking.
PhD thesis, 2018
Optimal Dynamic Partial Order Reduction with Observers.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018
Modelling distributed Erlang within a single node.
Proceedings of the 17th ACM SIGPLAN International Workshop on Erlang, 2018
Scaling Reliably: Improving the Scalability of the Erlang Distributed Actor Platform.
ACM Trans. Program. Lang. Syst., 2017
Source Sets: A Foundation for Optimal Dynamic Partial Order Reduction.
J. ACM, 2017
Testing and Verifying Chain Repair Methods for Corfu Using Stateless Model Checking.
Proceedings of the Integrated Formal Methods - 13th International Conference, 2017
The shared-memory interferences of Erlang/OTP built-ins.
Proceedings of the 16th ACM SIGPLAN International Workshop on Erlang, 2017
Comparing Source Sets and Persistent Sets for Partial Order Reduction.
Proceedings of the Models, Algorithms, Logics and Tools, 2017
Stateless Model Checking for TSO and PSO.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015
Optimal dynamic partial order reduction.
Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014
On Using Erlang for Parallelization - Experience from Parallelizing Dialyzer.
Proceedings of the Trends in Functional Programming - 13th International Symposium, 2012
A scalability benchmark suite for Erlang/OTP.
Proceedings of the Eleventh ACM SIGPLAN Erlang Workshop, 2012
Typed callbacks for more robust behaviours.
Proceedings of the 10th ACM SIGPLAN workshop on Erlang, Tokyo, Japan, September 23, 2011, 2011