Generating Executable Specification from Formal Semantics of WebAssembly
Explore automatic generation of algorithmic artifacts from WebAssembly's formal semantics using a domain-specific language, streamlining the standardization process for new features.
Object Capabilities - Principles and Applications
Explore object capabilities in programming languages, focusing on security, encapsulation, and access control mechanisms for robust software design.
Lineage: A Data-Flow Analysis for Erlang
Explore a novel data-flow analysis for Erlang, producing over-approximating dataflow graphs for efficient taint checking in large-scale codebases.
Flux: Refinement Types for Rust
Explore refinement types for Rust with Flux, enhancing code safety and expressiveness in systems programming.
Predictable Inlining in OCaml - Flambda2 Heuristics and Inlining Histories
Explore OCaml's inlining heuristics in Flambda2 and learn about "Inlining histories" for visualizing compiler decisions.
Asynchronous Reactive Programming with Modal Types in Haskell
Explore asynchronous reactive programming using modal types in Haskell. Learn about Async Rattus, an embedded FRP language with compile-time clock tracking for efficient asynchronous system composition.
Modular Higher-Order Effects in Declarative Languages - PADL'24 Lecture
Explore modular higher-order effects in Haskell for creating extensible domain-specific languages with enhanced expressiveness and maintainability using the effective library.
Type-safe Nanopasses: How to Write a Safe and Modern Compiler Front-end - INFER 2024
Explore a novel approach to strongly typing compiler passes, combining nanopasses and recursion schemes for efficient, type-safe compiler front-end development in Ada.
A Tale of Shared Memory Concurrency in Programming Languages
Explore shared memory concurrency in programming languages, examining challenges, recent advancements, and future directions for designing effective concurrency models for multicore systems.
How to Read a PL-Security Paper
Explore techniques for understanding PL-security papers, including threat models, attacker concepts, and contributions to programming languages. Gain insights for PL generalists approaching security topics.
The Hunt for the Cluster Killer Bug - Debugging Erlang Legacy Code
Explore debugging techniques for Erlang systems, focusing on a cluster-killer bug case study. Learn about fault tolerance, memory models, and low-level issue resolution in Erlang applications.
Growing Together with the BEAM - 20 Years of Erlang/OTP in Telia ACE
Explore Telia ACE's 20+ year journey with BEAM technology, from early Erlang adoption to current AWS integrations. Learn about scalability, challenges, and ongoing projects in contact center solutions.
LiveView and JavaScript: A Guide to Achieving Synergy - Code BEAM Europe 2022
Explore synergies between LiveView and JavaScript frameworks. Learn to integrate AlpineJS and VueJS with LiveView for enhanced web app interactivity and performance.
Flow-Based Programming with Elixir and ALF
Explore Flow-Based Programming in Elixir using ALF. Learn advantages, implementation, and practical examples like an online TicTacToe game. Discover how to model application layers effectively with this paradigm.
Thread per Request vs Thread Pool per Operation - Architectural Comparison
Explore architectural approaches for web applications: thread-per-request vs thread-pool-per-operation. Compare designs, analyze motivations, and understand practical implications to make informed decisions for your next project.
Seeing Like a Linguist - YAML
Explore linguistic concepts through YAML, enhancing understanding of both language and data structures. Gain insights into programming and linguistics.
How We Migrated One Billion Objects Without Downtime Using Elixir
Discover how to migrate a billion objects without downtime using Elixir. Learn from Bernardo Martinez's experience and insights on large-scale data migration strategies.
An Elixir View on Processes: From Spawn to Cluster Discovery
Explore Elixir processes from basic spawning to advanced cluster discovery. Gain insights into concurrent programming and distributed systems with practical examples.
Building Blocks and How to Use Them: MongooseIM Case Study
Explore MongooseIM's building blocks, architecture, and performance optimization techniques. Learn about configuration, pools, telemetry, and debugging tools for efficient XMPP server development.
Comparing the Actor Model and CSP Concurrency with Elixir and Clojure
Explore Actor model and CSP concurrency in Elixir and Clojure. Compare BEAM VM and JVM implementations, gaining insights into concurrency paradigms and their unique features for better development practices.
Taming Floating Points in Scala and CakeML
Explore formal verification techniques for floating-point programs in functional languages, focusing on static analysis to ensure accuracy and meaningful results despite rounding errors.