Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- research-articleAugust 2023
TLS the Erlang/OTP Way (Experience Report)
Erlang 2023: Proceedings of the 22nd ACM SIGPLAN International Workshop on ErlangPages 2–13https://doi.org/10.1145/3609022.3609414The Transport Layer Security (TLS) protocol is one of the most used protocols to ensure data privacy, integrity and authenticity on the Internet. Erlang/OTP's TLS implementation is widely used in industry, and especially in the telecommunication ...
- research-articleAugust 2019
Scaling Erlang distribution: going beyond the fully connected mesh
Erlang 2019: Proceedings of the 18th ACM SIGPLAN International Workshop on ErlangPages 48–55https://doi.org/10.1145/3331542.3342572Distributed Erlang, the process of transparently running Erlang programs over networks, has a long history of immense usefulness but has problems when distributed systems reach certain scales. We explain the issues and show research done towards the ...
- short-paperJuly 2018
Partisan: Enabling Real-World Protocol Evaluation
ApPLIED '18: Proceedings of the 2018 Workshop on Advanced Tools, Programming Languages, and PLatforms for Implementing and Evaluating Algorithms for Distributed systemsPages 45–48https://doi.org/10.1145/3231104.3231106We present the design and implementation of Partisan, an Erlang library for enabling real-world experiments of dis- tributed protocols and applications. Partisan is a \batteries- included"library facilitating internode communication in Er- lang, runtime ...
- research-articleApril 2018
Comparing languages for engineering server software: erlang, go, and scala with akka
SAC '18: Proceedings of the 33rd Annual ACM Symposium on Applied ComputingPages 218–225https://doi.org/10.1145/3167132.3167144Servers are a key element of current IT infrastructures, and must often deal with large numbers of concurrent requests. The programming language used to construct the server has an important role in engineering efficient server software, and must ...
- research-articleApril 2017
Computing super reduced program slices by composing slicing techniques
SAC '17: Proceedings of the Symposium on Applied ComputingPages 1631–1633https://doi.org/10.1145/3019612.3019896Program slicing is a technique to extract the part of a program (the slice) that influences or is influenced by a set of variables at a given point. Computing minimal slices is undecidable in the general case, and obtaining the minimal slice of a given ...
-
- research-articleJanuary 2015
Safe Concurrency Introduction through Slicing
PEPM '15: Proceedings of the 2015 Workshop on Partial Evaluation and Program ManipulationPages 103–113https://doi.org/10.1145/2678015.2682533Traditional refactoring is about modifying the structure of existing code without changing its behaviour, but with the aim of making code easier to understand, modify, or reuse. In this paper, we introduce three novel refactorings for retrofitting ...
- research-articleSeptember 2014
More scalable ordered set for ETS using adaptation
Erlang '14: Proceedings of the Thirteenth ACM SIGPLAN workshop on ErlangPages 3–11https://doi.org/10.1145/2633448.2633455The Erlang Term Storage (ETS) is a key component of the runtime system and standard library of Erlang/OTP. In particular, on big multicores, the performance of many applications that use ETS as a shared key-value store heavily depends on the scalability ...
- research-articleSeptember 2014
Discovering parallel pattern candidates in Erlang
- István Bozó,
- Viktoria Fordós,
- Zoltán Horvath,
- Melinda Tóth,
- Dániel Horpácsi,
- Tamás Kozsik,
- Judit Köszegi,
- Adam Barwell,
- Christopher Brown,
- Kevin Hammond
Erlang '14: Proceedings of the Thirteenth ACM SIGPLAN workshop on ErlangPages 13–23https://doi.org/10.1145/2633448.2633453The ParaPhrase Refactoring Tool for Erlang PaRTE provides automatic, comprehensive and reliable pattern candidate discovery to locate parallelisable components in Erlang programs. It uses semi-automatic and semantics-preserving program transformations ...
- research-articleSeptember 2014
Derflow: distributed deterministic dataflow programming for erlang
Erlang '14: Proceedings of the Thirteenth ACM SIGPLAN workshop on ErlangPages 51–60https://doi.org/10.1145/2633448.2633451Erlang implements a message-passing execution model in which concurrent processes send each other messages asynchronously. This model is inherently non-deterministic: a process can receive messages sent by any process which knows its process identifier, ...
- research-articleSeptember 2014
BEAMJIT: a just-in-time compiling runtime for Erlang
Erlang '14: Proceedings of the Thirteenth ACM SIGPLAN workshop on ErlangPages 61–72https://doi.org/10.1145/2633448.2633450BEAMJIT is a tracing just-in-time compiling runtime for the Erlang programming language. The core parts of BEAMJIT are synthesized from the C source code of BEAM, the reference Erlang abstract machine. The source code for BEAM's instructions is ...
- research-articleApril 2014
On the composability of the Riak DT map: expanding from embedded to multi-key structures
PaPEC '14: Proceedings of the First Workshop on Principles and Practice of Eventual ConsistencyArticle No.: 13, Pages 1–2https://doi.org/10.1145/2596631.2596635The Riak DT library [2] provides a composable, convergent replicated dictionary called the Riak DT map, designed for use in the Riak [1] replicated data store. This data type provides the ability for the composition of conflict-free replicated data ...
- research-articleApril 2014
Riak DT map: a composable, convergent replicated dictionary
PaPEC '14: Proceedings of the First Workshop on Principles and Practice of Eventual ConsistencyArticle No.: 1, Page 1https://doi.org/10.1145/2596631.2596633Conflict-Free Replicated Data-Types (CRDTs) [6] provide greater safety properties to eventually-consistent distributed systems without requiring synchronization. CRDTs ensure that concurrent, uncoordinated updates have deterministic outcomes via the ...
- research-articleJanuary 2014
Automating property-based testing of evolving web services
PEPM '14: Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program ManipulationPages 169–180https://doi.org/10.1145/2543728.2543741Web services are the most widely used service technology that drives the Service-Oriented Computing~(SOC) paradigm. As a result, effective testing of web services is getting increasingly important. In this paper, we present a framework and toolset for ...
- ArticleDecember 2013
Adapting CakeDB to Integrate High-Pressure Big Data Streams with Low-Pressure Systems
CLOUDCOM-ASIA '13: Proceedings of the 2013 International Conference on Cloud Computing and Big DataPages 414–419https://doi.org/10.1109/CLOUDCOM-ASIA.2013.33Big Data continues to be one of the hottest topics in the computer science field and itself takes many forms. One way Big Data manifests is in the form of streams. These streams can be generally defined by their update frequency and the bandwidth they ...
- research-articleOctober 2013
Analysing timed Rebeca using McErlang
AGERE! 2013: Proceedings of the 2013 workshop on Programming based on actors, agents, and decentralized controlPages 25–36https://doi.org/10.1145/2541329.2541335Although timed actor-based models attracted more attention in the recent years, there is not much done on analyzing and model checking of such systems. The actor based language, Timed Rebeca, was introduced to model distributed and asynchronous systems ...
- research-articleSeptember 2013
Scalable persistent storage for Erlang: theory and practice
Erlang '13: Proceedings of the twelfth ACM SIGPLAN workshop on ErlangPages 73–74https://doi.org/10.1145/2505305.2505315The many core revolution makes scalability a key property. The RELEASE project aims to improve the scalability of Erlang on emergent commodity architectures with 100,000 cores. Such architectures require scalable and available persistent storage on up ...
- research-articleSeptember 2013
Extending Erlang by utilising RefactorErl
Erlang '13: Proceedings of the twelfth ACM SIGPLAN workshop on ErlangPages 63–72https://doi.org/10.1145/2505305.2505314In this paper, we present the idea of utilising a refactoring tool for implementing extensions to a programming language. We elaborate the correspondence between the main components of the compiler and the refactoring tool, and examine how analysis and ...