BASIL - The FuSa Spice to Spot Gaps in Kernel Testing and More
Explore BASIL, a tool for identifying gaps in kernel testing and enhancing functional safety in Linux systems.
A2C Tangy Pack - Video Adapter for the Apple IIc/IIc+
Explore a refined FPGA video adapter for Apple IIc/IIc+, enabling HDMI and VGA output. Learn about its improved form factor and functionality.
Pipit: Reactive Systems in F★ for Safety-Critical Control Systems
Explore Pipit, a reactive language embedded in F★ for verifying and executing control systems. Learn about its verified translation and automatic safety property proofs.
Towards Secure MicroPython on Morello - Work in Progress
Explore porting MicroPython to Arm Morello, examining hardware capabilities' impact on embedded runtime security and outlining potential improvements for MicroPython's security.
Supporting Trusted Virtual Machines with Hardware-based Secure Remote Memory
Explore hardware-assisted secure memory disaggregation, combining trusted VMs with a dedicated engine for efficient isolation and protection of remote memory pages, ensuring confidentiality and integrity.
A Managed Memory System for Micro Controllers with NOR Flash Memory
Explore a managed memory system for microcontrollers using NOR flash memory, optimizing performance and reducing flash erasures through innovative garbage collection and object movement techniques.
Does Rust SPARK Joy? Safe Bindings from Rust to SPARK, Applied to the BBQueue Library
Explore safety guarantees in Rust-SPARK language bindings, focusing on the BBQueue circular buffer library. Learn about maintaining compile-time safety across language boundaries in embedded systems.
Security Through Static Analysis - Don't Let It Crash
Explore static analysis techniques for detecting and mitigating security vulnerabilities in Erlang/Elixir projects, focusing on data-flow analysis and real-world examples from open-source codebases.
Lambdapad - Static Websites with Elixir or Erlang - Code BEAM Europe 2022
Explore Lambdapad, a static site generator for BEAM languages. Learn its features, setup process, and see a live demo for creating websites easily with Elixir or Erlang.
Bringing OpenCV to the Elixir World
Explore OpenCV integration in Elixir with Evision, learn its creation process, see practical demos, and discover its potential for computer vision and machine learning pipelines.
seL4 and BEAM: Running Erlang Without an OS
Explore running BEAM without an OS, focusing on security and robustness for embedded applications. Learn about seL4 microkernel, formal verification, and BEAM-seL4 integration.
Deep Dive in Nx Backends - Lecture 1
Explore Nx Backends in Elixir, understanding their impact on performance and automatic differentiation. Learn about backend structure, runtime dispatching, and integration with Axon for deep learning.
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.
Real-time Product Analytics with LiveView - ElixirConf EU 2023
Explore real-time product analytics using LiveView, enabling direct user interaction and feedback. Learn to build an internal admin interface for monitoring user activity and engagement.
Prototyping a Remote-Controlled Telescope with Elixir
Explore the process of designing and building a remote-controlled telescope using Elixir and Rust, from initial research to software prototypes and final physical construction.
Empowering Edge Devices with Lightweight Neural Network Inference Framework - TFLiteBEAM
Explore TFLiteBEAM: a lightweight neural network inference library optimized for edge devices. Learn about its small footprint, fast performance, and compatibility with Edge TPU hardware accelerators.
Reinventing Speech-to-Text Transcriptions with Go and Whisper
Explore innovative speech-to-text transcription using Go and Whisper, revolutionizing audio processing for enhanced accuracy and efficiency.
Resilient Systems and Teams - A CTO's Blueprint for SRE Excellence
Discover a CTO's blueprint for building resilient systems and teams, covering SRE implementation, on-call strategies, and effective communication for startups and growing organizations.
Empowering Fearless Data Engineering with Rust
Explore Rust's impact on data engineering, focusing on performance, safety, and real-time analytics applications. Learn advantages and future prospects of Rust in the field.
Mastering Pre-Mortem Analysis for Success
Discover pre-mortem analysis techniques to anticipate and prevent project failures. Learn best practices, avoid common pitfalls, and implement effective post-analysis actions for successful outcomes.
Nuclear Rust - Introducing Rust in Nuclear Software Industry
Explore Rust's application in nuclear software, focusing on safety, digital twins, and lessons from implementing Rust in reactor simulations.