Zobrazeno 1 - 10
of 11
pro vyhledávání: '"Stavros Aronis"'
Publikováno v:
Erlang Workshop
This paper was motivated by a challenge we faced while re-architecting a critical component in Klarna's software stack. We wanted to increase our confidence about correctness aspects of a new distributed algorithm, developed for an Erlang system at t
Publikováno v:
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783319899626
TACAS (2)
TACAS (2)
Dynamic partial order reduction (DPOR) algorithms are used in stateless model checking (SMC) to combat the combinatorial explosion in the number of schedulings that need to be explored to guarantee soundness. The most effective of them, the Optimal D
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b58213f806a76a7ac4f4ad29de52038c
http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-333508
http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-333508
Autor:
Konstantinos Sagonas, Stavros Aronis
Publikováno v:
Erlang Workshop
Erlang is a concurrent functional language based on the actor model of concurrency. In the purest form of this model, actors are realized by processes that do not share memory and communicate with each other exclusively via message passing. Erlang co
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e7da4fe96e0e7f17ce84b9197de535a7
http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-331840
http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-331840
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783319668444
IFM
IFM
Corfu is a distributed shared log that is designed to be scalable and reliable in the presence of failures and asynchrony. Internally, Corfu is fully replicated for fault tolerance, without sharding data or sacrificing strong consistency. In this cas
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5db23d440fc87539e2f1e3995f96b219
https://doi.org/10.1007/978-3-319-66845-1_15
https://doi.org/10.1007/978-3-319-66845-1_15
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783319631202
Models, Algorithms, Logics and Tools
Models, Algorithms, Logics and Tools
Partial order reduction has traditionally been based on persistent sets, ample sets, stubborn sets, or variants thereof. Recently, we have presented a strengthening of this foundation, using source sets instead of persistent/ample/stubborn sets. Sour
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ff5ea2db1b3d82f48c0e7e5142985f58
https://doi.org/10.1007/978-3-319-63121-9_26
https://doi.org/10.1007/978-3-319-63121-9_26
Autor:
Natalia Chechina, Stavros Aronis, Kjell Winblad, Konstantinos Sagonas, Phil Trinder, Katerina Roukounaki, Maurizio Di Stefano, Kenneth MacKenzie, Kenneth Lundin, Olivier Boudeville, Sverker Eriksson, Rickard Green, Stephen Adams, Nikolaos Papaspyrou, Viktória Fördős, Huiqing Li, Csaba Hoch, Eva Bihari, Amir Ghaffari, Francesco Cesarini, Yiannis Tsiouris, Aggelos Giantsios, David Klaftenegger, Robert Baker, Simon Thompson
Distributed actor languages are an effective means of constructing scalable reliable systems, and the Erlang programming language has a well-established and influential model. While the Erlang model conceptually provides reliable scalability, it has
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d89d408b66a02d8cce6d1a8b04108bce
Autor:
Mohamed Faouzi Atig, Konstantinos Sagonas, Stavros Aronis, Carl Leonardsson, Parosh Aziz Abdulla, Bengt Jonsson
We present a technique for efficient stateless model checking of programs that execute under the relaxed memory models TSO and PSO. The basis for our technique is a novel representation of executions under TSO and PSO, called chronological traces. Ch
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::23ba1f197614b769a2a259e3cc2a9058
http://arxiv.org/abs/1501.02069
http://arxiv.org/abs/1501.02069
Autor:
Mohamed Faouzi Atig, Konstantinos Sagonas, Stavros Aronis, Bengt Jonsson, Parosh Aziz Abdulla, Carl Leonardsson
Publikováno v:
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783662466803
TACAS
TACAS
We present a technique for efficient stateless model checking of programs that execute under the relaxed memory models TSO and PSO. The basis for our technique is a novel representation of executions under TSO and PSO, called chronological traces. Ch
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9145f74808c9562f678e03e08d9731c4
https://doi.org/10.1007/978-3-662-46681-0_28
https://doi.org/10.1007/978-3-662-46681-0_28
Autor:
Stavros Aronis, Konstantinos Sagonas
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783642404467
Trends in Functional Programming
Trends in Functional Programming
Erlang is a functional language that allows programmers to employ shared nothing processes and asynchronous message passing for parts of applications which can naturally execute concurrently. This paper reports on a non-trivial effort to use these co
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fab829c33bb66cb416550298ee33521f
https://doi.org/10.1007/978-3-642-40447-4_19
https://doi.org/10.1007/978-3-642-40447-4_19
Autor:
Ioannis E. Venetis, Nikolaos Papaspyrou, Yiannis Tsiouris, Konstantinos Sagonas, Katerina Roukounaki, Stavros Aronis
Publikováno v:
Erlang Workshop
Programming language implementers rely heavily on benchmarking for measuring and understanding performance of algorithms, architectural designs, and trade-offs between alternative implementations of compilers, runtime systems, and virtual machine com