Atomics and Memory Model for Rust Code in Kernel
Explore atomics and memory models in Rust for kernel development, focusing on implementation challenges and solutions for Linux systems.
Reduce synchronize_rcu() Latency
Explore techniques to minimize synchronize_rcu() latency in Linux kernel, enhancing system performance and responsiveness.
Lessons from the Buzz
Explore insights and key takeaways from the Buzz phenomenon, examining its impact and implications for technology and society.
Towards Mailbox Typing for Erlang - Lightning Talk
Explore mailbox typing for Erlang: a new technique to detect concurrency errors in actor-based languages, complementing existing tools like Concuerror model checker.
Runtime Detection of Data Races in OCaml with ThreadSanitizer
Explore runtime detection of data races in OCaml using ThreadSanitizer. Learn core principles, challenges, adaptations, and practical application for reliable parallel code development.
Reference Counting Deeply Immutable Data Structures with Cycles
Explore efficient memory management for immutable data structures with cycles using reference counting, combining strongly connected components and union-find algorithms for precise reachability.
An Exceptional Actor System in Haskell - Functional Pearl
Explore a hidden actor framework in GHC's runtime system, demonstrating its power through distributed systems examples and discussing implications for feature constraints.
Parallel Sequences in Multicore OCaml
Explore parallel sequences in Multicore OCaml 5.0.0, enabling efficient parallelization of large tasks without low-level implementation complexities.
Peter, the May and the Must, and Lacework
Explore Peter O'Hearn's contributions to program analysis and verification, focusing on the "may" and "must" concepts and Lacework's impact.
On the Need for Available, Functional, and Reusable Memory Models
Explore challenges in memory model research through personal failure stories, highlighting shortcomings and future expectations for the field.
Why Languages Should Preserve Load-Store Order
Explore the complexities of memory models and load-store reordering in programming languages, examining their impact on code optimization and reasoning.
What We Learned from C++ Atomics and Memory Model Standardization
Explore insights from C++ atomics and memory model standardization, covering usage patterns, performance implications, implementation challenges, and lessons learned in language design.
Coarser Equivalences for Causal Concurrency
Explore relaxations of trace equivalence in concurrent programs, focusing on grain equivalence for efficient causal concurrency analysis while maintaining algorithmic advantages.
A Denotational Approach to Release/Acquire Concurrency - GALOP'24
Explore denotational semantics for Release/Acquire concurrency, focusing on trace semantics and game-like interpretations of program-environment interactions in shared-state languages.
IsoPredict: Dynamic Predictive Analysis for Detecting Unserializable Behaviors in Weakly Isolated Data Store Applications
Explore dynamic predictive analysis for detecting unserializable behaviors in weakly isolated data store applications. Learn about IsoPredict's novel techniques and evaluation results.
Elixir Update - Recent Developments and Future Features
Discover the latest Elixir developments, ongoing projects, research initiatives, and upcoming features in this concise update from Elixir Core team member Andrea Leopardi.
Comparing the Actor Model and CSP Concurrency with Elixir and Clojure
Explore the Actor Model and CSP concurrency paradigms, comparing BEAM VM and JVM implementations through Elixir and Clojure. Gain insights into their unique features, strengths, and approaches to concurrency challenges.
Freestanding Erlang - Porting BEAM Close to the Metal - Code BEAM America 2022
Explore porting BEAM to freestanding environments without OS services, examining tradeoffs and potential applications for embedded systems prioritizing security and robustness.
OTP Update - Code BEAM Lite Stockholm 2023
Discover the latest developments from the OTP Team, exploring their recent work and future plans in Erlang/OTP.
Elixir Core Team Update - Recent Developments and Future Plans
Explore Elixir's latest developments, ongoing projects, research initiatives, and upcoming features with core team insights from José Valim.
The Actor Model as a Load Testing Framework - Lambda Days 2023
Explore scalability and load testing using the actor model. Learn to ensure software reliability under extreme conditions and discover a ready-to-use library for implementation.