🕶 Awesome Erlang 🕶

A curated list of amazingly awesome Erlang libraries, resources and shiny thing inspired by awesome-elixir and forked from awesome-erlang.

• Awesome Erlang
  • Actors
  • Algorithms, Datastructures and Design Patterns
  • Authentication
  • Blockchain
  • Build Tools
  • Caching
  • Code Analysis
  • Codebase Maintenance
  • CMS
  • Command Line Interfaces (CLI)
  • Cryptography
  • Configuration Management
  • Databases
  • Date and Time
  • Debugging
  • Deployment
  • Distributed Systems
  • Documentation
  • Embedded
  • Geolocation
  • Graphical Interfaces
  • HTTP
  • Image Processing
  • Internet of Things
  • Logging
  • Miscellaneous
  • Monitoring
  • Networking
  • ORM and Datamapping
  • Package Management
  • Profiling
  • Queue
  • Queueing Systems
  • Rebar3 Plugins
  • REST and API
  • Release Management
  • Templating
  • Security
  • Testing
  • Text and Numbers
  • Third Party APIs
  • Translations and Internationalizations
  • Web Frameworks
  • Web Framework Components
• Applications
• Resources
  • Articles
  • Books
  • Community
  • Erlang Reading
  • Installers (and Packagers)
  • Publications
  • Screencasts
  • Web Reading
  • Websites
• Other Erlang related lists
• Contributing

Actors

Libraries and tools for working with actors and such.

• poolboy: A hunky Erlang worker pool factory.
• pooler: An OTP Process Pool Application
• worker_pool: Erlang worker pool
• episcina: A simple non intrusive resource pool for connections
• erlang-stdinout-pool: stuff goes in, stuff goes out. there's never any miscommunication.
• hottub: Simple, Fast, Permanent Erlang Worker Pool
• swarm: Fast and simple acceptor pool for Erlang
• pooly: Erlang OTP Process Pool
• ecpool: Erlang Connection/Client Pool Library.
• erlpool: Erlang round-robin load balancer for Erlang processes based on ETS.
• cuesport: simple Erlang pool of workers.
• gen_buffer: A generic message buffer behaviour with pooling and back-pressure for Erlang/Elixir.
• JoelPM: A pooling mechanism for gen_servers.
• erlangbureau: Small and flexible pool manager written in Erlang.
• kuenishi: Active worker pool in OTP manner.
• hnc-agency: hnc - Erlang worker pool.
• gootik: Constant pool cache for Erlang for massive data.
• doubleyou: Generic pool behavior.
• okeuday: Erlang Process Pool as a Supervisor.
• botsunit: Erlang worker pool.
• lb: Load-Balancer for spreading Erlang messages to other processes/ports.

  
  
• director: Fast, powerful and useful process supervisor library with different approaches.

  
  

Algorithms, Datastructures and Design Patterns

Libraries and implementations of algorithms and datastructures.

• datum: A pure functional and generic programming for Erlang.
• erlando: A set of syntax extensions like currying and monads for Erlang.
• statebox: Erlang state monad with merge/conflict-resolution capabilities.
• erlang_ds: A universal, extensible, data structure-agonstic library for augmenting, converting, and interfacing with Erlang Key-Value data structures.
• riak_dt: Erlang library of state based CRDTs.
• nif_helpers: An Erlang.mk plugin and C library for writing NIFs.
• hooks: Generic plugin and hook system for Erlang applications.

Authentication

Libraries for implementing authentications schemes.

• oauth2: Erlang OAuth2 Implementation.
• auth: Production-worthy, generic authentication system. Currently implements both password-based and RSA-key-based authentication calls. Coming Soon: Two Factor Authentication.
• oidcc: OpenId Connect client library in Erlang & Elixir

Blockchain

Blockchain applications and/or libraries using Erlang

• aeternity: A new blockchain for æpps. Optimized for scalability via smart contracts inside state-channels. Has a built-in oracle for integration with real-world data. Comes with a naming system, for developerability.
• amoveo: Amoveo is a blockchain meant for enforcement of investment and insurance contracts.

• ecoinpool: A pool mining software written in Erlang for cryptographic currencies.

Build Tools

Project build and automation tools.

• rebar: Erlang build tool that makes it easy to compile and test Erlang applications, port drivers and releases.
• rebar3: A build tool for Erlang which can manage Erlang packages from hex.pm.
• erlang.mk: A build tool for Erlang that just works, based on GNUMakefile
• zx/zomp: ZX/Zomp makes starting Erlang projects and running Erlang programs lightweight and familiar.
• agner: Agner is a rebar-friendly Erlang package index inspired by Clojars and Homebrew.
• sync: On-the-fly recompiling for Erlang.
• sinan: Erlang/OTP oriented build system.

Caching

Libraries for caching data.

• cache: In-memory Segmented Cache.
• nitro_cache: A simple in-memory caching server (used in Nitrogen)

Code Analysis

Libraries and tools for analysing, parsing and manipulation codebases.

• Concuerror: Concuerror is a systematic testing tool for concurrent Erlang programs.
• eflame: A Flame Graph profiler for Erlang.
• geas: Geas is a tool that will detect the runnable official Erlang release window for your project, including its dependencies and provides many useful informations.

Codebase Maintenance

Libraries and tools to maintain a clean codebase.

