Erlang Workshop - researchr conference series publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 100 from 226

2024

Unsafe Impedance: Safe Languages and Safe by Design SoftwareLee Barney, Adolfo Neto. erlang 2024: 76-83 [doi]

Same Same but Different: A Comparative Analysis of Static Type Checkers in ErlangFlorian Berger, Albert Schimpf, Annette Bieniusa, Stefan Wehr. erlang 2024: 2-12 [doi]

Controlled Scheduling of Concurrent Elixir ProgramsLuis Eduardo Bueso de Barrio, Lars-Åke Fredlund, Clara Benac Earle, Ángel Herranz, Julio Mariño. erlang 2024: 67-75 [doi]

Elixir-Powered Low-Income Animal Shelter Support: An Experience Report from Conception to ProductionCarla Rodríguez Estévez, Laura M. Castro. erlang 2024: 96-107 [doi]

Proceedings of the 23rd ACM SIGPLAN International Workshop on Erlang, Erlang 2024, Milan, Italy, 2 September 2024Kiko Fernandez-Reyes, Adriana Laura Voinea, editors, ACM, 2024. [doi]

Erla⁺: Translating TLA⁺ Models into Executable Actor-Based ImplementationsMarian Hristov, Annette Bieniusa. erlang 2024: 13-23 [doi]

Nominal Types for ErlangIsabell Huang, John Högberg, Kiko Fernandez-Reyes, Tobias Wrigstad. erlang 2024: 24-32 [doi]

Modeling Erlang Compiler IR as SMT FormulasJohn Högberg. erlang 2024: 45-54 [doi]

The Benefits of Tierless Elixir/Potato for Engineering IoT SystemsSolaris Li, Phil Trinder, Christophe De Troyer, Mart Lubbers, Adrian Ramsingh. erlang 2024: 84-95 [doi]

Environmentally Sustainable Software and Data Architectures (Keynote)Madeleine Malmsten. erlang 2024: 1 [doi]

Erlang on TOAST: Generating Erlang Stubs with Inline TOAST MonitorsJonah Pears, Laura Bocchi, Raymond Hu. erlang 2024: 33-44 [doi]

Is This Really a Refactoring? Automated Equivalence Checking for Erlang ProjectsBendegúz Seres, Dániel Horpácsi, Simon J. Thompson. erlang 2024: 55-66 [doi]

2023

2022

CAEFL: composable and environment aware federated learning modelsRuomeng (Cocoa) Xu, Anna Lito Michala, Phil Trinder. erlang 2022: 9-20 [doi]

Executable contracts for ElixirSergio Pérez 0001, Luis Eduardo Bueso de Barrio, Ignacio Ballesteros, Ángel Herranz, Julio Mariño, Clara Benac Earle, Lars-Åke Fredlund. erlang 2022: 40-46 [doi]

Erlang '22: 21st ACM SIGPLAN International Workshop on Erlang, Ljubljana, Slovenia, 11 September 2022Stavros Aronis, Burcu Kulahcioglu Ozkan, editors, ACM, 2022. [doi]

eqWAlizer: scaling Erlang development at WhatsApp with static typing (keynote)Ilya G. Klyuchnikov. erlang 2022: 1 [doi]

A reliability benchmark for actor-based server languagesAidan Randtoul, Phil Trinder. erlang 2022: 21-32 [doi]

Troubleshooting the performance of a large Erlang systemNikos Tsikoudis, Marc Sugiyama. erlang 2022: 2-8 [doi]

InfERL: scalable and extensible Erlang static analysisÁkos Hajdu, Matteo Marescotti, Thibault Suzanne, Ke Mao, Radu Grigore, Per Gustafsson, Dino Distefano. erlang 2022: 33-39 [doi]

2021

Proceedings of the 20th ACM SIGPLAN International Workshop on Erlang, Erlang@ICFP 2020, Virtual Event, Korea, August 26, 2021Stavros Aronis, Annette Bieniusa, editors, ACM, 2021. [doi]

Graft: general purpose raft consensus in ElixirMatthew Alan Le Brun, Duncan Paul Attard, Adrian Francalanza. erlang 2021: 2-14 [doi]

Makina: a new QuickCheck state machine libraryLuis Eduardo Bueso de Barrio, Lars-Åke Fredlund, Ángel Herranz, Clara Benac Earle, Julio Mariño. erlang 2021: 41-53 [doi]

What are the critical security flaws in my system?Viktória Fördós. erlang 2021: 64-71 [doi]

The Hera framework for fault-tolerant sensor fusion with Erlang and GRiSP on an IoT networkSébastien Kalbusch, Vincent Verpoten, Peter Van Roy. erlang 2021: 15-27 [doi]

Bidirectional typing for ErlangNithin Vadukkumchery Rajendrakumar, Annette Bieniusa. erlang 2021: 54-63 [doi]

