I agree that this site is using cookies. You can find further informations here.
X
Aronis, Stavros
21  results:
Search for persons X
?
1

Proceedings of the 21st ACM SIGPLAN International Workshop ..:

Aronis, Stavros ; Ozkan, Burcu Kulahcioglu , 2022
Link: https://dl.acm.org/doi/1..
 
?
2

Proceedings of the 20th ACM SIGPLAN International Workshop ..:

Aronis, Stavros ; Bieniusa, Annette , 2021
Link: https://dl.acm.org/doi/1..
 
?
3

Optimal Dynamic Partial Order Reduction with Observers:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Aronis, Stavros ; Jonsson, Bengt ; Lång, Magnus. - p. 229-248 , 2018
Link: https://doi.org/10.1007/..
 
?
4

Modelling distributed Erlang within a single node:

, In: Proceedings of the 17th ACM SIGPLAN International Workshop on Erlang,
Aronis, Stavros ; Fördős, Viktória ; Szoboszlay, Dániel - p. 25-36 , 2018
Link: https://dl.acm.org/doi/1..
 
?
5

Scaling Reliably : Improving the Scalability of the Erla..:

Trinder, Phil ; Chechina, Natalia ; Papaspyrou, Nikolaos...
ACM Transactions on Programming Languages and Systems (TOPLAS).  39 (2017)  4 - p. 1-46 , 2017
Link: https://dl.acm.org/doi/1..
 
?
6

Source Sets: A Foundation for Optimal Dynamic Partial Order..:

Abdulla, Parosh Aziz ; Aronis, Stavros ; Jonsson, Bengt.
Journal of the ACM.  64 (2017)  4 - p. 1-49 , 2017
Link: https://doi.org/10.1145/..
 
?
7

Scaling Reliably: Improving the Scalability of the Erlang D..:

Trinder, Phil ; Chechina, Natalia ; Papaspyrou, Nikolaos...
ACM Transactions on Programming Languages and Systems.  39 (2017)  4 - p. 1-46 , 2017
Link: https://doi.org/10.1145/..
 
?
8

The shared-memory interferences of Erlang/OTP built-ins:

, In: Proceedings of the 16th ACM SIGPLAN International Workshop on Erlang,
Aronis, Stavros ; Sagonas, Konstantinos - p. 43-54 , 2017
Link: https://dl.acm.org/doi/1..
 
?
9

Source Sets : A Foundation for Optimal Dynamic Partial O..:

Abdulla, Parosh Aziz ; Aronis, Stavros ; Jonsson, Bengt.
Journal of the ACM (JACM).  64 (2017)  4 - p. 1-49 , 2017
Link: https://dl.acm.org/doi/1..
 
?
10

Stateless model checking for TSO and PSO:

Abdulla, Parosh Aziz ; Aronis, Stavros ; Atig, Mohamed Faouzi...
Acta Informatica.  54 (2016)  8 - p. 789-818 , 2016
Link: https://doi.org/10.1007/..
 
?
11

Optimal dynamic partial order reduction:

, In: Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages,
Abdulla, Parosh ; Aronis, Stavros ; Jonsson, Bengt. - p. 373-384 , 2014
Link: https://dl.acm.org/doi/1..
 
?
12

Optimal dynamic partial order reduction:

Abdulla, Parosh ; Aronis, Stavros ; Jonsson, Bengt.
ACM SIGPLAN Notices.  49 (2014)  1 - p. 373-384 , 2014
Link: https://doi.org/10.1145/..
 
?
13

A scalability benchmark suite for Erlang/OTP:

, In: Proceedings of the eleventh ACM SIGPLAN workshop on Erlang workshop,
Aronis, Stavros ; Papaspyrou, Nikolaos ; Roukounaki, Katerina... - p. 33-42 , 2012
Link: https://dl.acm.org/doi/1..
 
?
14

Typed callbacks for more robust behaviours:

, In: Proceedings of the 10th ACM SIGPLAN workshop on Erlang,
Aronis, Stavros ; Sagonas, Konstantinos - p. 23-29 , 2011
Link: https://dl.acm.org/doi/1..
 
?
15

Effective Techniques for Stateless Model Checking:

Aronis, Stavros
Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology, 1651-6214.  , 2018
Link: http://urn.kb.se/resolve..
 
1-15