• elvis: Erlang Style Reviewer.
• rekt: A parse transform to define new Erlang records from existing records, similar to inheritance in objected oriented languages.
• pipeline: A parse transform to add a pipe mechanism to Erlang function composition (think Elixir's `|>` operator)

CMS

Erlang powered Content Management System (CMS)

A content management system (CMS) is computer software used to manage the creation and modification of digital content (content management). A CMS is typically used for enterprise content management (ECM) and web content management (WCM).

-- Wikipedia

• LiquidCMS: KISS CMS based on Nitrogen Web Framework and Bootstrap.
• khale: Khale is a somewhat-open CMS suitable for creating sites for open communities.
• Chat: Instant Messenger respects ISO 20922 IETF 3394 3565 5280 5480 5652 5755 8551 ITU ASN.1 X.509 CMS PKCS-10 PCKS-7 OCSP LDAP DNS X9-42 X9-62 X25519 X488 SECP384r1.

Command Line Interfaces (CLI)

• getopt: Erlang module to parse command line arguments using the GNU getopt syntax.
• nebula: Small library for colored (ANSI) output in Erlang/Elixir/LFE. It's can be useful when you need to create user-friendly command-line application.
• erlctl: Command Line Interface Framework for Erlang.
• ectl: Escript command line utilities.
• Erlang-command-line-interface: Telnet command line interface written in Erlang.
• erlfmt: Formatting of Erlang terms from the command line.
• ecli: Telecom style command line interface with tab completion.

Cryptography

• erlang-dkg: Distributed key generation for Erlang (using pairing based cryptography).
• erlang-crypto_rsassa_pss: RSASSA-PSS Public Key Cryptographic Signature Algorithm for Erlang and Elixir.
• cinched: Cinched is a microservice to provide cryptographic and key management operations.
• cryptographic: Erlang cryptographic library primarily written in Erlang to make distribution on multiple platforms easy.
• erlang-ucrypto: µCrypto is a thin wrapper for the OpenSSL API's that are missing in OTP's crypto application.

Configuration Management

Libraries and tools related to configuration management.

• stillir: Cache environment variables as Erlang app variables.

Databases

• actordb: ActorDB is a distributed SQL database with the scalability of a KV store, while keeping the query capabilities of a relational database.
• antidote: AntidoteDB is a highly available geo-replicated key-value database.
• barreldb: Barrel is a modern document-oriented database in Erlang focusing on data locality (put/match the data next to you) and P2P.
• cakedb: A stream oriented database.
• cbt: Multi-layer MVCC log append-only database library based on the Apache CouchDB btree.
• couchbeam: Apache CouchDB client in Erlang.
• couchdb: An Erlang/Elixir CouchDB client.
• cowdb: Pure Key/Value database library for Erlang Applications.
• dbi: Erlang and Elixir DataBase Interface.
• epgsql: PostgreSQL Driver for Erlang.
• erlmongo: Erlang driver for MongoDB with gridfs that works with maps and proplists.
• emysql: Emysql implements a stable driver toward the MySQL database. It currently support fairly recent versions (somewhere around 5.3+) and it is considered fairly stable in production.
• ergl: A fault-tolerant marriage of causal and strong consistency.
• imem: Clustered in-memory database based on MNESIA with simple SQL layer.
• jamdb_oracle: Oracle Database driver for Erlang.

• kvc: Key Value Coding for Erlang data structures
• khepri: Khepri is a tree-like replicated on-disk database library for Erlang and Elixir.
• memdb: Erlang memory backend K/V store.
• migresia: A simple Erlang tool to automatically migrate Mnesia databases between versions.
• minidb: A minimal in-memory distributed master-less document database

• mnesia 🟊 : A heavy-duty real-time distributed database

  

• mria: Mria is an extension for Mnesia database that adds eventual consistency to the cluster.
• mysql-otp: MySQL/OTP – MySQL driver for Erlang/OTP.
• nkbase: NkBASE distributed database
• odi: OrientDB Database Interface for Erlang.
• opencouch: A embeddable document oriented database compatible with Apache CouchDB.
• plum_db: A globally replicated database using eventual consistency. It uses Epidemic Broadcast Trees and lasp-lang’s Partisan.
• pgsql_migration: PostgreSQL migrations for Erlang.
• rc: Chain Replication Database for KVS
• ringo: Ringo is an experimental, distributed, replicating key-value store based on consistent hashing and immutable data. Unlike many general-purpose databases, Ringo is designed for a specific use case: For archiving small or medium-size data items.
• rocker: Erlang/Elixir wrapper for RocksDB.
• sql_bridge: An abstraction layer and database utility providing a unified interface for working with SQL databases (MySQL and PostgreSQL currently). (Not an ORM)
• sumbo_db: sumo_db aims to ease db access for erlang applications. It offers a very simple persistance layer capable of interacting with different db's, while offering a consistent api to your code.
• stockdb: stockdb is a storage for Stock Exchange quotes.
• vaxine: Rich-CRDT database based on AntidoteDB.
• yamndb: In-memory circular array database.

Date and Time

Libraries for working with dates and times.

• chronos: Timer module for Erlang that makes it easy to abstact time out of the tests.
• erlang_localtime: Erlang library for conversion from one local time to another.
• ezic: A set of erlang utilities for the Olson timezone database files.
• iso8601: An ISO 8601 date formating and parsing library for Erlang.
• qdate: Erlang date, time, and timezone management: formatting, conversion, and date arithmetic.

Debugging

Libraries and tools for debugging code and applications.

• 🟊 cover - A Coverage Analysis Tool for Erlang

• 🟊 debugger - A debugger for debugging and testing of Erlang programs

• 🟊 dialyzer - The DIALYZER, a DIscrepancy AnaLYZer for ERlang programs.

• eministat: Port of Poul-Henning Kamp's ministat to the Erlang world.

• et - Event Tracer (ET), uses the built-in trace mechanism in Erlang and provides tools for collection and graphical viewing of trace data.

• flatlog: A custom formatter for the Erlang logger application that turns maps into single line text logs.
• recon: Collection of functions and scripts to debug Erlang in production.
• tx: An HTML Erlang term viewer, starts own webserver and displays any term you give it from your Erlang node.

• 🟊 xref - A Cross Reference Tool for analyzing dependencies between functions, modules, applications and releases.

Deployment

Libraries and tools related to deployment of Erlang/OTP applications.

• enit: An Erlang application release in a Docker container from scratch.
• docker-erlang: Basic Docker Container Images for Erlang/OTP.
• pkgx: Build .deb packages from Erlang releases.

Distributed Systems

Tools for stress/load testing, latency issues, etc. across microservices.

• erleans: A framework for building distributed applications in Erlang and Elixir based on Microsoft Orleans.
• nkcluster: A framework to manage jobs at huge Erlang clusters.
• partisan: Partisan is a scalable and flexible, TCP-based membership system and distribution layer for the BEAM.
• typhoon: Stress and load testing tool for distributed systems that simulates traffic from a test cluster toward a system-under-test (SUT) and visualizes related latencies.
• enot: Package manager, build and deploy tool.

  
  

Documentation

Documenting Erlang code.

• 🟊 edoc - the Erlang program documentation generator.

• erldocs: This is the code used to generate documentation for erlang projects in the format of erldocs.com.

  
  
• edown: EDoc extension for generating Github-flavored Markdown.

  
  
• knot: A literate programming tool that uses Markdown.

  
  
• asciiedoc: EDoc extension for generating HTML or GitHub-flavored Markdown from AsciiDoc sources.

  
  
• escobar: Erlang source code to html transform.

  
  

Embedded

• E4VM: A small portable virtual machine that would run Erlang on embedded systems.
• gen_batch: A batch job running library for embedded Erlang/OTP.
• i2c: Erlang api to i2c linux interface.
• eel: Embedded Erlang (EEl).
• mini-monkey: MiniMonkey is a tiny message routing system aimed for embedded systems. Especially the broker is programmatically provisioned.

Geolocation

Libraries for geocoding addresses and working with latitudes and longitudes.

• erl-rstar: An Erlang implementation of the R*-tree spacial data structure.
• geodata2: Erlang application for working with MaxMind geoip2 (.mmdb) databases.
• geocouch: A spatial extension for Couchbase and Apache CouchDB.
• teles: An Erlang network service for manipulating geographic data.

Graphical Interfaces

Libraries for creating and dealing with Graphical Interfaces (GUI)

• slider: A WxErlang application to generate slidesets.

HTTP

Libraries for working with HTTP and scraping websites.

• cowboy: A simple HTTP server.
• elli: A webserver you can run inside your Erlang application to expose an HTTP API.
• bullet: Simple, reliable, efficient streaming for Cowboy.
• gun: Erlang HTTP client with support for HTTP/1.1, SPDY and Websocket.
• hackney: Simple HTTP client in Erlang.
• ibrowse: Erlang HTTP client.
• lhttpc: A lightweight HTTP/1.1 client implemented in Erlang.
• shotgun: For the times you need more than just a gun.
• yaws: A webserver for dynamic content written in Erlang.

• 🟊 inets:httpd - An implementation of an HTTP 1.1 compliant web server, as defined in RFC 2616.

• 🟊 inets:httpc - An HTTP/1.1 client

• webmachine: Webmachine is an application layer that adds HTTP semantic awareness on top of the excellent bit-pushing and HTTP syntax-management provided by mochiweb, and provides a simple and clean way to connect that to your application's behavior.
• erlang-spdy: Library implementing the SPDY protocol.
• mimerl: Library to handle mimetypes.

Image Processing

• emagick: Wrapper for Graphics/ImageMagick command line tool.

Internet of Things

Libraries and tools for interacting with the physical world.

• grisp: Run the Erlang VM on an IoT board with many hardware interfaces and low-level drivers using a small realtime unikernel called RTEMS.
• achlys: Erlang framework for building applications with Lasp on GRiSP
• grisp_emulation: Hardware emulation layer for the GRiSP runtime.
• dgiot: Open source platform for iot , 6 min Quick Deployment,10M devices connection,Carrier level Stability.
• erlem: Erlang IoT platform
• lynkia: A library to make large-scale computations on IoT devices.
• lemma_erlang: A lemma for IDEO's Noam internet-of-things prototyping platform.

Logging

Libraries for generating and working with log files.

• bloberl: Simple log shipping to cloud object storage (S3, GCS and Azure Blob).

  
  
  
• lager: A logging framework for Erlang/OTP.

  Typically Log Shippers like Filebeat, Fluentd, Logstash, etc. expect logs to be in JSON format. This is a custom logger formatter for Erlang that prints JSON.
• lager: A logging framework for Erlang/OTP.
• lager_amqp_backend: AMQP RabbitMQ Lager backend.
• lager_hipchat: HipChat backend for lager.
• lager_loggly: Loggly backend for lager.
• lager_smtp: SMTP backend for lager.
• lager_slack: Simple Slack backend for lager.
• logplex: Heroku log router.

Miscellaneous

Useful libraries or tools that don't fit in the categories above.

• erlang-history: Hacks to add shell history to Erlang's shell.
• erlias: A utility to create alias modules to other modules (not a parse transform).
• erld: erld is a small program designed to solve the problem of running Erlang programs as a UNIX daemon.
• erlmacs: erld is a simple script to update your .emacs file for Erlang development.

Monitoring

Libraries for gathering metrics and monitoring.

• entop: A top-like Erlang node monitoring tool.
• eper: A loose collection of Erlang Performance related tools.
• erlubi: This is a simple visualizer for erlang systems using Ubigraph.

  
  
• exometer: An Erlang instrumentation package.

  
  
• folsom: An Erlang based metrics system inspired by Coda Hale's metrics.

  
  
• mutop: Munin real-time monitoring tool, using multiple hosts and displaying in command-line using curses library.

  
  

• 🟊 observer - Observer, tools for tracing and investigation of distributed systems

• statsderl: A statsd Erlang client.
• vmstats: Tiny Erlang app that works in conjunction with statsderl in order to generate information on the Erlang VM for graphite logs.

Networking

Libraries and tools for using network related stuff.

• barrel_tcp: a generic TCP acceptor pool with low latency in Erlang.
• gen_rpc: A scalable RPC library for Erlang-VM based languages.
• gen_tcp_server: A library that takes the concept of gen_server and introduces the same mechanics for operating a TCP server.
• gossiperl: Language agnostic gossip middleware and message bus written in Erlang.
• nat_upnp: Erlang library to map your internal port to an external using UNP IGD.
• ranch: Socket acceptor pool for TCP protocols.
• natter: Erlang XMPP Client.
• condor: Condor is a minimal library for building scalable TCP servers in Erlang.
• inet_cidr: CIDR erlang library.
• erlang-nat: Implements NAT handling facilities for Erlang applications.
• sieve: sieve is a simple TCP routing proxy (layer 7) in Erlang.
• socat: Command line utility to cat files via network socket.
• sockerl: Library for implementing servers, clients and client pool in TCP protocols.

  
  
• lorawan-server: Compact server for private LoRaWAN networks.

  
  

ORM and Datamapping

Libraries that implement object-relational mapping or datamapping techniques.

• boss_db: A sharded, caching, pooling, evented ORM for Erlang.

  
  
• couchdb: Document oriented database.

  
  
• datalog: Datalog is a query language based on the logic programming paradigm. The library is designed to formalize relation of n-ary streams.

  
  
• erlog: Erlog is an Erlang implemented Datalog.

  
  
• erlquery: Erlang like, database agnostic DSL for composing queries.

  
  
• esync: Simple tool to sync files.

  
  
• merle: An Erlang Memcached Client.

  
  

Package Management

Libraries and tools for package and dependency management.

• hex.pm - A package manager for the Erlang ecosystem.

Profiling

• 🟊 cprof - The cprof module is used to profile a program to find out how many times different functions are called.

• 🟊 eprof - A Time Profiling Tool for Erlang

• 🟊 fprof - A Time Profiling Tool using trace to file for minimal runtime performance impact.

Queue

Libraries for working with event and task queues.

• dq: Distributed Fault Tolerant Queue library.

  
  
• ebqueue: Tiny simple blocking queue in Erlang.

  
  
• pqueue: Erlang Priority Queues.

  
  
• tinymq: A diminutive, in-memory message queue for Erlang.

  
  
• couch_zmq: zeromq endpoint for couchdb.

  
  

Queueing Systems

Implementation of queueing and bus systems.

• bondy: A WAMP (Web Application Messaging Protocol) Implementation in Erlang.
• rabbitmq-server: An implementation of AMQP in Erlang.
• vernemq: An MQTT Broker in Erlang

Rebar3 Plugins

• rebar3_elixir_compile: Elixir rebar3 compiler plugin
• port_compiler: A rebar3 port compiler
• rebar3_cuttlefish: Cuttlefish plugin for rebar3
• rebar3_lint: Erlang linter - rebar3 plugin.
• rebar3_erlydtl_plugin: Rebar3 Erlydtl Plugin.

  
  
• rebar3_gpb_plugin: A rebar3 plugin for automatically compiling .proto files using the gpb protobuf compiler.
• rebar3_proper: Run PropEr test suites with rebar3.
• rebar3_auto: Rebar3 plugin to auto compile and reload on file change.
• rebar3_hank: The Erlang Dead Code Cleaner
• rebar3_ex_doc: rebar3 plugin for generating docs with ex_doc.
• rebar3_cargo: Rebar3 plugin to build Rust crates.

  
  
• rebar3_archive_plugin: Create Erlang Code archives (.ez).
• rebar3_vendor: Rebar3 Vendor Plugin.

REST and API

Libraries and web tools for developing REST-ful APIs.

• echohttp: simple service echoing any requests.
• leptus: Leptus is an Erlang REST framework that runs on top of cowboy.
• rooster: Rooster is a lightweight REST framework that runs on top of mochiweb.

Release Management

Libraries and tools for release management.

• relx: A release assembler for Erlang.

Templating

Templating system

• aihtml: A simple html render libary more than Mustache Template Compiler.

  
  
• bbmustache: Binary pattern match Based Mustache template engine for Erlang/OTP.

  
  
• beard: Mustache inspired, performant templating solution for Erlang.

  
  
• brim: HTML templating library.
• dactyl: String templating library for Erlang

  
  
• ehtml5: Simple Erlang Template Engine.

  
  
• elk.erl: Erlang implementation of Mustache, logic-less template engine.

  
  
• erlang-mustache: Implementation of mustache templating in Erlang.

  
  
• erlydtl: ErlyDTL compiles Django Template Language to Erlang bytecode.
• etcher: An Erlang implementation of the Django Template Language.

  
  
• jaderl: An implementation of the Jade templating language in Erlang.
• mustache.erl: An Erlang port of Mustache for Ruby.
• roni: Erlang string templating with macaroni-filled syntax.

  
  
• sgte: an Erlang template Engine for generating structured output (code, html web pages, xml, emails, csv files, etc...).

  
  
• stache: Mustache Template Language for Erlang.

  
  
• swirl: swirl is the Erlang port of whiskers.js template library.

  
  
• template_compiler: Dynamic template compiler for Erlang (complete rewrite of the erlydtl fork used in Zotonic).

  
  
• templaterl: Simple and fast templating with customizable expressions in Erlang.

  
  
• walrus: A mustache-like templating.

Security

Security related projects in Erlang.

• erlang-jose: JSON Object Signing and Encryption (JOSE) for Erlang and Elixir.
• erlpass: A library to handle password hashing and changing in a safe manner, independent from any kind of storage whatsoever.

Testing

Libraries for testing codebases and generating test data.

• ct_helper: Helper modules for common_test suites.

  
  

• 🟊 common_test - A framework for automated testing of any target nodes.

• damocles: An Erlang library for generating adversarial network conditions for QAing distributed applications/systems on a single Linux box.

  
  

• 🟊 eunit - This module is the main EUnit user interface.

• ponos: Ponos is a simple yet powerful erlang application used to generate load at configurable frequencies. It's designed to be lightweight, straight forward to use and to require minimal configuration.

  
  
• proper: A QuickCheck-inspired property-based testing tool for Erlang.

  
  
• tracerl: Dynamic tracing tests and utilities for Erlang/OTP.

  
  
• bookish_spork: Erlang/Elixir library for testing HTTP requests

  
  

Text and Numbers

Libraries for parsing and manipulating text and numbers.

• base62: Base 62 Encode and Decode for Erlang.

  
  
• eql: Erlang with SQL or not.

  
  
• fakerl: Erlang application for generating fake data.

  
  
• qsp: Enhanced query string parser for Erlang.

  
  

• 🟊 leex - A regular expression based lexical analyzer generator for Erlang, similar to lex or flex.

• NumEr: Numeric Erlang - vector and matrix operations with CUDA. Heavily inspired by Pteracuda.

  
  
• piqi-erlang: Protocol Buffers, JSON, XML data serialization system for Erlang.

  
  
• qrcode: QR Code encoder in Erlang.

  
  
• sgte: sgte is an Erlang template Engine for generating structured output (code, html web pages, xml, emails, csv files, etc...).

  
  
• uuid: an implement of UUID.

  
  

• 🟊 yecc - An LALR-1 parser generator for Erlang, similar to yacc. Takes a BNF grammar definition as input, and produces Erlang code for a parser.

Asciidoc

• asciideck: Asciidoc for Erlang.

BERT

• aberth: Generic BERT-RPC server in Erlang.
• bert: BERT and BERT-RPC
• bert.erl: Erlang BERT encoder/decoder.

BSON

• bson: A strict, stand-alone BSON implementation for Erlang.
• bson-erlang: BSON documents in Erlang.
• ebson: BSON Support for Erlang.
• erlbison: Erlbison is an Erlang library to work with BSON files. Its discerning feature is its attempt to do as much work as possible at the binary level, without translating the data to native Erlang data structure unless when absolutely necessary, in order to maximize performance.
• nbson: Erlang BSON encoder/decoder.

CBOR

• cbor-erlang: cbor encoder/decoder in Erlang.
• erlang_cbor: Erlang implementation of Concise Binary Object Representation (CBOR), RFC 7049.

CVS

• ecsv: ecsv is a simple Erlang CSV parser able to read a file or string and sending back to an erlang process events when a line is parsed.

HTML

• hterl: An Erlang extension which adds HTML tags to the expression syntax.
• htmerl: HTML Parser in Erlang.
• mochiweb_xpath: XPath support for mochiweb's html parser.
• trane: SAX style broken HTML parser in Erlang.

INI

• zucchini: An Erlang INI parser.

JSON

• erl-json: An implementation of the JSON data format in Erlang.

  
  
  
• ejsv: Erlang JSON schema validator.

  
  
• erlang-rfc4627: Erlang RFC4627 (JSON) codec and JSON-RPC server implementation.

  
  
• euneus: An incredibly flexible and performant JSON parser and generator.

  
  
• jiffy: JSON NIFs for Erlang.

  
  
• jsx: An erlang application for consuming, producing and manipulating json.

  
  
• miffy: Jiffy wrapper which returns pretty maps.

  
  
• rec2json: Generate JSON encoder/decoder from record specs.

  
  
• thoas: A blazing fast JSON parser and generator in pure Erlang.

  
  
• simdjson_erlang: simdjson bindings for erlang

  
  
• simdjsone: Erlang Fast JSON parser

  
  

Markdown

• erlang_markdown: Markdown parser written in Erlang.

Protobuf

• erlang_protobuffs: An implementation of Google's Protocol Buffers for Erlang.

  
  
• gpb: A Google Protobuf implementation for Erlang.

  
  
• proterlang: A protobuf library and compiler for Erlang.

  
  
• ProtobufTool: protobuf tools in Erlang.

  
  

TOML

• etoml: A pure Erlang parser for TOML.

  
  
• toml: Erlang TOML parser.

  
  
• tomerl: Erlang TOML Parser.

  
  
• tomle: TOML in Erlang.

  
  

XML

• erlsom - Erlsom is an Erlang library to parse (and generate) XML documents.

• exml - XML parsing library in Erlang

• exmlrpc - An HTTP 1.1 compliant XML-RPC library for Erlang

• erlxml - erlxml - Erlang XML parsing library based on pugixml

• fast_xml - Fast Expat based Erlang XML parsing and manipulation library, with a strong focus on XML stream parsing from network.

• parsexml - Simple DOM XML parser with convenient and very simple API

• 🟊 xmerl - xmerl XML parser is able to parse XML documents according to the XML 1.0 standard. As default it performs well-formed parsing, (syntax checks and checks of well-formed constraints).

• xmlrpc - Erlang XML-RPC library by Joakim Grebenö

• xqerl - Erlang XQuery 3.1 Processor

YAML

• fast_yaml: Fast YAML native library for Erlang / Elixir.

  
  
• yamerl: YAML 1.2 and JSON parser in pure Erlang.

  
  
• yval: YAML validator.

  
  
• yconf: YAML configuration processor.

  
  
• yeml: Erlang YAML library.

  
  

Third Party APIs

Libraries for accessing third party APIs.

• google-token-erlang: Google ID token verifier for Erlang.

  
  
• oauth2_client: An Erlang oAuth 2 client (uses restc).

  
  
• restclient: An Erlang REST client.

  
  

Translations and Internationalizations

Libraries providing translations or internationalizations.

• erli18n: GNU gettext-compatible internationalization (i18n) library for Erlang/OTP, in pure Erlang.

  
  

Web Frameworks

Web development frameworks.

• axiom: A micro-framework, inspired by Ruby's Sinatra.

  
  
• ChicagoBoss: A server framework inspired by Rails and written in Erlang.

  
  
• chloe: A realtime web server that doesn't suck... or at least won't suck when it's finished.

  
  
• erlyweb: The Erlang twist on web frameworks.

  
  
• giallo: A small and flexible web framework on top of cowboy.

  
  
• mochiweb: An Erlang library for building lightweight HTTP servers.

  
  
• n2o: WebSocket Application Server.

  
  
• nitrogen: Framework to build web applications (including front-end) in pure Erlang.

  
  
• nova: Nova makes it simple to build a fault-tolerant and distributed web application.

  
  
• ryan: Ryan is a Reia/Erlang BEAM based web framework. It allows you to create web applications with clean and short code.

  
  
• zotonic: High speed, real-time web framework and content management system.

  
  

Web Framework Components

Standalone component from web development frameworks.

• canister: A distributed session management system.
• cb_admin: An admin interface for Chicago Boss.
• cb_websocket_controller: A template for implementing a Websocket controller for ChicagoBoss.
• giallo_session: A session management library for the Giallo web framework.
• simple_bridge: An abstraction layer providing a unified interface to popular Erlang web servers (Cowboy, Inets, Mochiweb, Webmachine, and Yaws).

Applications

Applications built with Erlang.

• eradio: An Erlang HTTP server which streams data to multiple clients, lossily time-synchronized with low latency.

Resources

Various resources, such as books, websites and articles, for improving your Erlang development skills and knowledge.

Articles

• 2008: concurrent patterns: parallels in system and language design by Jason Dusek

Books

Fantastic books and e-books.

• Programming Erlang: Software for a Concurrent World by Joe Armstrong

• Building Web Applications with Erlang: Working with REST and Web Sockets on Yaws by Zachary Kessin

• Introducing Erlang: Getting Started in Functional Programming by Simon St. Laurent

• Handbook of Neuroevolution Through Erlang by Gene I. Sher

• Erlang Programming: A Concurrent Approach to Software Development by Francesco Cesarini and Simon Thompson

• Erlang and OTP in Action by Martin Logan, Eric Merritt and Richard Carlsson

• Designing for Scalability with Erlang/OTP: Implement Robust, Fault-Tolerant Systems by Francesco Cesarini and Steeve Vinoski

• Erlang and Elixir for Imperative Programmers - Introduction to Erlang and Elixir in the context of functional concepts by Wolfgang Loder (2016)

• Learn You Some Erlang - Learn you some Erlang - for great good! A very thorough resource covering everything from beginning Erlang programming to large-scale development and deployment.

• Property-Based Testing with PropEr, Erlang, and Elixir: Find Bugs Before Your Users Do by Fred Hebert

• Études For Erlang by David J. Eisenberg

• Stuff Goes Bad - ERLANG IN ANGER - This book intends to be a little guide about how to be the Erlang medic in a time of war.

• The BEAM Book by Erik Stenman et al. - This is an attempt to document the internals of the Erlang runtime system and the Erlang virtual machine known as the BEAM.

• The Erlanger Playbook by Loïc Hoguin

• Erlang and Elixir for Imperative Programmers by Wolfgang Loder

• Build It With Nitrogen: The Fast-Off-the-Block Erlang Web Framework (ISBN) by Lloyd R. Prentice and Jesse Gumm

• Concurrent Programming in Erlang (2nd Edition) by Robert Virding, Claes Wikstrom and Mike Williams

• Erlang Programming

Community

Erlang-related communities, meetups, chats and forums

• Erlang Ecosystem Foundation (EEF) slack - Supporting the next generation of advanced, reliable, realtime applications. The Erlang Ecosystem Foundation is a 501(c)(3) not-for-profit organization

• Erlang Forums - Discussion about Erlang and other languages running on the Erlang VM.

• Erlang Mailinglists

• Erlang IRC - Discussion about Erlang and other languages running on the Erlang VM.

• Slack/bondy

• Slack/erlanger

• Erlang Bug Report - official Erlang bug reporting tool

• GenServer.social - A place for Erlang and Elixir folks to hangout in the Fedi but all are welcome.

Erlang Reading

Erlang-related reading materials.

• The Joy of Erlang; Or, How To Ride A Toruk - The Joy of Erlang; Or, How To Ride A Toruk A fast track introduction to Erlang that teaches the language by walking through a few example projects.

Installers (and Packagers)

Erlang unofficial installers and packagers used by different communities to install/package it

Docker

• erlang: Docker community maintained image

Linux/ArchLinux

• package

Linux/Alpine

• Erlang package
• Erlang aports
• build logs
• content of package

Linux/Debian

• Erlang package (experimental)

• Erlang package (sid)

• Erlang package (13/trixie)

• Erlang package (12/bookworm)

• Erlang package (11/bulleye)

• Erlang package (10/buster)

• Debian Package Tracker

• Debian Bug Tracker

Linux/Fedora

• Erlang package
• build history
• bug tracker
• build tracker

Linux/Gentoo

• Erlang package
• bug tracker
• build logs

Linux/NixOS

• Erlang package

Linux/Ubuntu

• Erlang package (23.10/mantic)

• Erlang package (23.04/lunar)

• Erlang package (22.10/kinetic)

• Erlang package (22.04/jamm)

• Erlang package (20.04/focal)

• Ubuntu Bug Tracker

Linux/Void

• Erlang package

Microsoft Windows

• Unofficial Erlang package from NuGet (deprecated) Installing Erlang on Windows with NuGet.

• Unofficial Erlang package from scoop.it - Installing Erlang on Windows with Scoop.it.

• Unofficial Erlang package from chocolatey - Installing Erlang on Windows with Chocolatey.

Apple MacOS

• Unofficial Erlang package from Homebrew - Installing Erlang on MacOS with Homebrew.

• Unofficial Erlang package from MacPorts - Installing Erlang on MacOs with MacPorts.

FreeBSD

• Erlang FreeBSD port - Installing Erlang on FreeBSD

OpenBSD

• Erlang OpenBSD port - Installing Erlang on OpenBSD

NetBSD

• Erlang NetBSD package - Installing Erlang on NetBSD

DragonFlyBSD

• Erlang DragonFlyBSD dports - Installing Erlang on DragonFlyBSD

Android

• Erlang termux package - Installing Erlang on Android with termux.

Publications

Erlang-related academic and scientific materials

Academic paper summary (1184)

date	#papers
2024	38
2023	43
2022	34
2021	24
2020	31
2019	45
2018	63
2017	65
2016	59
2015	52
2014	54
2013	87
2012	60
2011	90
2010	65
2009	42
2008	33
2008	1
2007	39
2006	22
2005	33
2004	21
2003	16
2002	22
2001	9
2000	13
1999	7
1998	6
1997	6
1996	13
1995	7
1994	2
1992	2
1990	1
1989	1

• see also: https://erlef.org/academic-papers/

• 2025: NVLang: Unified Static Typing for Actor-Based Concurrency on the BEAM by Miguel de Oliveira Guerreiro

• 2025: A Stop-the-World Debugger for Erlang (and the BEAM) by Daniel Gorin, Bjorn Gustavsson and Roberto Aloi

• 2025: Correct Black-Box Monitors for Distributed Deadlock Detection: Formalisation and Implementation (Technical Report) by RADOSŁAW JAN ROWICKI, ADRIAN FRANCALANZA and ALCESTE SCALAS,

• 2024: User Space SCTP Integration in Erlang for Containerized Telecom Applications by WILLIAM ASP

• 2024: Green computing for Erlang by Gharbi Youssef, István Bozó and Melinda Tóth

• 2024: Analysing the Energy Usage of the Erlang BEAM by Gharbi Youssef, Melinda Tóth and István Bozó

• 2024: Sensor fusion for three-dimensional movement of human beings on an Internet of Things network by Sonnet, Hadrien

• 2024: Strategies for managing per-process memory in Erlang by Qiang Xu

• 2024: Program Equivalence in the Erlang Actor Model by Peter Bereczky, Daniel Horpácsi and Simon Thompson

• 2024: A New Architecture Reconciling Refactorings and Transformations by Balša Šarenac, Nicolas Anquetil, Stéphane Ducasse and Pablo Tesone

• 2024: HotCI: An automated tool for reliable software upgrade/downgrade in Erlang OTP by Alexandre Zenon

• 2024: Erlang on TOAST: Generating Erlang Stubs with Inline TOAST Monitors by Jonah Pears, Laura Bocchi and Raymond Hu

• 2024: A monitoring tool for linear-time μHML by Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Léo Exibard, Adrian Francalanza and Anna Ingólfsdóttir

• 2024: Same Same but Different: A Comparative Analysis of Static Type Checkers in Erlang by Florian Berger, Albert Schimpf, Annette Bieniusa and Stefan Wehr

• 2024: Towards Correct Dependency Orders in Erlang Upgrades by Daniel Ferenczi and Melinda Tóth

• 2024: Is This Really a Refactoring? Automated Equivalence Checking for Erlang Projects by Bendegúz Seres, Dániel Horpácsi and Simon Thompson

• 2024: Modeling Erlang Compiler IR as SMT Formulas by John Högberg

• 2024: Local Type Argument Synthesis for Erlang by DAVID PAVLÍK

• 2024: Dynamic balancing in the real world with GRiSP by Goens, François and Ponsard, Cédric

• 2024: Speak Now - Safe Actor Programming with Multiparty Session Types by SIMON FOWLER and RAYMOND HU

• 2024: Unsafe Impedance: Safe Languages and Safe by Design Software by Lee Barney and Adolfo Neto

• 2024: Fault-Tolerant Distributed Declarative Programs by Jörg, Moritz

• 2024: Runtime Instrumentation for Reactive Components (Extended Version) by Luca Aceto, Duncan Paul Attard, Adrian Francalanza and Anna Ingólfsdóttir

• 2024: Advanced Join Patterns for the Actor Model based on CEP Techniques by Humberto Rodriguez Avila, Joeri De Koster and Wolfgang De Meuter

• 2024: ReverCSP: Time-Travelling in CSP Computations by Carlos Galindo , Naoki Nishida , Josep Silva , and Salvador Tamarit

• 2024: Reversible Debugging of Erlang Programs in CauDEr by Ivan Lanese and Germán Vidal

• 2024: GRAPH-BASED DUPLICATED CODE DETECTION WITH RefactorErl by Isvtan Bozo, Zsofia Erdei and Melinda Toth

• 2024: Safe Process State Upgrades Through Static Analysis by Daniel Ferenczi and Melinda Tóth

• 2024: Practical Steps towards Establishing an Underwater Acoustic Network in the Context of the Marine Internet of Things by Konstantin Kebkal , Aleksey Kabanov , Oleg Kramar , Maksim Dimin , Timur Abkerimov , Vadim Kramar and Veronika Kebkal-Akbari

• 2024: Clear Programming Language: Connecting Refinement Types With Generators for Property-Based Testing by Triera Gashi

• 2024: Effective integration of low-cost digital manufacturing systems: a reference architecture driven approach by J. Kaiser , G. Hawkridge , D. McFarlane , F. Schnicke and K. Kruger

• 2024: Nominal Types for Erlang by Jiaxuan (Isabell) Huang

• 2024: TOWARDS EFFICIENT ERLANG-BASED JOB-APPLICANT MATCHING: INTEGRATING SERESYE, SEMANTIC WEB TOOLKIT, AND MCDM by Miloud Eloumri

• 2024: Spatiotemporal Data Access for Map Services based on R-star tree index and LSM tree by Emil Gatiala, Zoltán Balogh and Sepideh Hassankhani Dolatabadi

• 2024: Controlling everyday life objects using the Hera platform on GRiSP2.0: The movement_detection application by Isenguerre, Nicolas

• 2024: Identifying Concurrent Behaviours in Erlang Legacy Systems by Zsófia Erdei, Melinda Tóth, István Bozó

• 2024: Reversible debugging of concurrent Erlang programs: Supporting imperative primitives by Pietro Lami, Ivan Lanese, Jean-Bernard Stefani, Claudio Sacerdoti Coen, Giovanni Fabbretti

• 2024: Erlang: Application-Aware Autoscaling for Cloud Microservices by Vighnesh Sachidananda and Anirudh Sivaraman

• 2024: A monitoring tool for linear-time 𝜇HML by Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Léo Exibard, Adrian Francalanza, Anna Ingólfsdóttir

• 2024: Effective integration of low-cost digital manufacturing systems: a reference architecture driven approach by J. Kaisera, G. Hawkridgea, D. McFarlanea, F. Schnickeb and K. Kruger

• 2024: Design and implementation of power communication protocol plug-in based on hot loading by Weiming Qin, Wenjing Guo, Jingwen Lin, Jiahao Li, Xuerui Chen, Xinsu Mei, Wei Zhang

• 2024: Bridging Between Active Objects: Multitier Programming for Distributed, Concurrent Systems by Guido Salvaneschi & Pascal Weisenburger

• 2023: Designing Distributed Systems that Scale by Harry Bairstow

• 2023: MULTIPLAYER MODULE FOR SCIENCE4PANDEMICS’ GAME by João Rafael Santos Calhau

• 2023: X.509 Certificate-Based Authentication for NETCONF and RESTCONF Design Evaluation between Native and External Implementation by Qi Li

• 2023: A Frame Stack Semantics for Sequential Core Erlang by Péter Bereczky, Dániel Horpácsi and Simon Thompson

• 2023: Runtime Monitoring for Asynchronous Reactive Components by Duncan Paul Attard

• 2023: Advanced Programming Language Concepts (course slides) by Peter Van Roy

• 2023: X.509 Certificate-Based Authentication for NETCONF and RESTCONF: Design Evaluation between Native and External Implementation, by Li Qi

• 2023: An Anomaly Detection System For Subscriber Activities In Private Networks, by MARTINI, FRANCESCO

• 2023: A Formalisation of Core Erlang, a Concurrent Actor Language by Péter Bereczky, Dániel Horpácsi and Simon Thompson

• 2023: Static analysis for safe software upgrade by Dániel Ferenczi, Melinda Tóth

• 2023: Generation and Refinement of Testing Models by Luis Eduardo Bueso de Barrio, Lars-Åke Fredlund, Clara Benac Earle, Ángel Herranz and Julio Mariño

• 2023: Gaining trust by tracing security protocols by Lars-Åke Fredlund, Clara Benac Earle, Thomas Arts and Hans Svensson

• 2023: Gesture recognition by pattern matching using sensor fusion on an internet of things device by Sébastien Gios

• 2023: Ultra-wideband for internet of things by Gwendal Laurent

• 2023: Low-cost high-speed sensor fusion with GRiSP and Hera by Lucas Nélis

• 2023: Deep Learning-Based Refactoring with Formally Verified Training Data by Balázs Szalontai, Szalontai, Péter Bereczky and Dániel Horpácsi

• 2023: A Semantics of Core Erlang with Handling of Signals by Aurélie Kong Win Chang, Jérôme Feret and Gregor Gössler

• 2023: Event-Driven Multiparty Session Actors by Simon Fowler

• 2023: Bppchecker: An Smt-Based Model Checker on Basic Parallel Processes

• 2023: Toward Automatic Generation of an Optimal Supervision Tree in Erlang by Shoichi Sasaki, Yoshiaki Takata

• 2023: Reversibility in Erlang: Imperative Constructs - Technical Report by Pietro Lami, Ivan Lanese, Jean-Bernard Stefani, Claudio Sacerdoti Coen, Giovanni Fabbretti

• 2023: Design-first framework for REST API development in Erlang by Garea Cidre, Javier

• 2023: Development of software for monitoring the parameters of communication networks and server hardware by E.E. Istratova

• 2023: TLS the Erlang/OTP Way (Experience Report) by Authors: Ingela Anderton Andin, Raimo Niskanen, Péter Dimitrov and Kiko Fernandez-Reyes

• 2023: Typing OTP design patterns with session types by Farrugia, Adrian

• 2023: A Frame Stack Semantics for Sequential Core Erlang by Péter Bereczky, Dániel Horpácsi, Simon Thompson

• 2023: Pour Some Sugar on Bits: Flexible Manipulation of Bit Streams in Erlang ∗ by Per Gustafsson and Konstantinos Sagonas

• 2023: Static analysis for safe software upgrade∗ by Dániel Ferencia , Melinda Tóth

• 2023: Auction-Based Job Scheduling for Smart Manufacturing by Emil Gatial, Zoltán Balogh, Sepideh Hassankhani Dolatabadi, Hatem Ghorbel, Stefano Carrino, Jonathan Dreyer, Vicente Rodríguez Montequín, Adrian Gligor and Laszlo Barna Iantovics

• 2023: Analysis Techniques for Software Maintenance by Pérez Rubio, S.

• 2023: Transparent Actor Model by Fatemeh Ghassemi, Marjan Sirjani, Ehsan Khamespanah, Mahrokh Mirani and Hossein Hojjat

• 2023: Gaining trust by tracing security protocols by Lars-Åke Fredlund, Clara Benac Earle, Thomas Arts and Hans Svensson

• 2023: Understanding code smells in Elixir functional language by Lucas Francisco da Matta Vegi and Marco Tulio Valente

• 2023: Program equivalence in an untyped, call-by-value functional language with uncurried functions by Dániel Horpácsi, Péter Bereczky and Simon Thompson

• 2023: An Axiomatic Theory for Reversible Computation by Ivan Lanese, Iain Phillips and Irek Ulidowski

• 2023: Blockchain based Secure Erlang Server for Request based Group Communication over XMPP by Johnpaul C I, Manojkumar Vivekanandan, Praveen Kumar Premkamal and Ramya R

• 2023: A Behavioral Theory For Crash Failures and Erlang-style Recoveries In Distributed Systems by Giovanni Fabbretti, Ivan Lanese and Jean-Bernard Stefani

• 2023: Data transmission using secure hybrid techniques for smart energy metering devices by Gudapati Ramyasri, G Ramana Murthy, Srikanth Itapu and S Mohan Krishna

• 2023: Special Delivery by SIMON FOWLER, DUNCAN PAUL ATTARD, FRANCISZEK SOWUL, SIMON J. GAY and PHIL TRINDER

• 2023: Adopting the Actor Model for Antifragile Serverless Architectures by Marcel Mraz, Hind Bangui, Bruno Rossi and Barbora Buhnova

• 2023: Evolving distributed embedded applications during operation by Kilian Telschig

• 2023: A formal semantics for agent distribution and fault tolerance in Jason by Álvaro Fernández Díaz, Lars-Åke Fredlund, Clara Benac-Earle and Julio Mariño

• 2023: Parallelized Cyber Reconnaissance Automation: A Real-Time and Scheduled Security Scanner by Malek Malkawi and Reda Alhajj

• 2023: Seaplus: Streamlining a safe execution of C/C++ code from Erlang by Olivier Boudeville

• 2023: Set-theoretic Types for Erlang by Albert Schimpf, Stefan Wehr, Annette Bieniusa

• 2023: Communicating Actor Automata -- Modelling Erlang Processes as Communicating Machines by Dominic Orchard, Mihail Munteanu, Paulo Torrens

• 2023: A Behavioral Theory For Crash Failures and Erlang-style Recoveries In Distributed by Giovanni Fabbretti, Ivan Lanese and Jean-Bernard Stefani

• 2023: MUTATION TESTING IN FUNCTIONAL PROGRAMMING by Hopia, Tuomo

• 2022: Comparison and proof of the fastest way of the sorting algorithm by functional programming in Erlang by Abbas Jkhayyir Kadhim

• 2022: BORDER: a Benchmarking Framework for Distributed MQTT Brokers and Edoardo Longo, Alessandro E.C. Redondi, Matteo Cesana, and Pietro Manzoni

• 2022: The best of both worlds Fast numerical computation in Erlang by Lylian B RUNET and Basile C OUPLET

• 2022: Numerl: Efficient Vector and Matrix Computation for Erlang by Tanguy Losseau

• 2022: Reversibility in Erlang: Imperative Constructs - Technical Report Pietro Lami, Ivan Lanese, Jean-Bernard Stefani, Claudio Sacerdoti Coen and Giovanni Fabbretti

• 2022: CAEFL: composable and environment aware federated learning models by Ruomeng (Cocoa) Xu, Anna Lito Michala and Phil Trinder

• 2022: STARS: Websocket Design and Implementation by Penidas Fiodinggo Tanaem, Augie David Manuputty and Agustinus Fritz Wijaya

• 2022: Future Possibilities and Effectiveness of JIT from Elixir Code of Image Processing and Machine Learning into Native Code with SIMD Instructions by Susumu, Yamazaki

• 2022: Design of Elixir-Based Edge Server for Responsive IoT Applications by Yushan Li and Satoshi Fujita

• 2022: Code smells in Elixir: early results from a grey literature review by Lucas Francisco da Matta Vegi and Marco Tulio Valente

• 2022: Vision for a secure Elixir ecosystem: an empirical study of vulnerabilities in Elixir programs by Dibyendu Brinto Bose, Kaitlyn Cottrell and Akond Rahman

• 2022: Multiparty-session-types Coordination for Core Erlang by Lavinia EGIDI, Paola GIANNINI and L Ventura

• 2022: eqWAlizer: scaling Erlang development at WhatsApp with static typing (keynote) by Ilya Klyuchnikov

• 2022: Generation of a Reversible Semantics for Erlang in Maude by Giovanni Fabbretti, Ivan Lanese and Jean-Bernard Stefani

• 2022: Reversible Computing in Debugging of Erlang Programs by Ivan Lanese, Ulrik P. Schultz and Irek Ulidowski

• 2022: Troubleshooting the performance of a large Erlang system by Nikos Tsikoudis and Marc Sugiyama

• 2022: Set-theoretic Types for Erlang by Albert Schimpf, Stefan Wehr and Annette Bieniusa

• 2022: Static Checking of Concurrent Programs in Elixir Using Session Types by Gerard Tabone Adrian Francalanza

• 2022: Persisting the AntidoteDB Cache: Design and Implementation of a Cache for a CRDT Datastore by Ayush Pandey, Annette Bieniusa and Marc Shapiro

• 2022: Doing large-scale computations on an Internet of Things network by Julien BANKEN and Nicolas X ANTHOS

• 2022: A Holonic Human Cyber-Physical System in Healthcare by Travis Wade Defty

• 2022: Tutorial on systems with antifragility to downtime by Kjell Jørgen Hole

• 2022: A compositional theory of protocol engineering by Laura Bocchi, Dominic Orchard, and Laura Voinea

• 2022: A reliability benchmark for actor-based server languages by Aidan Randtoul and Phil Trinder

• 2022: Session Fidelity for ElixirST: A Session-Based Type System for Elixir Modules by Gerard Tabone and Adrian Francalanza

• 2022: Lesser Evil: Embracing Failure to Protect Overall System Availability by Viktória Fördős and Alexandre Jorge Barbosa Rodrigues

• 2022: InfERL: scalable and extensible Erlang static analysis by Ákos Hajdu, Matteo Marescotti, Thibault Suzanne, Ke Mao, Radu Grigore, Per Gustafsson and Dino Distefano

• 2022: PerformERL: a performance testing framework for erlang by Walter Cazzola , Francesco Cesarini and Luca Tansini

• 2022: Troubleshooting the performance of a large Erlang system by Nikos Tsikoudis, Marc Sugiyama

• 2022: Reversibility in Erlang: Imperative Constructs - Technical Report by Pietro Lami, Ivan Lanese, Jean-Bernard Stefani, Claudio Sacerdoti Coen and Giovanni Fabbretti

• 2022: Computing Race Variants in Message-Passing Concurrent Programming with Selective Receives by Germán Vidal

• 2022: Program Equivalence in an Untyped, Call-by-value Lambda Calculus with Uncurried Recursive Functions by Dániel Horpácsi, Péter Bereczky and Simon Thompson

• 2022: A Theory of Composing Protocols by Laura Bocchi, Dominic Orchard and A. Laura Voinea

• 2022: Generation of a Reversible Semantics for Erlang in Maude by Giovanni Fabbretti, Ivan Lanese and Jean-Bernard Stefani

• 2022: Reversibility in Erlang: Imperative Constructs by Pietro Lami, Ivan Lanese, Jean-Bernard Stefani, Claudio Sacerdoti Coen and Giovanni Fabbretti

• 2022: Reversible Computing in Debugging of Erlang Programs by Ivan Lanese, Ulrik Schultz and Irek Ulidowski

• 2021: On Benchmarking for Concurrent Runtime Verification by Luca Aceto, Duncan Paul Attar, Adrian Francalanza and Anna Ingólfsdóttirdn

• 2021: Causal-Consistent Debugging of Distributed Erlang Programs by Giovanni Fabbretti, Ivan Lanese and Jean-Bernard Stefani

• 2021: Bidirectional typing for Erlang by Nithin Vadukkumchery Rajendrakumar and Annette Bieniusa

• 2021: Text Mining Infrastructure in Erlang by Abbas Jkhayyir Kadhim

• 2021: Program Equivalence in Sequential Core Erlang Dániel HorpácsiPéter Bereczky

• 2021: The Hera framework for fault-tolerant sensor fusion on an Internet of Things network with application to inertial navigation and tracking Kalbusch, Sébastien ; Verpoten, Vincent

• 2021: A unified framework for declarative debugging and testing by Rafael Caballero, Enrique Martin-Martin, Riesco, Adrián and Salvador Tamarit

• 2021: OODIDA: On-Board/Off-Board Distributed Real-Time Data Analytics for Connected Vehicles by Gregor Ulm, Simon Smith, Adrian Nilsson, Emil Gustavsson and Mats Jirstrand

• 2021: A Design Approach for Software Robustness by Feng-Cheng Chang and Hsiang-Cheh Huang

• 2021: Open-Source MQTT Evaluation by Melvin Bender, Erkin Kirdan, Marc-Oliver Pahl and Georg Carle

• 2021: Causal-Consistent Reversible Debugging: Improving CauDEr by Juan José González-Abril and Germán Vidal

• 2021: Detecting oxbow code in Erlang codebases with the highest degree of certainty by Fernando Benavides Rodríguez and Laura M. Castro

• 2021: Refactoring for introducing and tuning parallelism for heterogeneous multicore machines in Erlang by Vladimir Janjic, Christopher Brown, Adam Barwell and Kevin Hammond

• 2021: Fifteen years of successfully dialyzing Erlang and Elixir code (invited talk) by Konstantinos Sagonas

• 2021: Extending a property-based testing tool with parallel and distributed execution by Pablo Costas Sánchez

• 2021: Application of Functional Programming in the Energy Industry: A Local Energy Market Simulator Use Case and Amine Zouhair, Olivier Boudeville, Nadine Kabbara and Florian Mancel

• 2021: Enabling Processing Power Scalability with Internet of Things (IoT) Clusters by by Jorge Coelho and Luís Nogueira

• 2021: Application of Functional Programming in the Energy Industry: A Local Energy Market Simulator Case Study by Amine Zouhair, Nadine Kabbara, Olivier Boudeville and Florian Mancel

• 2021: The Hera framework for fault-tolerant sensor fusion with Erlang and GRiSP on an IoT network by Sébastien Kalbusch, Vincent Verpoten and Peter Van Roy

• 2021: Evaluating Erlang database structures for building statistics in telecommunications: Comparing non-relational and relational databases in Mnesia by Ptitsin, Anton and Jönsson, Lou

• 2021: Modified Erlang loss system for cognitive wireless networks by E.V. Morozov, S. S. Rogozin, H.Q.Nguyen and T. Phung-Duc

• 2021: Causal-Consistent Debugging of Distributed Erlang Programs - Technical Report by Giovanni Fabbretti, Ivan Lanese and Jean-Bernard Stefani

• 2021: Fifteen years of successfully dialyzing Erlang and Elixir code by Konstantinos Sagonas

• 2021: UniStore: A fault-tolerant marriage of causal and strong consistency by Manuel Bravo, Alexey Gotsman, Borja de Régil, and Hengfeng Wei

• 2021: Detecting Oxbow Code in Erlang Codebases with the Highest Degree of Certainty by Fernando Benavides Rodríguez and Laura M. Castro

• 2020: Getting Erlang to talk to C and C++ by Hal SnyderRick Pettit

• 2020: A Proof Assistant Based Formalisation of Core Erlang by Péter Bereczky, Dániel Horpácsi and Simon Thompson

• 2020: Causal-Consistent Debugging of Distributed Erlang by Giovanni Fabbretti

• 2020: Supporting Secure Coding with RefactorErl Brigitta Baranyai, István Bozó and Melinda Tóth

• 2020: Validating Formal Semantics by Property-Based Cross-Testing by Péter Bereczky, Dániel Horpácsi, Judit Kőszegi, Soma Szeier and Simon Thompson

• 2020: Clojerl: The Expressive Power of Clojure on the BEAM by Juan Facorro Natalia Chechina

• 2020: Comparison of Dynamic Software Updating Methods for IEC 61499 with Erlang by Matey Benito, Ainara

• 2020: Transformations towards Clean Functional Code by Boldizsár Poór, Melinda Tóth and István Bozó

• 2020: Behavioural APIs for Erlang processes by Zahra, Gianluca

• 2020: Beyond traditional architecture for MDO applications: the Erlang VM and its potential by C. M. Wilkinson, Nathaniel D. Bastian and Minseok Kwon

• 2020: Machine-Checked Natural Semantics for Core Erlang: Exceptions and Side Effects by Péter Bereczky, Dániel Horpácsi and Simon J. Thompson

• 2020: Secure design and verification of Erlang systems by Viktória Fördős

• 2020: Deriving overloaded success type schemes in Erlang by Francisco J. López-Fraguas, Manuel Montenegro and Gorka Suárez-García

• 2020: Orchestration of Clusters of IoT Devices with Erlang by Jorge Coelho and Luís Nogueira

• 2020: Teaching practical realistic verification of distributed algorithms in Erlang with TLA+ by Peter Zeller, Annette Bieniusa and Carla Ferreira

• 2020: Evaluation of load balancing approaches for Erlang concurrent application in cloud systems by Chanintorn Jittawiriyanukoon

• 2020: Robust Communications in Erlang by Harrison, Joseph Richard

• 2020: Software and Reversible Systems: A Survey of Recent Activities by Claudio Antares Mezzina, Rudolf Schlatte, Robert Glück, Tue Haulund, James Hoey, Martin Holm Cservenka, Ivan Lanese, Torben Æ. Mogensen, Harun Siljak, Ulrik P. Schultz, and Irek Ulidowski

• 2020: A Case Study for Reversible Computing: Reversible Debugging of Concurrent Programs by James Hoey, Ivan Lanese, Naoki Nishida, Irek Ulidowski, and Germán Vidal

• 2020: Modeling and Analysis of RabbitMQ Using UPPAAL by Ran Li, Jiaqi Yin and Huibiao Zhu

• 2020: A Comparison of MQTT Brokers for Distributed IoT Edge Computing by Heiko Koziolek, Sten Grüner and Julius Rückert

• 2020: IEC 61499 Runtime Environments: A State of the Art Comparison by Laurin Prenzel, Alois Zoitl and Julien Provost

• 2020: Push it to the Limit by Luca Aceto, Duncan Paul Attard, Adrian Francalanza, and Anna Ingólfsdóttir

• 2020: Extending a property-based testing tool with parallel and distributed execution by Costas Sánchez, Pablo

• 2020: Toward recursion aware complexity metrics by Gordana Rakić, Melinda Tóth and Zoran Budimac

• 2020: A High-Performance Distributed File System for Mass Data by Shuaiyu Jin, Qing Yan, Yue Zhang and Jie Yang

• 2020: Erlang as an alternative to a non-functional language for communication in a fault tolerant IoT sensor network pdf by Jimmy Holdö

• 2020: A Proof Assistant Based Formalisation of Core Erlang by Péter Bereczky, Dániel Horpácsi and Simon Thompson

• 2020: Teaching practical realistic verification of distributed algorithms in Erlang with TLA+ by Peter Zeller , Annette Bieniusa and Carla Ferreira

• 2020: Analysis and Evaluation of the Riak Cluster Environment in Distributed Databases by Ahmet Ercan Topcu and Aimen Rmis

• 2020: A Case Study for Reversible Computing: Reversible Debugging of Concurrent Programs by James Hoey, Ivan Lanese, Naoki Nishida, Irek Ulidowski and Germán Vidal

• 2019: Erlang as an enabling technology for resilient general-purpose applications on edge IoT networks by Igor Kopestenski and Peter Van Roy

• 2019: A core Erlang semantics for declarative debugging by Rafael Caballero, Enrique Martin-Martin, Riesco, Adrián and Salvador Tamarit

• 2019: FBBeam: An Erlang-based IEC 61499 Implementation by Laurin Prenzel andq Julien Provost

• 2019: Towards online profiling of Erlang systems by Michał Ślaski and Wojciech Turek

• 2019: Comparison of Erlang/OTP and JADE implementations for standby redundancy in a holonic controller by G. T. Hawkridge, A. H. Basson and K. Kruger

• 2019: An Evaluation of Erlang for Implementing Standby Redundancy in a Manufacturing Station Controller by Greg Hawkridge, Anton Basson and Karel Kruger

• 2019: Standby redundant control using Erlang/OTP and JADE for a manufacturing cell. by Hawkridge, Greg Thomas

• 2019: Tools supporting green computing in Erlang by Gergely Nagy, Áron Attila Mészáros, István Bozó and Melinda Tóth

• 2019: Validation of software measures for the functional programming language Erlang by Warmuth, Daniel

• 2019: Analyzing Scale-Free Properties in Erlang and Scala by Gábor Oláh, Gergely Nagy and Zoltán Porkoláb

• 2019: Using OpenAPI 3 Specifications of the 5G Core to Generate Validators in Erlang by DONATO, DAVIDE and QIN, HEYU

• 2019: Intro to web prolog for Erlangers by Torbjörn Lager

• 2019: Distributing Messages Using Rabbitmq with Advanced Message Exchanges by Madhu M and Sunanda Dixit

• 2019: Hypothesis: A new approach to property-based testing by David R. MacIver, Zac Hatfield-Dodds, and many other contributors

• 2019: A core Erlang semantics for declarative debugging by Rafael Caballero a,∗ , Enrique Martin-Martin a , Adrián Riesco a , Salvador Tamarit

• 2019: Design and implementation of a mapReduce architecture for angraDB by Marques, Fábio Costa Farias

• 2019: Analysis of Means of Simulation Modeling of Parallel Algorithms by D. V. Weins, B. M. Glinskiy and I. G. Chernykh

• 2019: xqerl_db: Database Layer in xqerl by Zachary N. Dean

• 2019: Comparing Functional Programming Languages for Parallel Applications by Alling, Simon

• 2019: Programming and verifying systems relying on attribute-based communications by DUONG, NHAT TAN

• 2019: OODIDA: On-board/Off-board Distributed Data Analytics for Connected Vehicles Gregor UlmEmil GustavssonMats Jirstrand

• 2019: An LLVM backend for the Open Modelica Compiler by Tinnerholm, John

• 2019: Property-Based Test Case Generators for Free by Emanuele De Angelis, Fabio Fioravanti, Adrián Palacios, Alberto Pettorossi and Maurizio Proietti

• 2019: A study on load balancing within microservices architecture by Sundberg, Alexander

• 2019: A study on Modern Messaging Systems- Kafka, RabbitMQ and NATS Streaming by Sharvari T and Sowmya Nag K

• 2019: Implementing a distributed architecture on angraDB by Medeiros, Ismael Coelho

• 2019: Comparing Reliability Mechanisms for Secure Web Servers: Actors, Exceptions and Futures Danail Penev

• 2019: Angra-db : indexing and query language by Nunes, Fernando Teixeira de Freitas da Costa

• 2019: Using Hash Trees for Database Schema Inconsistency Detection by Spik, Charlotta

• 2019: High Performance Web Servers: A Study In Concurrent Programming Models by Radhakrishnan, Srihari

• 2019: Runtime type safety for Erlang/otp behaviours by Joseph Harrison

• 2019: Improving Sequential Performance of Erlang Based on a Meta-tracing Just-In-Time Compiler by Ruochen Huang, Hidehiko Masuhara and Tomoyuki Aotani

• 2019: Playing with Bisimulation in Erlang by Ivan Lanese, Davide Sangiorgi, and Gianluigi Zavattaro

• 2019: Active-Code Replacement in the OODIDA Data Analytics Platform by Gregor Ulm, Emil Gustavsson and Mats Jirstrand

• 2019: Extensible Callback Module Layering in Erlang by Greg Hawkridge, Anton Herman Basson and Karel Kruger

• 2019: An Evaluation of Erlang for Implementing Standby Redundancy in a Manufacturing Station Controllerby Greg Hawkridge, Anton Herman Basson and Karel Kruger

• 2019: Partisan: Scaling the Distributed Actor Runtime pdf by Christopher S. Meiklejohn and Heather Miller, Carnegie Mellon University and Peter Alvaro

• 2019: Erlang as an Enabling Technology for Resilient General-Purpose Applications on Edge IoT Networks by Igor Kopestenski and Peter Van Roy

• 2019: Static analysis of communications for Erlang by Fabien Dagnat and Marc Pantel

• 2019: Intro to Web Prolog for Erlangers by Torbjörn Lager

• 2019: Scaling Erlang Distribution Going Beyond the Fully Connected Mesh by Adam Lindberg, Sébastien Merle and Peer Stritzinger

• 2019: Lux: An Expect-Like Test Tool Written in Erlang Synchronised Testing of Multiple Sessions by Håkan Mattsson and Cons T. Åhs

• 2019: Tools Supporting Green Computing in Erlang by Gergely Nagy, Áron Attila MészárosIstván Bozó and Melinda Tóth

• 2019: Gaining Trust by Tracing Security Protocols by Lars-Åke Fredlund, Clara Benac, EarleThomas Arts andHans Svensson

• 2019: Functional Federated Learning in Erlang (ffl-erl) by Gregor Ulm, Emil Gustavsson and Mats Jirstrand

• 2018: Metaprogramming and symbolic execution for detecting runtime errors in Erlang programs by Emanuele De Angelis, Fabio Fioravanti, Adrián Palacios, Alberto Pettorossi and Maurizio Proietti

• 2018: KErl: Executable semantics for Erlang by Judit Kőszegi

• 2018: Erlang-based holonic controller for a palletized conveyor material handling system by Karel Kruger and Anton

• 2018: The Missing Link! A New Skeleton for Evolutionary Multi-agent Systems in Erlang by Jan Stypka, Wojciech Turek, Aleksander Byrski, Marek Kisiel-Dorohinicki, Adam D. Barwell, Christopher Brown, Kevin Hammond and Vladimir Janjic

• 2018: Runtime Verification in Erlang by Using Contracts by Lars-Åke Fredlund, Julio Mariño, Sergio Pérez and Salvador Tamarit

• 2018: Modeling Erlang processes as Petri nets by Jörgen Brandt and Wolfgang Reisig

• 2018: Analysis of Distributed Systems Dynamics with Erlang Performance Lab by Michał Ślaski, Wojciech Turek, Arkadiusz Gil, Bartosz Szafran, Mateusz Paciorek and Aleksander Byrski

• 2018: InterSCSimulator: Large-Scale Traffic Simulation in Smart Cities Using Erlang by Eduardo Felipe Zambom Santana, Nelson Lago, Fabio Kon and Dejan S. Milojicic

• 2018: Towards secure Erlang systems by Alexandre Jorge Barbosa Rodrigues and Viktória Fördős

• 2018: Reversible Choreographies via Monitoring in Erlang Adrian Francalanza, Claudio Antares Mezzina and Emilio Tuosto

• 2018: Behaviour Preservation across Code Versions in Erlang by David Insa, Sergio Pérez, Josep Silva and Salvador Tamarit

• 2018: Automatic detection of core Erlang message passing errors by Joseph Harrison

• 2018: A theory of reversibility for Erlang☆ by Ivan Lanese, Naoki Nishida, Adrián Palacios and Germán Vidal

• 2018: Polymorphic success types for Erlang∗ by Francisco J. López-Fraguas, Manuel Montenegro, and Gorka Suárez-García

• 2018: Transforming Erlang finite state machines by Dániel Lukács, Melinda Tóth, István Bozó

• 2018: Addendum I: Pure Type System for Erlang by Maxim Sokhatsky

• 2018: HiPErJiT: A Profile-Driven Just-in-Time Compiler for Erlang based on HiPE by KONSTANTINOS KALLAS

• 2018: Application to In-flight Update of a Multicopter and Evaluation of Erlang Runtime implementation by Aldo García Regueira

• 2018: Evaluation of Erlang for a stigmergy holonic routing controller by Christopher Sean van den Berg

• 2018: INCREMENTAL DECOMPILATION OF LOOP-FREE BINARY CODE: ERLANG by GREGORY MORSE, DÁNIEL LUKÁCS, AND MELINDA TÓTH

• 2018: Ejasona framework for distributed and fault-tolerant multi-agent systems by Alvaro Fernández Díaz

• 2018: Understanding Formal Specifications through Good Examples by Alex Gerdes, John Hughes, Nicholas Smallbone, Stefan Hanenberg, Sebastian Ivarsson and Meng Wang

• 2018: A case study on reliable Erlang communication in open platforms based on Scribble by Ana Vranković, Tihana Galinac Grbac and Bruno Blaskovic

• 2018: Scalability and Performance through Distribution: An approach to distribute a standalone Erlang implementation of Redis by Nilsson, Joachim

• 2018: Evaluating the Performance of Federated Learning A Case Study of Distributed Machine Learning with Erlang by Nilsson, Adrian and Smith, Simon

• 2018: Using erlang in research and education in a technical university by Petrov I., Alexeyenko A. and Ivanova G.

• 2018: Modelling distributed Erlang within a single node by Stavros Aronis, Viktória Fördős and Dániel Szoboszlay

• 2018: The development and evaluation of an Erlang control system for reconfigurable manufacturing systems by Kruger, Karel

• 2018: Gview: Efficient graph visualisation for RefactorErl by Komáromi Mátyás

• 2018: Investigating Concurrency Issues in Dropbox by Ionita Daniel

• 2018: Web Prolog and the programmable Prolog Web, An Attempt to revive and Rebrand Prolog by Torbjörn Lager

• 2018: On the Reactive Nature of Financial Networks by Silvia Crafa and Daniele Varacca

• 2018: A Concept for a High-reliability Meteorological Monitoring System Using AMQP by Anna Kostromina1, Eduard Siemens1 and Yurii Babich

• 2018: AN EFFICIENT GRAPH VISUALISATION FRAMEWORK FOR REFACTORERL by MÁTYÁS KOMÁROMI, ISTVÁN BOZÓ, AND MELINDA TÓTH

• 2018: Effective Techniques for Stateless Model Checking by Aronis, Stavros

• 2018: Design and implementation of distributed expert systems: on a control strategy to manage the execution flow of rule activation by Alvine Boaye Belle*, Timothy C. Lethbridge, Miguel Garzón, Opeyemi O. Adesina

• 2018: Distributed functional reactive programming on actor-based runtime by Kazuhiro Shibanai and Takuo Watanabe

• 2018: From Reversible Semantics to Reversible Debugging by Ivan Lanese

• 2018: Dynamic Adaptations of Synchronization Granularity in Concurrent Data Structures by Winblad, Kjell

• 2018: Block Chain based Intelligent Industrial Network (DSDIN) by Barco You, Matthias Hub, Mengzhe You, Bo Xu, Mingzhi Yu and Ivan Uemlianin

• 2018: Implementation and Evaluation of IEC 61499 Basic Function Blocks in Erlang by Laurin Prenzel and Julien Provost

• 2018: A Teleo-Reactive Node for Implementing Internet of Things Systems by Pedro Sánchez, Bárbara Álvarez, Elías Antolinos, Diego Fernández and Andrés Iborra

• 2018: Free the Conqueror! Refactoring divide-and-conquer functions by Tamás Kozsik *, Melinda Tóth, István Bozó

• 2018: CoAP Infrastructure for IoT by Shi, Heng

• 2018: A Study of Concurrency Bugs and Advanced Development Support for Actor-based Programs by Carmen Torres Lopez, Stefan Marr, Elisa Gonzalez Boix and Hanspeter Mössenböck

• 2018: Partisan: Enabling Cloud-Scale Erlang Applications by Christopher Meiklejohn and Heather Miller

• 2018: HiPErJiT: A Profile-Driven Just-in-Time Compiler for Erlang by Konstantinos Kallas and Konstantinos Sagonas

• 2018: Automating Targeted Property-Based Testing by Andreas Löscher and Konstantinos Sagonas

• 2018: Bounded Symbolic Execution for Runtime Error Detection of Erlang Programs by Emanuele De Angelis, Fabio Fioravanti, Adrián Palacios, Alberto Pettorossi and Maurizio Proietti

• 2018: Teaching Erlang through the Internet: An Experience Report by Stephen Adams

• 2018: Modelling Distributed Erlang within a Single Node by Stavros Aronis, Viktória Fördős and Dániel Szoboszlay

• 2018: Automatic Detection of Core Erlang Message Passing Errors by Joseph Harrison

• 2018: Understanding Formal Specifications through Good Examples by Alex Gerdes, John Hughes, Nicholas Smallbone, Stefan Hanenberg, Sebastian Ivarsson and Meng Wang

• 2018: A theory of reversibility for Erlang by Ivan Lanese, Naoki Nishida, Adrián Palacios and Germán Vidal

• 2018: Declarative debugging of concurrent Erlang programs by Rafael Caballero, Enrique Martin-Martin, Adrián Riesco and Salvador Tamarit

• 2018: AErlang: empowering Erlang with attribute-based communication by Rocco De Nicola, Tan Duong, Omar Inverso and Catia Trubiani

• 2018: Towards Secure Erlang Systems by Alexandre Jorge Barbosa Rodrigues and Viktória Fördős

• 2018: Erlang-based holonic controller for a palletized conveyor material handling system by Karel Kruger and Anton Herman Basson

• 2018: Typing the Wild in Erlang by Nachiappan Valliappan and John Hughes

• 2018: Comparing Languages for Engineering Server Software: Erlang, Go, and Scala with Akka by Ivan Valkov, Natalia Chechina, and Phil Trinder

• 2018: CauDEr: A Causal-Consistent Reversible Debugger for Erlang by Ivan Lanese, Naoki Nishida, Adrian Palacios and Germán Vidal

• 2018: Partisan: Enabling Real-World Protocol Evaluation by Christopher Meiklejohn

• 2018: Erlang Code Evolution Control (Use Cases) by David Insa, Sergio Pérez, Josep Silva and Salvador Tamarit

• 2018: Runtime verification in Erlang by using contracts by Lars-Åke Fredlund, Julio Mariño, Sergio Pérez and Salvador Tamarit

• 2017: A Generic Instrumentation Tool for Erlang by Ian Cassar1, Adrian Francalanza, Duncan Paul Attard, Luca Aceto, and Anna Ingólfsdóttir

• 2017: A type derivation system for Erlang (extended version) by Francisco J. López-Fraguas, Manuel Montenegro and Gorka Suárez-García

• 2017: Analysis of Erlang source dependencies in BEAM bytecode by Dániel Lukács, Melinda Tóth

• 2017: A Suite of Monitoring Tools for Erlang by Ian Cassar, Adrian Francalanza, Duncan Paul Attard, Luca Aceto, and Anna Ingólfsdóttir

• 2017: A File System in Erlang by James Forward

• 2017: DNSfilter: An Erlang/OTP Implementation of a DNS-Based Web Filtering System by Jeyran G. Labrador, Michael P. De La CruzDante and D. Dinawanao

• 2017: Functional Federated Learning in Erlang by Gregor Ulm, Emil Gustavsson, Mats Jirstrand

• 2017: A Runtime Monitoring Tool for Actor-Based Systems by Duncan Paul Attard, Ian Cassar, Adrian Francalanza, Luca Aceto and and Anna Ingólfsdóttir

• 2017: Let it recover: multiparty protocol-induced recovery by Rumyana Neykova and Nobuko Yoshida

• 2017: Building Analytics Plugin for Erlang MQTT Broker by Mustafin, Damir

• 2017: AErlang at Work by Rocco De Nicola, Tan Duong, Omar Inverso and Catia Trubiani

• 2017: Distributed memory architecture for high-level synthesis of embedded controllers from Erlang by Kagumi Azuma, Nagisa Ishiura, Nobuaki Yoshida and Hiroyuki Kanbara

• 2017: Dynamic Software Update of Stateflow Charts using Erlang Runtime System by Sebastian Q. Roder and Julien Provost

• 2017: Towards an Isabelle/HOL formalisation of core Erlang by Joseph R. Harrison

• 2017: Structuring Erlang BEAM control flow by Dániel Lukács and Melinda Tóth

• 2017: Dynamic Software Updating of IEC 61499 Implementation Using Erlang Runtime System by Laurin Prenzel and Julien Provost

• 2017: Erlang Code Evolution Control by David Insa, Sergio Pérez, Josep Silva and Salvador Tamarit

• 2017: Evaluating Scalable Distributed Erlang for Scalability and Reliability by Natalia Chechina, Kenneth MacKenzie, Simon Thompson, Phil Trinder, Olivier Boudeville, Viktória Fördős, Csaba Hoch, Amir Ghaffari and Mario Moro Hernandez

• 2017: Erlang-based control implementation for a holonic manufacturing cell by Karel Kruger and Anton Basson

• 2017: eAOP: an aspect oriented programming framework for Erlang by Ian Cassar, Adrian Francalanza, Luca Aceto and Anna Ingólfsdóttir

• 2017: AErlang: Empowering Erlang with Attribute-Based Communication by Rocco De Nicola, Tan Duong, Omar Inverso and Catia Trubiani

• 2017: A Survey of Runtime Monitoring Instrumentation Techniques by Ian Cassar, Adrian Francalanza, Luca Aceto and Anna Ingólfsdóttir

• 2017: Loquat: A Framework for Large-Scale Actor Communication on Edge Networks by Van Roy, Peter and Meiklejohn, Christopher

• 2017: Reliability and Fault-Tolerance by Choreographic Design by Ian Cassar, Adrian Francalanza, Claudio Antares Mezzina and Emilio Tuosto

• 2017: TRIoT: A Proposal for Deploying Teleo-Reactive Nodes for IoT Systems by Diego Fernández, Pedro Sánchez, Bárbara Álvarez, Juan Antonio López and Andrés Iborra

• 2017: muMQ: A lightweight and scalable MQTT broker by Wiriyang Pipatsakulroj, Vasaka Visoottiviseth and Ryousei Takano

• 2017: Loquat: A framework for large-scale actor communication on edge networks by Christopher S. Meiklejohn and Peter Van Roy

• 2017: Validation of a Holonic Controller for a Modular Conveyor System Using an Object-Oriented Simulation Framework by Karel Kruger and Anton Basson

• 2017: Hootsuite: in pursuit of reactive systems by CACM Staff

• 2017: The pragmatics of clone detection and elimination by Simon Thompson, Huiqing Li and Andreas Schumacher

• 2017: Design and evaluation of an alternative programming paradigms course by Francisco Ortin, Jose Manuel Redondo and Jose Quiroga

• 2017: Dependent Session Types by Hanwen Wu and Hongwei Xi

• 2017: Microservices: A Language-Based Approach by Claudio Guidi, Ivan Lanese, Manuel Mazzara and Fabrizio Montesi

• 2017: Actor Based Business Process Automation via Intelligent Business Objects by Florian Unterberger and Robert Singer

• 2017: Scouting Erlang: BEAM VM by Matthew Ahrens

• 2017: An architecture and implementation of the actor model of concurrency by Kwabena Aning and Keith Leonard Mannock

• 2017: An architecture and implementation of the actor model of concurrency by Keith Mannock

• 2017: Pattern Candidate Discovery and Parallelization Techniques by Melinda Tóth, István Bozó and Tamás Kozsik

• 2017: Erlang-Based Holonic Controller for a Modular Conveyor System by Karel Kruger and Anton Basson

• 2017: Software Inspections, Code Reviews, and Safety Arguments by Neil Walkinshaw

• 2017: Comparative study of middleware solutions for control and monitoring systems by Suman Patro, Manish Potey and Amit Golhani

• 2017: Towards application-level elasticity on shared cluster: an actor-based approach by Donggang Cao, Lianghuan Kang, Hanglong Zhan and Hong Mei

• 2017: A priori state synchronization for fast failover of stateful firewall VNFs by Nicholas Gray, Claas Lorenz, Alexander Müssig, Steffen Gebert, Thomas Zinner and Phuoc Tran-Gia

• 2017: Unobtrusive Deferred Update Stabilization for Efficient Geo-Replication by Chathuri Gunawardhana, Manuel Bravo, and Luis Rodrigues

• 2017: Æternity blockchain The trustless, decentralized and purely functional oracle machine by Zackary Hess, Yanislav Malahov and Jack Pettersson

• 2017: Sparrow: a DSL for coordinating large groups of heterogeneous actors by Humberto Rodriguez Avila, Joeri De Koster and Wolfgang De Meuter

• 2017: Detecting code clones with gaps by function applications by Tsubasa Matsushita and Isao Sasano

• 2017: The current state of starcraft ai competitions and bots by D Churchill and M Certicky

• 2017: Scalability and High Availability in Real-time Cloud Services by Jan Varljen

• 2017: Source Sets: A Foundation for Optimal Dynamic Partial Order Reduction by Parosh Aziz Abdulla, Stavros Aronis, Bengt Jonsson and Konstantinos Sagonas

• 2017: Kafka versus RabbitMQ: A comparative study of two industry reference publish/subscribe implementations: Industry Paper by Philippe Dobbelaere and Kyumars Sheykh Esmaili

• 2017: Towards Runtime Adaptation of Actor Systems by Ian Cassar

• 2017: Construction and formal verification of a fault-tolerant distributed mutual exclusion algorithm by Evgeniy Shishkin

• 2017: Dealing with actor runtime environments on hierarchical shared memory multi-core platforms by Emilio de Camargo Francesquini

• 2017: Session Typing for a Featherweight Erlang by Dimitris Mostrous and Vasco T. Vasconcelos

• 2017: Structuring Erlang BEAM Control Flow by Dániel Lukács and Melinda Tóth

• 2017: Towards an Isabelle/HOL Formalisation of Core Erlang by Joseph R. Harrison

• 2017: Scaling Reliably: Improving the Scalability of the Erlang Distributed Actor Platform by Phil Trinder, Natalia Chechina, Nikolaos Papaspyrou, Konstantinos Sagonas, Simon Thompson...

• 2017: mu2: A Refactoring-Based Mutation Testing Framework for Erlang by Ramsay Taylor and John Derrick

• 2017: Targeted Property-Based Testing by Andreas Löscher and Konstantinos Sagonas

• 2017: The Shared-Memory Interferences of Erlang/OTP Built-Ins by Stavros Aronis and Konstantinos Sagonas

• 2017: Trustworthy Refactoring via Decomposition and Schemes: A Complex Case Study by Dániel Horpácsi, Judit Kőszegi and Zoltán Horváth

• 2017: ECOTRUCK: An Agent System for Paper Recycling by Nikolaos Bezirgiannis and Ilias Sakellariou

• 2017: The shared-memory interferences of Erlang/OTP built-ins by Stavros Aronis and Konstantinos Sagonas

• 2017: Erlang Code Evolution Control by David Insa, Sergio Pérez, Josep Silva and Salvador Tamarit

• 2016: Towards Trustworthy Refactoring in Erlang by Dániel Horpácsi, Judit Kőszegi and Simon Thompson

• 2016: CRDTs for the configuration of distributed Erlang systems by Viktória Fördős and Francesco Cesarini

• 2016: Erlang on Adapteva's Parallella by Lång Magnus

• 2016: Highly scalable Erlang framework for agent-based metaheuristic computing by Wojciech Turek, Jan Stypka, Daniel Krzywicki, Piotr Anielski, Kamil Pietak, Aleksander Byrski and Marek Kisiel-Dorohinicki

• 2016: Data Parallel pattern in Erlang/OpenCL by Ugo Albanese

• 2016: Improving the network scalability of Erlang by Natalia Chechina , Huiqing Li , Amir Ghaffari , Simon Thompson and Phil Trinder

• 2016: ValiErlang: A Structural Testing Tool for Erlang Programs by Alexandre P. Oliveira , Paulo S. L. Souza and Simone R. S. Souza

• 2016: USING PROGRAM SHAPING AND ALGORITHMIC SKELETONS TO PARALLELISE AN EVOLUTIONARY MULTI-AGENT SYSTEM IN ERLANG by Adam D. Barwell, Christopher Brown and Kevin Hammond

• 2016: A scalable reliable instant messenger using the SD Erlang libraries by Natalia Chechina, Mario Moro Hernandez, and Phil Trinder

• 2016: Debugging Meets Testing in Erlang Salvador Tamarit, Adrián Riesco, Enrique Martin-Martin and Rafael Caballero

• 2016: Polymorphic Types in Erlang Function Specifications by Francisco J. López-Fraguas, Manuel Montenegro and Juan Rodríguez-Hortalá

• 2016: Towards semi-automatic data-type translation for parallelism in Erlang by Adam D. Barwell, Christopher Brown, David Castro and Kevin Hammond

• 2016: CRDTs for the configuration of distributed Erlang systems by Viktória Fördős and Francesco Cesarini

• 2016: A Reversible Semantics for Erlang by Naoki Nishida, Adrián Palacios and Germán Vidal

• 2016: Improving the network scalability of Erlang by Natalia Chechina, Huiqing Li, Amir Ghaffari, Simon Thompson and Phil Trinder

• 2016: High-Level Synthesis of Embedded Systems Controller from Erlang by Hinata Takabeyashi, Nagisa Ishiura, Kagumi Azuma, Nobuaki Yoshida and Hiroyuki Kanbara

• 2016: ValiErlang: A Structural Testing Tool for Erlang Programs by Alexandre P. Oliveira, Paulo S. L. Souza and Simone R. S. Souza

• 2016: Model-Based Protocol Testing in an Erlang Environment by Blom, Johan

• 2016: An Erlang Implementation of Multiparty Session Actors by Simon Fowler

• 2016: Towards Reversible Computation in Erlang by Naoki Nishida, Adrián Palacios and Germán Vidal

• 2016: Making everybody comfortable with Erlang: a SCADA system for thermal control by Laura M. Castro, J. Daniel Fernández and Carlos López Pampín

• 2016: An erlang-based simulation approach of Artificial Transportation Systems by Songhang Chen, Fenghua Zhu and Fei-Yue Wang

• 2016: Analysing and visualising Erlang behaviours by

• 2016: IMPLEMENTING GRAPH REPRESENTATION MODEL FOR PARALLEL AND DISTRIBUTED SYSTEMS USING ERLANG by Iurii Petrov

• 2016: Analysing the hierarchical structure of Erlang applications by István Bozó, Bence János Szabó and Melinda Tóth

• 2016: USING ERLANG IN ROBOCUP SOCCER SIMULATION by Sojharo

• 2016: Analysing and visualising callback modules of Erlang generic server behaviours István Bozó, Mátyás Béla Kuti and Melinda Tóth

• 2016: Polymorphic Types in Erlang Function Specifications (extended version) ∗ Francisco J. López-Fraguas, Manuel Montenegro and Juan Rodrı́guez-Hortalá

• 2016: High-Level Synthesis of Embedded Systems Controller from Erlang by Hinata Takebayashi, Nagisa Ishiura, Kagumi Azuma, Nobuaki Yoshida and Hiroyuki Kanbara

• 2016: Elixir programming language evaluation for IoT by Geovane Fedrecheski, Laisa C. P. Costa and Marcelo K. Zuffo

• 2016: Towards Reliable and Scalable Robot Communication by Andreea Lutac, Natalia Chechina, Gerardo Aragon-Camarasa, and Phil Trinder

• 2016: Observing the consistency of distributed systems by Deepthi Devaki Akkoorath, Viktória Fördős and Annette Bieniusa

• 2016: Efficient String Representation in Erlang/OTP by ANDREJ LAMOV

• 2016: Erlang on Adapteva's Parallella by Lång, Magnus

• 2016: On higher-order communication of Erlang by Nannan Liu and Xian Xu

• 2016: On Implementing a Monitor-Oriented Programming Framework for Actor Systems by Ian Cassar and Adrian Francalanza

• 2016: Automatic generation of UML sequence diagrams from test counterexamples by Daniel Carballa and Laura M. Castro

• 2016: SCSimulator: An Open Source, Scalable Smart City Simulator∗ by Eduardo Felipe Zambom Santana1,2 , Daniel Macêdo Bastista1 , Fabio Kon1 and Dejan S. Milojicic

• 2016: Session Types in a Linearly Typed Multi-Threaded Lambda-Calculus by Hongwei Xi, Zhiqiang Ren, Hanwen Wu and William Blair

• 2016: s6raph: Vertex-Centric Graph Processing Framework with Functional Interface Onofre Coll Ruiz, Kiminori Matsuzaki and Shigeyuki Sato

• 2016: Agent-Based Business Process Modeling and Execution: Steps Towards a Compiler-Virtual Machine Architecture by Robert Singer

• 2016: Pool Evolution: A Parallel Pattern for Evolutionary and Symbolic Computing by Marco Aldinucci, Sonia Campa, Marco Danelutto, Peter Kilpatrick and Massimo Torquati

• 2016: Choreography-Based Analysis of Distributed Message Passing Programs by Ramsay Taylor, Emilio Tuosto, Neil Walkinshaw and John Derrick

• 2016: DSCMC: Distributed Stateless Code Model Checker by Elaheh Ghassabani and Mohammad Abdollahi Azgomi

• 2016: Experiences with QuickCheck: Testing the Hard Stuff and Staying Sane by John Hughes

• 2016: Benefits of implementing a query language in purely functional style by Artúr Poór, István Bozó, Tamás Kozsik, Gábor Páli, Melinda Tóth

• 2016: Parallel patterns for agent-based evolutionary computing by Stypka J. , Anielski P. , Mentel S. , Krzywicki D. , Turek W. , Byrski A. and Kisiel-Dorohinicki M.

• 2016: WebSurge: A Profile-based Stress Testing Tool with Distributed User Agents for Web Applications by Michael de la Cruz, Jeyran Labrador, and Dante Dinawanao

• 2016: A type-checking approach to ensure monitor correctness by Aquilina Alamango, John

• 2016: BuTools 2: a Rich Toolbox for Markovian Performance Evaluation by Gábor Horváth and Miklós Telek

• 2016: IMPLEMENTING GRAPH REPRESENTATION MODEL FOR PARALLEL AND DISTRIBUTED SYSTEMS USING ERLANG by Iurii Petrov

• 2016: The Nifty way to call hell from heaven by Andreas Löscher and Konstantinos Sagonas

• 2016: STATIC ANALYSIS FOR DIVIDE-AND-CONQUER PATTERN DISCOVERY by Tamás Kozsik

• 2016: Stampery Blockchain Timestamping Architecture (BTA) by Adán Sánchez de Pedro CrespoLuis Ivan Cuende García

• 2016: Big(ger) sets: decomposed delta CRDT sets in Riak by Russell Brown, Zeeshan Lakhani and Paul Place

• 2016: Identifying and introducing interfaces and callbacks using Wrangler by Pablo Lamela Seijas and Simon Thompson

• 2016: A Distributed Publish/Subscribe System built on a DHT Substrate by André Laszlo

• 2016: Identifying Code Clones with RefactorErl by Viktória Fördős and Melinda Tóth

• 2016: Comparing message-oriented middleware for financial assets trading by Eriksson, John

• 2015: A Distributed, Parallel and Fault Tolerant BGP Routing Daemon by Bergström, Erik Millnert and Martin

• 2015: Concolic Execution in Functional Programming by Program Instrumentation by Adrián Palacios and Germán Vidal

• 2015: A Concurrency System for Idris & Erlang by Archibald Samuel Elliott

• 2015: Distributed data streams ordering in Erlang by Adam Krupička

• 2015: Erlang/OTP Meets Dependent Types by Archibald Samuel Elliott

• 2015: A Declarative Debugger for Concurrent Erlang Programs by R. Caballero, E. Martin-Martin, A. Riesco and Salvador Tamarit

• 2015: Introducing Parallelism to Erlang Programs by Breaking Dependencies by Adam D. Barwell, Christopher Brown, and Kevin Hammond

• 2015: A Tracing JIT Compiler for Erlang using LLVM by Johan Fänge

• 2015: Proving Soundness of Refactorings to Introduce Parallel Skeletons in Erlang by Christopher Brown, Vladimir Janjic, Adam D. Barwell and Kevin Hammond

• 2015: Monitoring Erlang/OTP Applications using Multiparty Session Types by Simon Fowler

• 2015: The Hopper language- A Haskell-like language on the Erlang VM by Hughes, William, Jarmar, Jacob, Larsson, Johan, Lindbom, David, Norgren, Björn and Wikström Schützer, Johan

• 2015: Comparing Erlang-based web technologies with emerging MEAN stack for scalable web applications by Tabone, Jamie

• 2015: Towards sound refactoring in erlang by Tanti, Erica and Francalanza, Adrian

• 2015: Performance portability through semi-explicit placement in distributed Erlang by Kenneth MacKenzie, Natalia Chechina and Phil Trinder

• 2015: A Reliable Instant Messenger in Erlang: Design and Evaluation by Hernandez, M. M., Chechina, N. and Trinder, P.

• 2015: The scalability of reliable computation in Erlang by Ghaffari, Amir

• 2015: Smother: an MC/DC analysis tool for Erlang by Ramsay Taylor and John Derrick

• 2015: mu2: A Refactoring-Based Mutation Testing Framework for Erlang by Ramsay Taylor and John Derrick

• 2015: The implementation and use of a generic dataflow behaviour in Erlang by Christopher Meiklejohn and Peter Van Roy

• 2015: A zoom-declarative debugger for sequential Erlang programs by Rafael Caballero, Enrique Martin-Martin, Adrián Riesco and Salvador Tamarit

• 2015: Attribute grammars in Erlang by Ulf Norell and Alex Gerdes

• 2015: Towards Symbolic Execution in Erlang by Germán Vidal

• 2015: Concurrency for Creative Coding by Arnaud Loonstra

• 2015: Massively concurrent agent-based evolutionary computing by Krzywicki, W. Turek, A. Byrski and M. Kisiel-Dorohinicki

• 2015: Adding distribution and fault tolerance to Jason by Fernández-Díaz, C. Benac-Earle and L. Fredlund

• 2015: Linking unit tests and properties by Alex Gerdes, John Hughes, Nick Smallbone and Meng Wang

• 2015: Implementing Erlang/OTP on Intel Galileo by Coada, Paul and Kaya, Erkut

• 2015: Synthesising correct concurrent runtime monitors by Adrian Francalanza and Aldrin Seychell

• 2015: High performance declarative memory systems through MapReduce by Mark Edmonds, Tanvir Atahary, Tarek Taha and Scott A. Douglass

• 2015: Verification of Message Passing Concurrent Systems by Emanuele D’Osualdo

• 2015: A Reflective Implementation of an Actor-based Concurrent Context-Oriented System by Souhei Takeno and Takuo Watanabe

• 2015: Programming Paradigms in High Performance Computing by Venkat N. Gudivada, Jagadeesh Nandigam and Jordan Paris

• 2015: Refactorings to Enable Parallelization by István Bozó, Viktória Fördős, Dániel Horpácsi, Zoltán Horváth, Tamás Kozsik, Judit Kőszegi and Melinda Tóth

• 2015: Concolic testing for functional languages by Aggelos Giantsios, Nikolaos Papaspyrou and Konstantinos Sagonas

• 2015: Towards behavioral programming in distributed architectures by David Harel, Amir Kantor, Guy Katz, Assaf Marron, Gera Weiss and Guy Wiener

• 2015: Expressing and Composing Actors for Deterministic and Scalable Programming in Cloud by Kang Lianghuan, Zhan Hanglong and Cao Donggang

• 2015: Concept of Client-Server Environment for Agent-Based Modeling and Simulation of Living Systems by Ingars Ribners and Guntis Arnicans

• 2015: On Synchronous and Asynchronous Monitor Instrumentation for Actor-based systems by Ian Cassar and Adrian Francalanza

• 2015: Towards Modelling Actor-Based Concurrency in Term Rewriting∗ by Adrián Palacios and Germán Vidal

• 2015: Lasp: a language for distributed, coordination-free programming by Christopher Meiklejohn and Peter Van Roy

• 2015: Analysis and Testing of Distributed NoSQL Datastore Riak by Be. Zuzana Zatrochová

• 2015: A performance study of protocols used in a print on demand server by SAM SAM

• 2015: Isolates, Channels, and Event Streams for Composable Distributed Programming by Aleksandar Prokopec and Martin Odersky

• 2015: ContextErlang: A language for distributed context-aware self-adaptive applications by Guido Salvaneschi, Carlo Ghezzi and Matteo Pradella

• 2015: Implementation of an Erlang-Based Resource Holon for a Holonic Manufacturing Cell by Karel Kruger and Anton Basson

• 2015: A simple Erlang API for handling DDS data types and Quality of Service parameters by Wafa Helali, Khaled Barbaria and Belhassen Zouari

• 2015: Safe Concurrency Introduction through Slicing by Huiqing Li and Simon Thompson

• 2015: Using Actors to Implement Sequential Simulations by Ryan Harrison

• 2015: Concolic testing for functional languages by Aggelos Giantsios, Nikolaos Papaspyrou and Konstantinos Sagonas

• 2015: Implementation of an Erlang-Based Resource Holon for a Holonic Manufacturing Cell by Karel Kruger and Anton Herman Basson

• 2015: Massively-concurrent Agent-based Evolutionary Computing by D. Krzywicki, W. Turek, A. Byrski and M. Kisiel-Dorohinicki

• 2015: Safe Concurrency Introduction through Slicing by Huiqing Li and Simon Thompson

• 2015: Pyrlang: a high performance Erlang virtual machine based on RPython by Ruochen Huang , Hidehiko Masuhara and Tomoyuki Aotani

• 2015: Property-based Testing of Sensor Networks by Andreas Löscher, Konstantinos Sagonas, and Thiemo Voigt

• 2014: Discovering parallel pattern candidates in Erlang by 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 and Kevin Hammond

• 2014: Cost-Directed Refactoring for Parallel Erlang Programs by Christopher Brown, Marco Danelutto, Kevin Hammond, Peter Kilpatrick and Archibald Elliott

• 2014: EDD: A Declarative Debugger for Sequential Erlang Programs by Rafael Caballero, Enrique Martin-Martin, Adrian Riesco and Salvador Tamarit

• 2014: Investigating the scalability limits of distributed Erlang by Amir Ghaffari

• 2014: Using Erlang Skeletons to Parallelise Realistic Medium-Scale Parallel Programs by Vladimir Janjic, Christopher Brown and Kevin Hammond

• 2014: TYPE INFERENCE FOR CORE ERLANG TO SUPPORT TEST DATA GENERATION by GÁBOR OLÁH, DÁNIEL HORPÁCSI, TAMÁS KOZSIK, and MELINDA TÓTH

• 2014: Shared Nothing Secure Programming in Erlang/OTP by Kenji Rikitake

• 2014: Erlang Handbook by by Bjarne Däcker and Robert Virding

• 2014: Scalable SD Erlang Computation Model by Chechina, N., Huiqing, L., Trinder, P. and Ghaffari, A.

• 2014: Scalable SD Erlang Reliability Model by Chechina, N., Huiqing, L., Trinder, P. and Thompson, S.

• 2014: BEAMJIT: a just-in-time compiling runtime for Erlang by Frej Drejhammar and Lars Rasmusson

• 2014: Detecting and Visualising Process Relationships in Erlang by Melinda Toth and Istvan Bozo

• 2014: Scalable Reliable SD Erlang Design by Chechina, N., Trinder, P. , Ghaffari, A., Green, R., Lundin, K. and Virding, R.

• 2014: CHANNEL ACCESS IN ERLANG by Dennis J. Nicklaus.

• 2014: Execution and Verification of UML State Machines with Erlang by Ricardo J. Rodrı́guez, Lars-Åke Fredlund, Ángel Herranz, and Julio Mariñog

• 2014: Faulterl: precise fault injection for the erlang VM, NIFs and linked-in drivers by Scott Lystig Fritchie

• 2014: Extending detectEr, a runtime verification tool for Erlang by Said, Simon

• 2014: Mobile Erlang computations to enhance performance, resource usage and reliability by Francalanza, Adrian and Zerafa, Tyron

• 2014: High Performance Processing for Speech Recognition by Milan Ramljak, Maja Stella, Matko Šarić

• 2014: Achieving Scalability and Reliability In Cloud Servers by Sidrameshwar Korawar and Sridevi M.

• 2014: Automating property-based testing of evolving web services by Huiqing Li, Simon Thompson, Pablo Lamela Seijas and Miguel Angel Francisco

• 2014: Improved semantics and implementation through property-based testing with QuickCheck by Huiqing Li and Simon Thompson

• 2014: Implementing Garbage Collection for Active Objects on Top of Erlang by Hansen, Sigmund

• 2014: More scalable ordered set for ETS using adaptation by Konstantinos Sagonas and Kjell Winblad

• 2014: Jsongen: a QuickCheck Based Library for Testing JSON Web Services by Clara Benac Earle, Lars-Åke Fredlund, Ángel Herranz and Julio Mariño

• 2014: Functional programming and the "megacore" era by Kevin Hammond

• 2014: Implementing Parallel Genetic Algorithm Using Concurrent-functional Languages by J. Albert-Cruz1 , J. J. Merelo2 , L. Acevedo-Martı́nez1 and Paloma de las Cuevas2

• 2014: Eventual Consistency and Deterministic Dataflow Programming A Case Study of Integrating Derflow with the Riak Data Store by Christopher Meiklejohn

• 2014: Dealing with actor runtime environments on hierarchical shared memory multi-core platforms by Emilio de Camargo Francesquini

• 2014: The Curse of the Excluded Middle: Mostly functional programming does not work. by Erik Meijer

• 2014: Evaluation and Comparison of Programming Frameworks for Shared Memory Multicore Systems by Mikael, Silvén

• 2014: Teaching Students Property-Based Testing by Clara Benac Earle, Lars-Åke Fredlund, Julio Mariño and Thomas Arts

• 2014: Optimal dynamic partial order reduction by Parosh Abdulla, Stavros Aronis, Bengt Jonsson and Konstantinos Sagonas

• 2014: A scalable architecture for concurrent online auctions by Bill Karakostas

• 2014: Verification of asynchronous concurrency and the shaped stack constraint by Kochems, J

• 2014: Safe Concurrency Introduction through Slicing by Huiqing Li and Simon Thompson

• 2014: ELIoT: A Programming Framework for the Internet of Things by SIVIERI, ALESSANDRO

• 2014: Property-Based Testing of JSON Based Web Services by Lars Åke Fredlund, Clara Benac Earle, Ángel Herranz and Julio Mariño

• 2014: Fault tolerance for distributed explicit-state model checking by Ishida, Valerie Lynn

• 2014: Actors and higher order functions: A Comparative Study of Parallel Programming Language Support for Bioinformatics by Arvidsson, Staffan

• 2014: A Zoom-Declarative Debugger for Sequential Erlang Programs (extended version)∗ by Rafael Caballero, Enrique Martin-Martin, Adrián Riesco, and Salvador Tamarit

• 2014: Message Brokers and RabbitMQ in Action by Kamppuri, Tsuri

• 2014: Discovering Parallel Pattern Candidates in Erlang by István Bozó, Viktória Fördős, Zoltán Horváth, Melinda Tóth, Dániel Horpácsi, Tamás Kozsik, Judit KőszegiAdam Barwell, Chris Brown and Kevin Hammond

• 2014: Dealing with actor runtime environments on hierarchical shared memory multi-core platforms by E de Camargo Francesquini

• 2014: Embedded Linux based demonstration device for printed electronics by Saud, Muhammad

• 2014: Discovering parallel pattern candidates in Erlang by 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 and Kevin Hammond

• 2014: Derflow: distributed deterministic dataflow programming for erlang by Manuel Bravo, Zhongmiao Li, Peter Van Roy and Christopher Meiklejohn

• 2014: BEAMJIT: a just-in-time compiling runtime for Erlang by Frej Drejhammar and Lars Rasmusson

• 2014: Synapse: automatic behaviour inference and implementation comparison for Erlang by Pablo Lamela Seijas and Simon Thompson , Ramsay Taylor , Kirill Bogdanov and John Derrick

• 2014: More scalable ordered set for ETS using adaptation by Konstantinos Sagonas and Kjell Winblad

• 2014: JErlang: Erlang with Joins by Hubert Plociniczak and Susan Eisenbach

• 2014: Robust by "Let it Crash" by Christoph Woskowski, Mikolaj Trzeciecki and Florian Schwedes

• 2014: Automating property-based testing of evolving web services by Huiqing Li, Simon Thompson, Pablo Lamela Seijas and Miguel Angel Francisco

• 2014: Investigating the Scalability Limits of Distributed Erlang by Amir Ghaffari

• 2013: On the scalability of the Erlang term storage by David Klaftenegger, Konstantinos Sagonas and Kjell Winblad

• 2013:Towards Erlang Verification by Term Rewriting](https://link.springer.com/chapter/10.1007/978-3-319-14125-1_7) by Germán Vidal

• 2013: Development of a cyber-physical system for mobile robot control using Erlang by Szymon Szomiński, Konrad Gądek, Michal Konarski, Bogna Błaszczyk, Piotr Anielski and Wojciech Turek

• 2013: Automatic Verification of Erlang-Style Concurrency by Emanuele D’Osualdo, Jonathan Kochems and C. -H. Luke Ong

• 2013: Systematic Testing for Detecting Concurrency Errors in Erlang Programs by Maria Christakis, Alkis Gotovos and Konstantinos Sagonas

• 2013: eJason: An Implementation of Jason in Erlang by Álvaro Fernández Díaz, Clara Benac Earle and Lars-Åke Fredlund

• 2013: Multi-level Visualization of Concurrent and Distributed Computation in Erlang Robert BakerPeter RodgersSimon ThompsonHuiqing Li

• 2013: A Declarative Debugger for Concurrent Erlang Programs (extended version)∗ Rafael Caballero, Enrique Martin-Martin, Adrián Riesco, and Salvador Tamarit

• 2013: Home Location Register (HLR) dedicated for Short Message Service (SMS) by Rönnblom, Niklas and Vikman, Johan

• 2013: Reduction of regression tests for Erlang based on impact analysis by István Bozó, Melinda Tóth and Zoltán Horváth

• 2013: COMPARING THE PERFORMANCE OF JAVA, ERLANG AND SCALA IN WEB 2.0 APPLICATIONS Jucimar Maia da Silva Jr., Rafael Dueire Lins andLanier Menezes dos Santos

• 2013: Static analysis of function calls in Erlang. Refining the static function call graph with dynamic call information by using data-flow analysis by Horpácsi D. and Koszegi J.

• 2013: Software agents mobility using process migration mechanism in distributed Erlang by Michał Piotrowski and Wojciech Turek

• 2013: Supercompiling Erlang by WEINHOLT, GÖRAN

• 2013: Using many-core coprocessor to boost up Erlang VM by Siyao Zheng , Xiang Long and Jingwei Yang

• 2013: Code management automation for Erlang remote actors by Adrian Francalanza and Tyron Zerafa

• 2013: The Erlang approach to concurrent system development by Michael J. Lutz

• 2013: Automatic Inference of Erlang Module Behaviour by Ramsay Taylor, Kirill Bogdanov and John Derrick

• 2013: Adapting evolutionary algorithms to the concurrent functional language Erlang by J. Albert Cruz, Juan-Julián Merelo Guervós , Antonio M. Mora García and Paloma de las Cuevas

• 2013: A language-independent approach to black-box testing using Erlang as test specification language by Laura M Castro and Miguel A Francisco

• 2013: A Declarative Debugger for Sequential Erlang Programs by Rafael Caballero, Enrique Martin-Martin, Adrián Riesco and Salvador Tamarit

• 2013: Synthesising Correct Concurrent Runtime Monitors in Erlang by Adrian Francalanza and Aldrin Seychell

• 2013: Concurrent Data Mining and Genetic Computing Implemented with Erlang Language by Kittisak Kerdprasop and Nittaya Kerdprasop

• 2013: Erlang-based software update platform for mobile devices by Wielgus, M., Dąbek, P., Janusz, R., Kowal, T. and Turek, W.

• 2013: ACSYS CAMERA IMPLEMENTATION UTILIZING AN ERLANG FRAMEWORK TO C++ INTERFACE by C. Briegel and J. Diamond, FNAL

• 2013: A calculus for sequential Erlang programs∗ by Rafael Caballero, Enrique Martin-Martin, Adrián Riesco, and Salvador Tamarit

• 2013: Modelling of the multi-agent systems through specific DEDS methods and the Erlang functional language by EUGEN DIACONESCU and LUIGE VLADAREANU

• 2013: A calculus for zoom debugging sequential Erlang programs∗ by Rafael Caballero, Enrique Martin-Martin, Adrián Riesco, and Salvador Tamarit

• 2013: A reliable SMPP implementation in Erlang by Mikael Laaksonen

• 2013: polyLarva plugin for Erlang by Ivan Galea

• 2013: ERLANG AND SCALA FOR AGENT DEVELOPMENT by Dejan Mitrović, Mirjana Ivanović, Zoran Budimac

• 2013: Agent-Based Modeling Using Erlang Eliminating The Conceptual Gap Between The Programming Language & ABM by Gene I. Sher

• 2013: RELEASE: A High-Level Paradigm for Reliable Large-Scale Server Software by Olivier Boudeville, Francesco Cesarini, Natalia Chechina, Kenneth Lundin, Nikolaos Papaspyrou, Konstantinos Sagonas, Simon Thompson, Phil Trinder and Ulf Wiger

• 2013: Riak PG: distributed process groups on dynamo-style distributed storage by Christopher Meiklejohn

• 2013: Actor scheduling for multicore hierarchical memory platforms by Emilio Francesquini , Alfredo Goldman and Jean-François Méhaut

• 2013: Equivalence proofs for Erlang refactoring by Tanti, Erica and Francalanza, Adrian

• 2013: Task Tree Executor for Erlang Enabled Multicores by Popovic, Miroslav and Cetic, Nenad

• 2013: Erlang as a Language for Cloud Computing and Its Integration with Many-core Coprocessor by Siyao Zheng and Xiang Long

• 2013: Towards property-based testing of RESTful web services by Pablo Lamela Seijas , Huiqing Li and Simon Thompson

• 2013: Snapshot Algorithm Animation with Erlang by Bryntesson, Fredrik

• 2013: Towards an abstraction for remote evaluation in Erlang by Adrian Francalanza and Tyron Zerafa

• 2013: A type system for Erlang by Vella, Annalizz

• 2013: Channel Access in Erlang by Nicklaus, Dennis J.

• 2013: Complexity metric based source code transformation of Erlang programs∗ by Roland Király

• 2013: DXNN: A Case Study by Gene I. Sher

• 2013: The design and implementation of EMP: A message-oriented middleware for mobile cloud computing by Joseph. K.H. Wang, Yihuan Wei and Xinpei Jia

• 2013: Developing a Feed Forward Neural Network by Gene I. Sher

• 2013: Turning web services descriptions into quickcheck models for automatic testing by Miguel A. Francisco , Macías López , Henrique Ferreiro and Laura M. Castro

• 2013: Testing blocking operations with QuickCheck's component library by Ulf Norell, Hans Svensson and Thomas Arts

• 2013: The Unintentional Neural Network Programming Language by Gene I. Sher

• 2013: Functional approaches to teaching concurrency by Michael J. Lutz

• 2013: Synthesising correct concurrent runtime monitors by Seychell, Aldrin

• 2013: A DSL For Logistics Clouds by Karakostas, B. and Katsoulakos, T.

• 2013: Process Discovery in Erlang Programs by Font Just, Guillem

• 2013: Robust by ”Let it Crash” by Christoph Woskowski, Mikolaj Trzeciecki, Florian Schwedes

• 2013: Refactoring tools for functional languages by SIMON THOMPSON and HUIQING LI

• 2013: Augmenting synchronous and asynchronous monitors in ELARVA by Galea Valletta, Clifford

• 2013: Introduction: Applications & Motivations by Gene I. Sher

• 2013: Distributed firewall for P2P network in data center by Xinpei Jia and Joseph. K.H. Wang

• 2013: Evolving Currency Trading Agents by Gene I. Sher

• 2013: Analysing timed Rebeca using McErlang by Haukur Kristinsson, Ali Jafari , Ehsan Khamespanah , Brynjar Magnusson and Marjan Sirjani

• 2013: Neural Plasticity by Gene I. Sher

• 2013: Erl-metafeed: Web feeds mashup engine and GUI widget toolkit by Klemo Vladimir, Zvonimir Pavlić and Siniša Srbljić

• 2013: Keeping Track of Important Population and Evolutionary Stats by Gene I. Sher

• 2013: The Benchmarker by Gene I. Sher

• 2013: Researching Integration of ART Test Cases into JCAT by Isberg, Petter and Åkerlund, Thomas

• 2013: Functional Programming Approaches for Virtual Shared Memory and Distributed Memory Clusters by Kandegedara, P.M.M.H.

• 2013: Scalable Resource Aggregation Service of an ErlangOTP PaaS Platform by Hanglong Zhan, Lianghuan Kang, Lantao Liu and Donggang Cao

• 2013: A NUMA-Aware Runtime Environment for the Actor Model by Emilio Francesquini, Alfredo Goldman and Jean-François Méhaut

• 2013: Precise explanation of success typing errors by Konstantinos Sagonas, Josep Silva and Salvador Tamarit

• 2013: YoctoDB: A Data-Stream Management System by Angela Gong, Max Hirschhorn and Kalpana Suraesh

• 2013: Distributed Event Handler by ROBIN OLAUSSON and JIMMY WESTERLUND

• 2013: Achieving High-Throughput State Machine Replication in Multi-core Systems by Nuno Santos and André Schiper

• 2013: ELIoT: Building Internet of Things Software Combining Localized and Internet-scale Interactions by Alessandro Sivieria , Luca Mottolaa,b , Gianpaolo Cugolaa

• 2013: Extending Abstract Behavioral Specifications with Erlang-style Error Handling∗ by Georg Göri, Bernhard K. Aichernig, Einar Broch Johnsen, Rudolf Schlatte and Volker Stolz

• 2013: Adapting CakeDB to Integrate High-Pressure Big Data Streams with Low-Pressure Systems by Peter Membrey , Keith C. C. Chan and Yuri Demchenko

• 2013: Towards property-based testing of RESTful web services by Pablo Lamela Seijas , Huiqing Li and Simon Thompson

• 2013: Actor scheduling for multicore hierarchical memory platforms by Emilio Francesquini , Alfredo Goldman and Jean-François Méhaut

• 2013: Scalable persistent storage for Erlang: theory and practice by Amir Ghaffari , Natalia Chechina , Phil Trinder and Jon Meredith

• 2013: Extending Erlang by utilising RefactorErl by Dániel Horpácsi

• 2013: Multicore profiling for Erlang programs using percept2 by Huiqing Li and Simon Thompson

• 2013: On the scalability of the Erlang term storage by David Klaftenegger , Konstantinos Sagonas and Kjell Winblad

• 2013: Systematic Testing for Detecting Concurrency Errors in Erlang Programs by Maria Christakis , Alkis Gotovos and Konstantinos Sagonas

• 2013: Precise explanation of success typing errors by Konstantinos Sagonas , Josep Silva and Salvador Tamarit

• 2013: COMPARING THE PERFORMANCE OF JAVA, ERLANG AND SCALA IN WEB 2.0 APPLICATIONS by Jucimar Maia da Silva Jr., Rafael Dueire Lins and Lanier Menezes dos Santos

• 2013: Scalable Persistent Storage for Erlang: Theory and Practice by Jon Meredith, Amir Ghaffari, Natalia Chechina and Phil Trinder

• 2013: Reduction of regression tests for Erlang based on impact analysis by István Bozó, Melinda Tóth and Zoltán Horváth

• 2013: ACSYS CAMERA IMPLEMENTATION UTILIZING AN ERLANG FRAMEWORK TO C++ INTERFACE pdf by C. Briegel and J. Diamond

• 2013: Automatic Verification of Erlang-Style Concurrency by Emanuele D'Osualdo, Jonathan Kochems and C.-H. Luke Ong

• 2012: Automatic WSDL-guided Test Case Generation for PropEr Testing of Web Services by Leonidas Lampropoulos and Konstantinos Sagonas

• 2012: Resilient and optimized LDAP database implementation for a large scale HLR/HSS by E Grafström

• 2012: Failover and Takeover Contingency Mechanisms for Network Partition and Node Failure by Macías López, Laura M. Castro and David Cabrero

• 2012: Large Scale Multimedia Messaging Service Center with Optimized Database Implementation by Erdem Aksu

• 2012: Hansei: property-based development of concurrent systems by Joseph Blomstedt

• 2012: Evaluate the benefits of SMP support for IO-intensive Erlang applications by Dervishi, Erisa

• 2012: The Design of Scalable Distributed Erlang by Natalia Chechina1 , Phil Trinder1 , Amir Ghaffari1 , Rickard Green2 , Kenneth Lundin2 , and Robert Virding3

• 2012: Go, F# and Erlang by Anders Järleberg and Kim Nilsson

• 2012: DRAKON-Erlang: Visual Functional Programming by Stepan Mitkin

• 2012: [Architecture of an Erlang-Based Learning System for Mobile Robot Control](https://citeseerx.ist.psu.edu/document?repid=rep1&type=p