Detecting oxbow code in Erlang codebases with the highest degree of certaintyFernando Benavides Rodríguez, Laura M. Castro. erlang 2021: 28-40 [doi]

Fifteen years of successfully dialyzing Erlang and Elixir code (invited talk)Konstantinos Sagonas. erlang 2021: 1 [doi]

2020

2019

Proceedings of the 18th ACM SIGPLAN International Workshop on Erlang, Erlang@ICFP 2019, Berlin, Germany, August 18, 2019Adrian Francalanza, Viktória Fördos, editors, ACM, 2019. [doi]

Gaining trust by tracing security protocolsLars-Åke Fredlund, Clara Benac Earle, Thomas Arts, Hans Svensson. erlang 2019: 56-67 [doi]

Runtime type safety for erlang/otp behavioursJoseph Harrison. erlang 2019: 36-47 [doi]

Erlang as an enabling technology for resilient general-purpose applications on edge IoT networksIgor Kopestenski, Peter Van Roy. erlang 2019: 1-12 [doi]

Intro to web prolog for erlangersTorbjörn Lager. erlang 2019: 18-29 [doi]

Scaling Erlang distribution: going beyond the fully connected meshAdam Lindberg, Sébastien Merle, Peer Stritzinger. erlang 2019: 48-55 [doi]

Lux: an expect-like test tool written in Erlang: synchronised testing of multiple sessionsHåkan Mattsson, Cons T. Åhs. erlang 2019: 68-73 [doi]

Tools supporting green computing in ErlangGergely Nagy, Áron Attila Mészáros, István Bozó, Melinda Tóth. erlang 2019: 30-35 [doi]

Towards online profiling of Erlang systemsMichal Slaski, Wojciech Turek. erlang 2019: 13-17 [doi]

2018

Modelling distributed Erlang within a single nodeStavros Aronis, Viktória Fördós, Dániel Szoboszlay. erlang 2018: 25-36 [doi]

Modeling Erlang processes as Petri netsJörgen Brandt, Wolfgang Reisig. erlang 2018: 61-66 [doi]

Proceedings of the 17th ACM SIGPLAN International Workshop on Erlang, ICFP 2018, St. Louis, MO, USA, September 23-29, 2018Natalia Chechina, Adrian Francalanza, editors, ACM, 2018. [doi]

Understanding formal specifications through good examplesAlex Gerdes, John Hughes, Nicholas Smallbone, Stefan Hanenberg, Sebastian Ivarsson, Meng Wang. erlang 2018: 13-24 [doi]

Automatic detection of core Erlang message passing errorsJoseph Harrison. erlang 2018: 37-48 [doi]

iDeA: an immersive debugger for actorsAman Shankar Mathur, Burcu Kulahcioglu Ozkan, Rupak Majumdar. erlang 2018: 1-12 [doi]

Towards secure Erlang systemsAlexandre Jorge Barbosa Rodrigues, Viktória Fördós. erlang 2018: 67-70 [doi]

Typing the wild in ErlangNachiappan Valliappan, John Hughes. erlang 2018: 49-60 [doi]

2017

The shared-memory interferences of Erlang/OTP built-insStavros Aronis, Konstantinos Sagonas. erlang 2017: 43-54 [doi]

Distributed memory architecture for high-level synthesis of embedded controllers from ErlangKagumi Azuma, Nagisa Ishiura, Nobuaki Yoshida, Hiroyuki Kanbara. erlang 2017: 13-19 [doi]

eAOP: an aspect oriented programming framework for ErlangIan Cassar, Adrian Francalanza, Luca Aceto, Anna Ingólfsdóttir. erlang 2017: 20-30 [doi]

Proceedings of the 16th ACM SIGPLAN International Workshop on Erlang, Oxford, United Kingdom, September 3-9, 2017Natalia Chechina, Scott Lystig Fritchie, editors, ACM, 2017. [doi]

Towards change-driven testingViktória Fördós, István Bozó, Melinda Tóth. erlang 2017: 64-65 [doi]

Towards an Isabelle/HOL formalisation of core ErlangJoseph R. Harrison. erlang 2017: 55-63 [doi]

Structuring Erlang BEAM control flowDániel Lukács, Melinda Tóth. erlang 2017: 31-42 [doi]

Construction and formal verification of a fault-tolerant distributed mutual exclusion algorithmEvgeniy Shishkin. erlang 2017: 1-12 [doi]

2016

Observing the consistency of distributed systemsDeepthi Devaki Akkoorath, Viktória Fördós, Annette Bieniusa. erlang 2016: 54-55 [doi]

Towards semi-automatic data-type translation for parallelism in ErlangAdam D. Barwell, Christopher Brown, David Castro, Kevin Hammond. erlang 2016: 60-61 [doi]

Automatic generation of UML sequence diagrams from test counterexamplesDaniel Carballa, Laura M. Castro. erlang 2016: 58-59 [doi]

