Erlang User Conference 2016
2016-09-08..2016-09-09
Stockholm, Sweden
[Erlang User Conference 2012, Erlang User Conference 2013, Erlang User Conference 2015, Erlang User Conference 2016, Erlang User Conference 2017]
as the organisers put it
Erlang User Conference 2016 Thank you everyone, who made the EUC possible. The slides and videos are being added to the website, so keep an eye on this spot.
| title | author | length |
|---|---|---|
| Into the Core - Squeezing Haskell into Nine Constructors | Simon Peyton Jones | 01h 08m |
GHC compiles Haskell into a tiny statically typed intermediate language based on System F and ultimately expressed with only nine constructors, letting the… | ||
| How things are, and how they could be | Fred Hebert | 47m |
Claims that Erlang has great primitives but poor workflows get backed by concrete fixes: adoption of rebar3 and relx shortens the time to a release from months… | ||
| Fireside Chat | Jane Walerud, Mike Williams, Joe Armstrong, Robert Virding, Garrett Smith | 01h 07m |
Chronicle of building Erlang shows concrete claims and outcomes: a prototype language, a working BEAM virtual machine, a first product called the mobility… | ||
| Abstraction Considered Harmful (and other opinions about writing maintainable code) | Erik Stenman | 45m |
Argues that abstraction hides failure modes with concrete failures: line-numbered stack traces in r15 turn a polite library into a bottleneck and create 40,000… | ||
| Emulating the Essence of Erlang in RVI | Ulf Wiger | 41m |
RVI claims to emulate core Erlang semantics on a store‑and‑forward IoT transport by implementing temporary internal reply service handles, JSON‑RPC wrappers… | ||
| News from the OTP Team - Roadmap | Kenneth Lundin | 23m |
Issue tracker replaces the old mailing list and is live so every bug and feature gets an issue ID tied into release notes, and the plan is to generate those… | ||
| DevOps' Swiss Army knife for the BEAM | Csaba Hoch, Viktória Fördős | 41m |
Shows that calling io:format on a large message queue or tracing with redbug can blow node memory (a 10KB message repeated 5,000 times + pretty printing sends… | ||
| Erlang and Deep Learning | Garrett Smith | 47m |
Argues Erlang excels as an orchestration and monitoring layer for deep learning by demonstrating a command-line plus web tool that wrapped TensorFlow runs… | ||
| Hex | Eric Meadows–Jönsson | 46m |
Hex reports 50 million total downloads and over a million weekly downloads and supports Rebar3, erlang.mk and Elixir mix; mix uses mix.lock for repeatable… | ||
| Erly Marsh - a Model-Based Testing Tool | Johan Blom | 21m |
Erly Marsh is a model-based testing tool that uses an Erlang-like specification language and symbolic execution to generate test suites from state-machine… | ||
| Winning as a Start-Up by Failing Fast | Torben Hoffmann | 42m |
Claim: scalability is a rich man's problem so start-ups prioritize rapid experiments and pivoting over early clustering. Shows concrete tooling: RiakKV for… | ||
| Erlang on Rumprun Unikernel aiding the Microservices Architecture | Neeraj Sharma | 27m |
Slides and more info: http://www.erlang-factory.com/euc2016/neeraj-sharma
I am the author of porting Erlang to Rumprun unikernel. Rumprun unikernel can now… | ||
| From NoSQL to Mo' SQL - Adding Structure and Queriability to Riak | Gordon Guthrie | 37m |
Riak Time Series adds native SQL by collocating time-sliced rows via quantized time buckets and a two-part key so queries touch a few nodes instead of the… | ||
| Antidote - a Scalable and Consistent Transactional Data Store | Annette Bieniusa | 44m |
Antidote is a working research database: a distributed key-value store with CRDTs, atomic multi-key writes, snapshot reads and data partitioning, implemented… | ||
| Surviving Fire: using Erlang as an OS to Achieve Massive Fault Tolerance | Sam Williams | 33m |
Claim: an operating system built from Erlang with one BEAM per core runs on the metal and tolerates process, node, CPU core, RAM and disk failures… | ||
| Big(ger) Sets: Making CRDT Sets Scale in Riak | Russell Brown | 41m |
Riak ships CRDTs but the naive Riak Data Types set makes writes and reads cost grow with set size; engineering replaces one-key-per-set with per-element keys… | ||
| Property-Based Testing of Sensor Networks | Andreas Löscher | 33m |
A framework uses PropEr and Nifty to generate high‑level property specifications and runs them automatically inside the Cooja simulator for Contiki, exercising… | ||
| The Future of Tracing | Lukas Larsson | 41m |
Shows concrete changes in Erlang/OTP 19: per-process trace queues and try-locking to avoid the old global dispatcher, reducing contention and making tracing… | ||
| A New Experience of Building Wireless Embedded Systems For Everyone | Peer Stritzinger | 49m |
A compact Cortex‑M7 board ships with Grisp-Base boots Erlang VM on bare metal, 64 MB SDRAM and an SD‑card bootloader (atoms), and it includes 802.11b/g/n… | ||
| Scalable Multi-Language Data Analysis on Beam: The Cuneiform Experience | Jörgen Brandt | 41m |
Cuneiform is a minimal workflow language implemented on the Erlang VM that automatically derives task- and data-parallelism from functional scripts and runs… | ||
| Building a P2P Multi-Purpose Database | Benoit Chesneau | 43m |
Slides and more info: http://www.erlang-factory.com/euc2016/benoit-chesneau
Barrel (https://barrel-db.org) is a modern multi-purpose database in Erlang… | ||
| LFE: A Real Lisp in the Erlang Ecosystem | Robert Virding | 50m |
LFE claims to be a working Lisp that runs on the BEAM/OTP stack, not an emulation: it uses the VM’s immutable data, pattern matching, binaries for protocol… | ||
| Migrating an Invoicing System to Elixir/Erlang | Norberto Ortigoza | 45m |
A legacy Java invoicing stack uses 24 GB per server and 15 servers with frequent downtimes and no good error messages so the team rewrites core backend in… | ||
| Going Barking Mad with DalmatinerDB | Steven Acreman, Heinz Gies | 43m |
DalmatinerDB is a time‑series database written from scratch on Riak Core that replaces Redis in a metrics pipeline, adds a PostgreSQL indexer for dimensions… | ||
| A Completely Unbiased Showcase of Elixir | Andrea Leopardi | 44m |
Claims concrete stability: Elixir 1.0 ships September 2014 and 1.3 stays backwards compatible, and the talk demonstrates tools and tradeoffs: streams are lazy… | ||
| A CutEr Tool | Kostis Sagonas | 51m |
CutEr is a fully automatic concolic unit testing tool for Erlang that aims for high path coverage by doing concrete plus symbolic execution, collecting path… | ||
| Concurrency Fount: a Pace-Regulated Supply of Newly Spawned Processes | Jay Nelson | 45m |
Claims a concrete library: cxy_fount behaviour in duomark/epocxy provides a reservoir of pre‑spawned single‑use Erlang processes that are unlinked when handed… | ||
| Container Orchestration and Software Defined Network: A Field Report | Sargun Dhillon | 39m |
Claims building DC/OS networking with Erlang-backed components, actual artifacts and outcomes: a two-person team creates a shared control plane called Lashup… | ||
| ¡Viva La Evolución! Replicating Life with OTP | Johnny Winn | 42m |
Claims a working evolutionary simulator built on Elixir/OTP that spawns organisms as processes (seedable population, demo starts from 10 parents and scales… | ||
| Illustrated App Development | Ben Marx | 42m |
Claims concrete wins: Elixir and Phoenix plus Ecto changesets cut push latency from minutes to near-instant and drop server cost while handling spikes like the… | ||
| Rethinking the Language Runtime for Scale | Christopher S. Meiklejohn | 45m |
Claim: Lasp runtime targets clusters of 10k–20k nodes by combining CRDT-based language semantics with a reworked runtime. Implementation uses Erlang, Docker… | ||
| Think Outside the VM: Unobtrusive Performance Measurement | Julian Squires | 44m |
When VM tracing is too risky, measurement moves outside the VM and uses Linux kernel facilities to sample native state and reconstruct Erlang stacks: perf… | ||
| Building a Graphical IDE in Elm (...) | Claudia Doppioslash | 36m |
A graphical IDE for a PLC language compiles to BEAM and runs distributed on the Erlang VM, with a browser client written in Elm 0.16 using FRP-style startups… | ||
| Lisp-like DSL for Benchmarking | Renat Idrisov | 19m |
MZBench provides a constrained Lisp-like benchmarking DSL embedded in Erlang that runs on localhost or a cloud cluster and ships on GitHub. It uses Erlang… | ||
| MongooseIM - Messaging for Mobile | Ludwik Bukowski | 15m |
MongooseIM 2.0.0 adds a simpler group chat and realtime pub/sub and demonstrates concrete results: a MUC light extension that removes presence, rewires message… | ||
| Trace Debugging With Erlyberly | Andy Till | 22m |
Erlyberly is a Java desktop app that connects to remote nodes over Erlang distribution (via JInterface/Jams face in the captions) and uses dbg to apply tracers… | ||
| Erlesy - Visualizing OTP State Machines | Paweł Antemijczuk, Nicholas Gunder | 19m |
Erlesy claims to read Erlang source, use the OTP parser to build an abstract syntax tree and extract gen_fsm states and transitions into a digraph which can be… | ||
| nothing matches | ||