Full Workshop
summary
Twenty short presentations and lightning talks show concrete tools, benchmarks and failures rather than vague promises. Highlights: graft is an open‑source Raft implementation in Elixir that matches C++ and Erlang peers and demos a 3‑node KV store, Hank finds unused macros, record fields and config keys with a no‑false‑positives design, and Hera runs Kalman‑filter sensor fusion on GRiSP boards with built‑in redundancy. Also: a Trojan analyzer ranks vulnerabilities by dataflow+controlflow to mark truly critical issues, a Beam JIT gives 2–4× microbench boosts, and a security quiz game teaches supply‑chain risks.
AI-written summary · about
chapters (22)
- 0:0020th ACM Erlang Workshop
- 2:49Workshop overview
- 15:13Graft: Raft in Elixir
- 43:16Q&A on Graft
- 43:37Machina: QuickCheck library
- 1:03:05Q&A on Machina testing
- 1:10:12BEAM ASM applications
- 1:22:51QuadBlock Quiz cybersecurity
- 1:37:1915 years of dialyzer
- 2:50:26Lightning talk: Using regular expressions in Erlang
- 2:56:37Eiger serverless runtime
- 3:00:00Dead code detection with Hank
- 3:39:26Q&A on Hank
- 3:45:50Bidirectional typing for Erlang
- 4:05:50Q&A on typing research
- 4:10:11Teaching Erlang/Elixir on YouTube
- 4:17:29Security flaws in Erlang/Elixir
- 4:44:31Q&A on security analysis
- 4:51:54Hera: Sensor fusion framework
- 5:05:03Q&A on Hera IoT
- 5:10:43Debugging with OTP flags
- 5:23:55Workshop wrap-up