Making everybody comfortable with Erlang: a SCADA system for thermal controlLaura M. Castro, J. Daniel Fernández, Carlos López Pampín. erlang 2016: 56-57 [doi]

A scalable reliable instant messenger using the SD Erlang librariesNatalia Chechina, Mario Moro Hernandez, Phil Trinder. erlang 2016: 33-41 [doi]

CRDTs for the configuration of distributed Erlang systemsViktória Fördós, Francesco Cesarini. erlang 2016: 42-53 [doi]

Towards reliable and scalable robot communicationAndreea Lutac, Natalia Chechina, Gerardo Aragon-Camarasa, Phil Trinder. erlang 2016: 12-23 [doi]

The Nifty way to call hell from heavenAndreas Löscher, Konstantinos F. Sagonas. erlang 2016: 1-11 [doi]

Profiling actor utilization and communication in AkkaAndrea Rosà, Lydia Y. Chen, Walter Binder. erlang 2016: 24-32 [doi]

Proceedings of the 15th International Workshop on Erlang, Nara, Japan, September 18-22, 2016Melinda Tóth, Scott Lystig Fritchie, editors, ACM, 2016. [doi]

2015

2014

On shrinking randomly generated load testsThomas Arts. erlang 2014: 25-31 [doi]

Discovering parallel pattern candidates in ErlangIstván Bozó, Viktoria Fordós, Zoltán Horváth, Melinda Tóth, Dániel Horpácsi, Tamás Kozsik, Judit Köszegi, Adam Barwell, Christopher Brown, Kevin Hammond. erlang 2014: 13-23 [doi]

Derflow: distributed deterministic dataflow programming for erlangManuel Bravo, Zhongmiao Li, Peter Van Roy, Christopher Meiklejohn. erlang 2014: 51-60 [doi]

Proceedings of the Thirteenth ACM SIGPLAN workshop on Erlang, Gothenburg, Sweden, September 5, 2014Laura M. Castro, Hans Svensson, editors, ACM, 2014. [doi]

BEAMJIT: a just-in-time compiling runtime for ErlangFrej Drejhammar, Lars Rasmusson. erlang 2014: 61-72 [doi]

Jsongen: a quickcheck based library for testing JSON web servicesClara Benac Earle, Lars-Åke Fredlund, Ángel Herranz-Nieva, Julio Mariño. erlang 2014: 33-41 [doi]

Faulterl: precise fault injection for the erlang VM, NIFs and linked-in driversScott Lystig Fritchie. erlang 2014: 75-76 [doi]

Investigating the scalability limits of distributed ErlangAmir Ghaffari. erlang 2014: 43-49 [doi]

Functional programming and the "megacore" eraKevin Hammond. erlang 2014: 1 [doi]

More scalable ordered set for ETS using adaptationKonstantinos F. Sagonas, Kjell Winblad. erlang 2014: 3-11 [doi]

Synapse: automatic behaviour inference and implementation comparison for ErlangPablo Lamela Seijas, Simon J. Thompson, Ramsay Taylor, Kirill Bogdanov, John Derrick. erlang 2014: 73-74 [doi]

2013

Turning web services descriptions into quickcheck models for automatic testingMiguel A. Francisco, Macías López, Henrique Ferreiro, Laura M. Castro. erlang 2013: 79-86 [doi]

Scalable persistent storage for Erlang: theory and practiceAmir Ghaffari, Natalia Chechina, Phil Trinder, Jon Meredith. erlang 2013: 73-74 [doi]

Extending Erlang by utilising RefactorErlDániel Horpácsi. erlang 2013: 63-72 [doi]

On the scalability of the Erlang term storageDavid Klaftenegger, Konstantinos F. Sagonas, Kjell Winblad. erlang 2013: 15-26 [doi]

Multicore profiling for Erlang programs using percept2Huiqing Li, Simon J. Thompson. erlang 2013: 33-42 [doi]

Riak PG: distributed process groups on dynamo-style distributed storageChristopher Meiklejohn. erlang 2013: 27-32 [doi]

Testing blocking operations with QuickCheck's component libraryUlf Norell, Hans Svensson, Thomas Arts. erlang 2013: 87-92 [doi]

Towards property-based testing of RESTful web servicesPablo Lamela Seijas, Huiqing Li, Simon J. Thompson. erlang 2013: 77-78 [doi]

Proceedings of the Twelfth ACM SIGPLAN Erlang Workshop, Boston, Massachusetts, USA, September 28, 2013Steve Vinoski, Laura M. Castro, editors, ACM, 2013. [doi]

Links

Filter by Year

[-]
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1

Erlang Workshop (erlang)

Viewing Publication 1 - 100 from 226

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

Links

Filter by Year [-]OR AND NOT 1

Filter by Tag [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top terms [+]OR AND NOT 1

Erlang Workshop (erlang)

Viewing Publication 1 - 100 from 226

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

Filter by Year

[-]
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1