The State of eBPF Fuzzing
Explore the current landscape of eBPF fuzzing techniques and their impact on Linux kernel security and performance optimization.
Memory Management on Mobile Devices
Explore memory management challenges on mobile devices, focusing on Android Runtime. Learn about evaluation methods, benchmarks, and performance impacts in this critical yet understudied area.
Haskell Library for Safer Virtual Machine Introspection - Experience Report
Explore a Haskell library for safer virtual machine introspection, leveraging Template Haskell for compile-time code generation and static error detection in VMI programming.
Towards Modular Specification and Verification of Concurrent Hypervisor-based Isolation
Explore modular specification and verification of NOVA microhypervisor using concurrent separation logic. Discover challenges in formally verifying concurrent systems for enhanced virtualization and isolation.
Work Assisting - Linking Task-Parallel Work Stealing with Data-Parallel Self Scheduling
Explore a novel scheduling strategy for mixing data and task parallelism, preserving data parallelism structure while enabling flexible thread distribution and self-scheduling for improved performance.
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.
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.
Creating a Command-Line Interface with Go - Lessons Learned
Explore the process of building a Command Line Interface (CLI) using Go, gaining insights into best practices and common challenges.
How We Almost Secured Our Project by Writing More Tests
Explore how increased testing nearly secured a project, delving into code coverage, seccomp profiles, and syscall extraction. Learn about Harpoon and the benefits of libbpfgo in Golang development.
Journey to Next-Gen AIOps: eBPF and GenAI - Conf42 SRE 2024
Explore next-gen AIOps with eBPF and GenAI, addressing SRE challenges through innovative use cases and transformative approaches to monitoring and automation.
What a Shell Dotfile Can Do for You
Discover how to optimize your terminal experience, reduce friction, and boost productivity through shell dotfiles. Learn time-saving techniques and automation tricks for DevOps engineers.
How to Remove Background from Any Image Using Python and CLI
Learn to remove image backgrounds using Python and CLI tools. Master essential libraries, image manipulation techniques, and efficient background removal for single or multiple images.
Will eBPF Save Us From the Next Global Outage?
Explore eBPF's potential to prevent global IT outages through kernel-level security enhancements, without compromising system stability or performance.
Run GenAI Projects at Scale Securely: From the Operating System to the MLOps Platform
Secure and scale GenAI projects across the entire stack, from OS to MLOps platform. Learn key considerations, best practices, and opportunities for highly regulated industries.
The Busy Platform Engineer's Guide to API Gateways
Explore modern API gateways in Kubernetes: deployment, configuration, and operation. Learn key considerations for cloud migration, GitOps integration, and enhancing developer experience in platform engineering.
Revolutionize Your Developer Experience with an In-House CLI
Enhance DevEx with an in-house CLI: automate tool setup, streamline configurations, and scaffold applications effortlessly for improved productivity and platform success.
An Engineer's Guide to Linux Kernel Upgrades
Explore the intricacies of Linux Kernel upgrades with expert guidance, focusing on best practices and potential pitfalls for engineers.
VidOS - Learning Minimal Linux Systems Through Memes
Explore minimal Linux systems through memes, learning practical skills for efficient and lightweight operating environments.
Linux on 2018+ Intel Macs with T2 Chip - t2Linux Project
Explore efforts to run Linux on 2018+ Intel Macs with T2 chips, including reverse engineering, kernel modules, and package automation for Ubuntu and other distros.
Automating K8s Lab Setup for Falco/Sysdig with Multipass and MicroK8s
Automate K8s lab setup for Falco/Sysdig using multipass and MicroK8s. Learn to create consistent environments on Mac and Windows for experimenting with Kubernetes security and monitoring tools.
Zephyr 101 - New Zephyr Toolchain and nRF9160 Feather Updates
Explore the latest Zephyr toolchain and nRF9160 Feather updates. Learn about SDK releases, GPIO control, and essential tools for Zephyr development. Discover hardware improvements and resources for embedded systems.