Stavros Aronis

According to our database1, Stavros Aronis
  • authored at least 13 papers between 2011 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2017
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

Scaling Reliably: Improving the Scalability of the Erlang Distributed Actor Platform.
CoRR, 2017

Stateless model checking for TSO and PSO.
Acta Inf., 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

2015
Stateless Model Checking for TSO and PSO.
CoRR, 2015

Stateless Model Checking for TSO and PSO.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

2014
Optimal dynamic partial order reduction.
Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

2012
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

2011
Typed callbacks for more robust behaviours.
Proceedings of the 10th ACM SIGPLAN workshop on Erlang, Tokyo, Japan, September 23, 2011, 2011


  Loading...