Erlang '19: "Lux: An Expect-Like Test Tool ..."
Lux: An Expect-Like Test Tool Written in Erlang: Synchronised Testing of Multiple Sessions
Håkan Mattsson and Cons T. Åhs
(Cisco, Sweden)
We present Lux, an open source system level test tool with expect-like properties and support for debugging. Lux solves the problem of testing real world scenarios with multiple concurrent sessions. A typical scenario is a server and multiple clients, with synchronisation between sessions (interaction with server and/or clients). Lux is written (almost) entirely in Erlang, with no use of additional libraries, proving Erlang to be a very good fit for this problem. Nevertheless, Lux is not limited to the testing of systems written in Erlang, but can test any system with text based interfaces or where writing text based adapters is feasible.
@InProceedings{Erlang19p68,
author = {Håkan Mattsson and Cons T. Åhs},
title = {Lux: An Expect-Like Test Tool Written in Erlang: Synchronised Testing of Multiple Sessions},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {68--73},
doi = {10.1145/3331542.3342574},
year = {2019},
}
Publisher's Version
Erlang '19: "Gaining Trust by Tracing Security ..."
Gaining Trust by Tracing Security Protocols
Lars-Åke Fredlund, Clara Benac Earle, Thomas Arts, and Hans Svensson
(Universidad Politécnica de Madrid, Spain; Quviq, Sweden)
In this article we test an Erlang implementation of the Noise Protocol Framework, using a novel form of white-box testing. We extend interoperability testing of an Erlang enoise implementation against an implementation of Noise in C. Testing typically performs a noise protocol handshake between the two implementations. If successful, then both implementations are somehow compatible. But this does, for example, not detect whether we reuse keys that have to be newly generated. Therefore we extend such operability testing: During the handshake the Erlang noise implementation is traced. The resulting protocol trace is refactored, obtaining as the end result a symbolic description (a functional term) of how key protocol values are constructed using cryptographic operations and keys. Therafter, this symbolic term is compared, using term rewriting, with a symbolic term representing the ideal symbolic execution of the tested noise protocol handshake (i.e., the "semantics" of the handshake). The semantic symbolic term is obtained by executing a symbolic implementation of the noise protocol that we have developed.
@InProceedings{Erlang19p56,
author = {Lars-Åke Fredlund and Clara Benac Earle and Thomas Arts and Hans Svensson},
title = {Gaining Trust by Tracing Security Protocols},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {56--67},
doi = {10.1145/3331542.3342573},
year = {2019},
}
Publisher's Version
Erlang '19: "Gaining Trust by Tracing Security ..."
Gaining Trust by Tracing Security Protocols
Lars-Åke Fredlund, Clara Benac Earle, Thomas Arts, and Hans Svensson
(Universidad Politécnica de Madrid, Spain; Quviq, Sweden)
In this article we test an Erlang implementation of the Noise Protocol Framework, using a novel form of white-box testing. We extend interoperability testing of an Erlang enoise implementation against an implementation of Noise in C. Testing typically performs a noise protocol handshake between the two implementations. If successful, then both implementations are somehow compatible. But this does, for example, not detect whether we reuse keys that have to be newly generated. Therefore we extend such operability testing: During the handshake the Erlang noise implementation is traced. The resulting protocol trace is refactored, obtaining as the end result a symbolic description (a functional term) of how key protocol values are constructed using cryptographic operations and keys. Therafter, this symbolic term is compared, using term rewriting, with a symbolic term representing the ideal symbolic execution of the tested noise protocol handshake (i.e., the "semantics" of the handshake). The semantic symbolic term is obtained by executing a symbolic implementation of the noise protocol that we have developed.
@InProceedings{Erlang19p56,
author = {Lars-Åke Fredlund and Clara Benac Earle and Thomas Arts and Hans Svensson},
title = {Gaining Trust by Tracing Security Protocols},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {56--67},
doi = {10.1145/3331542.3342573},
year = {2019},
}
Publisher's Version
Erlang '19: "Tools Supporting Green Computing ..."
Tools Supporting Green Computing in Erlang
Gergely Nagy, Áron Attila Mészáros, István Bozó, and Melinda Tóth
(Eötvös Loránd University, Hungary)
Energy efficiency is one of the key aspects of modern software. Therefore, we present a tool for measuring the energy consumption of Erlang programs. Using this tool, we measured the energy consumption of different basic language elements, such as data structures, higher-order functions and parallel language constructs. Based on the results of our measurements, we present refactorings that may help to decrease the energy consumption of Erlang software. The refactorings are part of the well-known RefactorErl static analyser and transformer framework for Erlang.
@InProceedings{Erlang19p30,
author = {Gergely Nagy and Áron Attila Mészáros and István Bozó and Melinda Tóth},
title = {Tools Supporting Green Computing in Erlang},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {30--35},
doi = {10.1145/3331542.3342570},
year = {2019},
}
Publisher's Version
Erlang '19: "Gaining Trust by Tracing Security ..."
Gaining Trust by Tracing Security Protocols
Lars-Åke Fredlund, Clara Benac Earle, Thomas Arts, and Hans Svensson
(Universidad Politécnica de Madrid, Spain; Quviq, Sweden)
In this article we test an Erlang implementation of the Noise Protocol Framework, using a novel form of white-box testing. We extend interoperability testing of an Erlang enoise implementation against an implementation of Noise in C. Testing typically performs a noise protocol handshake between the two implementations. If successful, then both implementations are somehow compatible. But this does, for example, not detect whether we reuse keys that have to be newly generated. Therefore we extend such operability testing: During the handshake the Erlang noise implementation is traced. The resulting protocol trace is refactored, obtaining as the end result a symbolic description (a functional term) of how key protocol values are constructed using cryptographic operations and keys. Therafter, this symbolic term is compared, using term rewriting, with a symbolic term representing the ideal symbolic execution of the tested noise protocol handshake (i.e., the "semantics" of the handshake). The semantic symbolic term is obtained by executing a symbolic implementation of the noise protocol that we have developed.
@InProceedings{Erlang19p56,
author = {Lars-Åke Fredlund and Clara Benac Earle and Thomas Arts and Hans Svensson},
title = {Gaining Trust by Tracing Security Protocols},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {56--67},
doi = {10.1145/3331542.3342573},
year = {2019},
}
Publisher's Version
Erlang '19: "Runtime Type Safety for Erlang/OTP ..."
Runtime Type Safety for Erlang/OTP Behaviours
Joseph Harrison
(University of Kent, UK)
Callback-oriented Erlang/OTP behaviours such as the gen_server library are susceptible to malformed requests and ill-typed messages, causing server processes to crash unless a defensive programming style is used. We contribute an alternative approach in the form of a fully automatic hybrid analysis of callback modules using a notion of type safety based upon a sub-typing relation for Erlang. A combination of compile-time type inference, automatic code injection, and modifications to the request dispatch code of gen_server are used to demonstrate how generic server processes can be protected from client-side type errors.
@InProceedings{Erlang19p36,
author = {Joseph Harrison},
title = {Runtime Type Safety for Erlang/OTP Behaviours},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {36--47},
doi = {10.1145/3331542.3342571},
year = {2019},
}
Publisher's Version
Erlang '19: "Erlang as an Enabling Technology ..."
Erlang as an Enabling Technology for Resilient General-Purpose Applications on Edge IoT Networks
Igor Kopestenski and Peter Van Roy
(Université Catholique de Louvain, Belgium)
Edge computing is one of the key success factors for future Internet solutions that intend to support the ongoing IoT evolution. By offloading central areas using resources that are closer to clients, providers can offer reliable services with higher quality. But even industry standards are still lacking a valid solution for edge systems with actual sense-making capabilities when no preexisting infrastructure whatsoever is available. The current edge model involves a tight coupling with gateway devices and Internet access, even when autonomous ad hoc IoT networks could perform partial or even complete tasks correctly.
In our previous research efforts, we have introduced Achlys, an Erlang programming framework that takes advantage of the GRiSP embedded system capabilities in order to bring edge computing one step further. GRiSP is an embedded board that can easily be programmed directly in Erlang without requiring deep low level knowledge, which offers the extensive toolset of the Erlang ecosystem directly on bare metal hardware. We have been able to demonstrate that our framework allows building reliable applications on unreliable networks of unreliable GRiSP nodes with a very simple programming API. In this paper, we present how Erlang can successfully be used to address edge computing challenges directly on IoT sensor nodes, taking advantage of our existing framework. We display results of deployed distributed programs at the edge and examples of the unique advantage that is offered by Erlang higher-order and concurrent programming in order to achieve reliable general-purpose computing through Achlys.
@InProceedings{Erlang19p1,
author = {Igor Kopestenski and Peter Van Roy},
title = {Erlang as an Enabling Technology for Resilient General-Purpose Applications on Edge IoT Networks},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {1--12},
doi = {10.1145/3331542.3342567},
year = {2019},
}
Publisher's Version
Video
Info
Erlang '19: "Intro to Web Prolog for Erlangers ..."
Intro to Web Prolog for Erlangers
Torbjörn Lager
(University of Gothenburg, Sweden)
We describe a programming language called Web Prolog. We think of it as a web programming language, or, more specifically, as a web logic programming language. The language is based on Prolog, with a good pinch of Erlang added. We stay close to traditional Prolog, so close that the vast majority of programs in Prolog textbooks will run without modification. Towards Erlang we are less faithful, picking only features we regard as useful in a web programming language, e.g. features that support concurrency, distribution and intra-process communication. In particular, we borrow features that make Erlang into an actor programming language, and on top of these we define the concept of a pengine – a programming abstraction in the form of a special kind of actor which closely mirrors the behaviour of a Prolog top-level. On top of the pengine abstraction we develop a notion of non-deterministic RPC and the concept of the Prolog Web.
@InProceedings{Erlang19p18,
author = {Torbjörn Lager},
title = {Intro to Web Prolog for Erlangers},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {18--29},
doi = {10.1145/3331542.3342569},
year = {2019},
}
Publisher's Version
Erlang '19: "Scaling Erlang Distribution: ..."
Scaling Erlang Distribution: Going Beyond the Fully Connected Mesh
Adam Lindberg, Sébastien Merle, and Peer Stritzinger
(Peer Stritzinger GmbH, Germany)
Distributed 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 goal of transparently enhancing Erlang distribution, so that changes to existing applications and systems can be avoided. We propose several research directions together with prototype implementations that all serve the purpose of improving the current status quo. This includes using different transport protocols, generalizing implementation efforts and incorporating routing protocols for more dynamic node constellations. We then describe some background and history of various work to solve Erlang distribution scalability issues. We show that there is much room for improvement on the Erlang distribution layer without breaking abstractions that developers are used to and rely on.
@InProceedings{Erlang19p48,
author = {Adam Lindberg and Sébastien Merle and Peer Stritzinger},
title = {Scaling Erlang Distribution: Going Beyond the Fully Connected Mesh},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {48--55},
doi = {10.1145/3331542.3342572},
year = {2019},
}
Publisher's Version
Erlang '19: "Lux: An Expect-Like Test Tool ..."
Lux: An Expect-Like Test Tool Written in Erlang: Synchronised Testing of Multiple Sessions
Håkan Mattsson and Cons T. Åhs
(Cisco, Sweden)
We present Lux, an open source system level test tool with expect-like properties and support for debugging. Lux solves the problem of testing real world scenarios with multiple concurrent sessions. A typical scenario is a server and multiple clients, with synchronisation between sessions (interaction with server and/or clients). Lux is written (almost) entirely in Erlang, with no use of additional libraries, proving Erlang to be a very good fit for this problem. Nevertheless, Lux is not limited to the testing of systems written in Erlang, but can test any system with text based interfaces or where writing text based adapters is feasible.
@InProceedings{Erlang19p68,
author = {Håkan Mattsson and Cons T. Åhs},
title = {Lux: An Expect-Like Test Tool Written in Erlang: Synchronised Testing of Multiple Sessions},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {68--73},
doi = {10.1145/3331542.3342574},
year = {2019},
}
Publisher's Version
Erlang '19: "Scaling Erlang Distribution: ..."
Scaling Erlang Distribution: Going Beyond the Fully Connected Mesh
Adam Lindberg, Sébastien Merle, and Peer Stritzinger
(Peer Stritzinger GmbH, Germany)
Distributed 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 goal of transparently enhancing Erlang distribution, so that changes to existing applications and systems can be avoided. We propose several research directions together with prototype implementations that all serve the purpose of improving the current status quo. This includes using different transport protocols, generalizing implementation efforts and incorporating routing protocols for more dynamic node constellations. We then describe some background and history of various work to solve Erlang distribution scalability issues. We show that there is much room for improvement on the Erlang distribution layer without breaking abstractions that developers are used to and rely on.
@InProceedings{Erlang19p48,
author = {Adam Lindberg and Sébastien Merle and Peer Stritzinger},
title = {Scaling Erlang Distribution: Going Beyond the Fully Connected Mesh},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {48--55},
doi = {10.1145/3331542.3342572},
year = {2019},
}
Publisher's Version
Erlang '19: "Tools Supporting Green Computing ..."
Tools Supporting Green Computing in Erlang
Gergely Nagy, Áron Attila Mészáros, István Bozó, and Melinda Tóth
(Eötvös Loránd University, Hungary)
Energy efficiency is one of the key aspects of modern software. Therefore, we present a tool for measuring the energy consumption of Erlang programs. Using this tool, we measured the energy consumption of different basic language elements, such as data structures, higher-order functions and parallel language constructs. Based on the results of our measurements, we present refactorings that may help to decrease the energy consumption of Erlang software. The refactorings are part of the well-known RefactorErl static analyser and transformer framework for Erlang.
@InProceedings{Erlang19p30,
author = {Gergely Nagy and Áron Attila Mészáros and István Bozó and Melinda Tóth},
title = {Tools Supporting Green Computing in Erlang},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {30--35},
doi = {10.1145/3331542.3342570},
year = {2019},
}
Publisher's Version
Erlang '19: "Tools Supporting Green Computing ..."
Tools Supporting Green Computing in Erlang
Gergely Nagy, Áron Attila Mészáros, István Bozó, and Melinda Tóth
(Eötvös Loránd University, Hungary)
Energy efficiency is one of the key aspects of modern software. Therefore, we present a tool for measuring the energy consumption of Erlang programs. Using this tool, we measured the energy consumption of different basic language elements, such as data structures, higher-order functions and parallel language constructs. Based on the results of our measurements, we present refactorings that may help to decrease the energy consumption of Erlang software. The refactorings are part of the well-known RefactorErl static analyser and transformer framework for Erlang.
@InProceedings{Erlang19p30,
author = {Gergely Nagy and Áron Attila Mészáros and István Bozó and Melinda Tóth},
title = {Tools Supporting Green Computing in Erlang},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {30--35},
doi = {10.1145/3331542.3342570},
year = {2019},
}
Publisher's Version
Erlang '19: "Towards Online Profiling of ..."
Towards Online Profiling of Erlang Systems
Michał Ślaski and Wojciech Turek
(Erlang Solutions, Poland; AGH University of Science and Technology, Poland)
Recent releases of Erlang/OTP introduced features, which can be used to improve profiling tools for systems executed on the BEAM virtual machine. We discuss the need to introduce improvements into profiling tools with the Erlang-style concurrency in mind, so that they can help to understand performance of message passing and utilization of processes. We propose a new approach to implementation of the crucial element of such tools: the concurrent counters updates mechanism. To demonstrate the limitations of current tools in this area and verify the proposed approach, we present the results of a synthetic benchmark. The results clearly show that the proposed approach is a step towards a new generation of online profiling tools.
@InProceedings{Erlang19p13,
author = {Michał Ślaski and Wojciech Turek},
title = {Towards Online Profiling of Erlang Systems},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {13--17},
doi = {10.1145/3331542.3342568},
year = {2019},
}
Publisher's Version
Erlang '19: "Scaling Erlang Distribution: ..."
Scaling Erlang Distribution: Going Beyond the Fully Connected Mesh
Adam Lindberg, Sébastien Merle, and Peer Stritzinger
(Peer Stritzinger GmbH, Germany)
Distributed 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 goal of transparently enhancing Erlang distribution, so that changes to existing applications and systems can be avoided. We propose several research directions together with prototype implementations that all serve the purpose of improving the current status quo. This includes using different transport protocols, generalizing implementation efforts and incorporating routing protocols for more dynamic node constellations. We then describe some background and history of various work to solve Erlang distribution scalability issues. We show that there is much room for improvement on the Erlang distribution layer without breaking abstractions that developers are used to and rely on.
@InProceedings{Erlang19p48,
author = {Adam Lindberg and Sébastien Merle and Peer Stritzinger},
title = {Scaling Erlang Distribution: Going Beyond the Fully Connected Mesh},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {48--55},
doi = {10.1145/3331542.3342572},
year = {2019},
}
Publisher's Version
Erlang '19: "Gaining Trust by Tracing Security ..."
Gaining Trust by Tracing Security Protocols
Lars-Åke Fredlund, Clara Benac Earle, Thomas Arts, and Hans Svensson
(Universidad Politécnica de Madrid, Spain; Quviq, Sweden)
In this article we test an Erlang implementation of the Noise Protocol Framework, using a novel form of white-box testing. We extend interoperability testing of an Erlang enoise implementation against an implementation of Noise in C. Testing typically performs a noise protocol handshake between the two implementations. If successful, then both implementations are somehow compatible. But this does, for example, not detect whether we reuse keys that have to be newly generated. Therefore we extend such operability testing: During the handshake the Erlang noise implementation is traced. The resulting protocol trace is refactored, obtaining as the end result a symbolic description (a functional term) of how key protocol values are constructed using cryptographic operations and keys. Therafter, this symbolic term is compared, using term rewriting, with a symbolic term representing the ideal symbolic execution of the tested noise protocol handshake (i.e., the "semantics" of the handshake). The semantic symbolic term is obtained by executing a symbolic implementation of the noise protocol that we have developed.
@InProceedings{Erlang19p56,
author = {Lars-Åke Fredlund and Clara Benac Earle and Thomas Arts and Hans Svensson},
title = {Gaining Trust by Tracing Security Protocols},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {56--67},
doi = {10.1145/3331542.3342573},
year = {2019},
}
Publisher's Version
Erlang '19: "Tools Supporting Green Computing ..."
Tools Supporting Green Computing in Erlang
Gergely Nagy, Áron Attila Mészáros, István Bozó, and Melinda Tóth
(Eötvös Loránd University, Hungary)
Energy efficiency is one of the key aspects of modern software. Therefore, we present a tool for measuring the energy consumption of Erlang programs. Using this tool, we measured the energy consumption of different basic language elements, such as data structures, higher-order functions and parallel language constructs. Based on the results of our measurements, we present refactorings that may help to decrease the energy consumption of Erlang software. The refactorings are part of the well-known RefactorErl static analyser and transformer framework for Erlang.
@InProceedings{Erlang19p30,
author = {Gergely Nagy and Áron Attila Mészáros and István Bozó and Melinda Tóth},
title = {Tools Supporting Green Computing in Erlang},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {30--35},
doi = {10.1145/3331542.3342570},
year = {2019},
}
Publisher's Version
Erlang '19: "Towards Online Profiling of ..."
Towards Online Profiling of Erlang Systems
Michał Ślaski and Wojciech Turek
(Erlang Solutions, Poland; AGH University of Science and Technology, Poland)
Recent releases of Erlang/OTP introduced features, which can be used to improve profiling tools for systems executed on the BEAM virtual machine. We discuss the need to introduce improvements into profiling tools with the Erlang-style concurrency in mind, so that they can help to understand performance of message passing and utilization of processes. We propose a new approach to implementation of the crucial element of such tools: the concurrent counters updates mechanism. To demonstrate the limitations of current tools in this area and verify the proposed approach, we present the results of a synthetic benchmark. The results clearly show that the proposed approach is a step towards a new generation of online profiling tools.
@InProceedings{Erlang19p13,
author = {Michał Ślaski and Wojciech Turek},
title = {Towards Online Profiling of Erlang Systems},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {13--17},
doi = {10.1145/3331542.3342568},
year = {2019},
}
Publisher's Version
Erlang '19: "Erlang as an Enabling Technology ..."
Erlang as an Enabling Technology for Resilient General-Purpose Applications on Edge IoT Networks
Igor Kopestenski and Peter Van Roy
(Université Catholique de Louvain, Belgium)
Edge computing is one of the key success factors for future Internet solutions that intend to support the ongoing IoT evolution. By offloading central areas using resources that are closer to clients, providers can offer reliable services with higher quality. But even industry standards are still lacking a valid solution for edge systems with actual sense-making capabilities when no preexisting infrastructure whatsoever is available. The current edge model involves a tight coupling with gateway devices and Internet access, even when autonomous ad hoc IoT networks could perform partial or even complete tasks correctly.
In our previous research efforts, we have introduced Achlys, an Erlang programming framework that takes advantage of the GRiSP embedded system capabilities in order to bring edge computing one step further. GRiSP is an embedded board that can easily be programmed directly in Erlang without requiring deep low level knowledge, which offers the extensive toolset of the Erlang ecosystem directly on bare metal hardware. We have been able to demonstrate that our framework allows building reliable applications on unreliable networks of unreliable GRiSP nodes with a very simple programming API. In this paper, we present how Erlang can successfully be used to address edge computing challenges directly on IoT sensor nodes, taking advantage of our existing framework. We display results of deployed distributed programs at the edge and examples of the unique advantage that is offered by Erlang higher-order and concurrent programming in order to achieve reliable general-purpose computing through Achlys.
@InProceedings{Erlang19p1,
author = {Igor Kopestenski and Peter Van Roy},
title = {Erlang as an Enabling Technology for Resilient General-Purpose Applications on Edge IoT Networks},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {1--12},
doi = {10.1145/3331542.3342567},
year = {2019},
}
Publisher's Version
Video
Info